SNARKs baseados em rede 101. Um fio.
Extração das relações de testemunha e provação das relações lineares
336