Gitterbasierte SNARKs 101. Ein Thread.
Extrahieren des Zeugen und Nachweisen linearer Beziehungen
352