Gitterbaserade SNARKs 101. En tråd.
Utvinning av vittnet och bevis av linjära relationer
364