SNARKs basados en rejilla 101. Un hilo.
Extracción del testimonio y demostración de relaciones lineales
300