SNARKs 101 založené na mřížce. Vlákno.
Extrahování svědka a dokazování lineárních vztahů
353