SNARKs basés sur des réseaux 101. Un fil.
Extraction du témoin et preuve des relations linéaires
303