Crypto Night #3 is coming, with exciting news for this edition!
Researchers from ENS ULM will do an in-depth presentation of zk-SNARKS and their mathematical background.
The contents will be technical, be prepared for some exciting maths ;)
Abstract: Lattice-Based zk-SNARKs from Square Span Programs
The presentation will be divided in two parts.
In the first part, we will introduce zero-knowledge proof systems as a whole and explain how we can build SNARKs for boolean circuits.
We will give some security arguments and required hypothesis.
In the second part, we will discuss our latest research: post-quantum (designated-verifier) zk-SNARKs.
The presentation will be done by Michele Orrù and Anca Nitulescu from École Normale Supérieure.