Lattice-gebaseerde SNARKs 101. Een draad.
Het extraheren van de getuige en het bewijzen van lineaire relaties
331