Gitterbaserte SNARKs 101. En tråd.
Å trekke ut vitnet og bevise lineære relasjoner
392