Puncte:0

Cum se construiește un circuit SNARK pentru a demonstra cunoașterea unei imagini prealabile SHA256?

drapel us

De obicei, se explică modul în care funcționează R1CS/QAP-urile și SNARK-urile folosind exemple de circuite cu noduri de multiplicare și adunare, iar construirea de polinoame din acestea este relativ simplă.Hashingul SHA-2 folosește aritmetică complicată pe biți aplicată de mai multe ori, nu simple înmulțiri și adunări. Cum se construiește un circuit pentru a dovedi că un șir se transformă într-un hash? Există undeva online unde aș putea citi despre asta într-o formă accesibilă?

Vadym Fedyukovych avatar
drapel in
Ați citi codul sursă al gadgetului SHA libsnark?
drapel us
@VadymFedyukovych Speram la ceva de genul o prezentare generală și o explicație a unui principiu general
Vadym Fedyukovych avatar
drapel in
Ce se întâmplă dacă cineva te va întreba despre principiile generale ale programării C++ sau Java? R1CS este limbajul, există exemple cunoscute bune în biblioteca de gadgeturi, de la elementar la SHA (care este mare). Ați pleca de la ideea reprezentării pe biți a șirului de intrare-la-hash, considerând fiecare bit ca o variabilă R1CS?

Postează un răspuns

Majoritatea oamenilor nu înțeleg că a pune multe întrebări deblochează învățarea și îmbunătățește legătura interpersonală. În studiile lui Alison, de exemplu, deși oamenii își puteau aminti cu exactitate câte întrebări au fost puse în conversațiile lor, ei nu au intuit legătura dintre întrebări și apreciere. În patru studii, în care participanții au fost implicați în conversații ei înșiși sau au citit transcrieri ale conversațiilor altora, oamenii au avut tendința să nu realizeze că întrebarea ar influența – sau ar fi influențat – nivelul de prietenie dintre conversatori.