SNARK berbasis kisi 101. Sebuah utas.
Mengekstraksi Saksi dan Membuktikan Hubungan Linier
295