BASICS Lab: Basic Studies in Computing Science Links Contact People Seminar Summer School Library News BASICS2023 — Summer school on "Zero Knowledge Proof"