The circom and snarkjs part is based on the tutorial: https://github.com/iden3/circom/blob/master/TUTORIAL.md and https://www.youtube.com/watch?v=-9TJa1hVsKA . The formalisms come from https://media.consensys.net/introduction-to-zksnarks-with-examples-3283b554fc3b

zkSNARKS tutorial. Contribute to jstoxrocky/zksnarks_example development by creating an account on GitHub.

Петр Королёв, Developer / Researcher / ETHusiast из Matter Labs рассказывает про «Zero Knowledge: приватность и масштабирование L2-протоколов и инструменты для разработчиков»

Смотрите другие доклады с этого митапа:

Александр Власов про «Современные системы доказательств: STARKs, Aurora, Sonic, AuroraLight, рекурсии и SHARKs»
[https://youtu.be/YkwrOlBLgKs]

Сергей Прилуцкий про «Zero-knowledge протоколы и решаемые ими задачи» [https://youtu.be/_2aKUn6TU5E]

Митап организован совместно с Moscow Cryptoeconomics Research Group - https://www.youtube.com/channel/UCqhBUKIpg_db0Qvj-8UutDw