Cofondatorul Ethereum, Vitalik Buterin, a discutat despre un nou sistem de demonstrare criptografică care își propune să atingă o eficiență mai mare pentru dovezile fără cunoștințe.

Într-o postare pe blog din 29 aprilie, Buterin a explicat un sistem pentru dovezi criptografice extrem de eficiente pe câmpuri binare numit „Binius”, care își propune să ofere câștiguri semnificative de performanță față de sistemele tradiționale de dovezi, cum ar fi zk-SNARK.

Binius își propune să obțină o eficiență mai mare prin efectuarea de calcule direct pe biți binari individuali - zerouri și unu - în loc de numere mai mari.

Motivația din spatele sistemului provine din sistemele tradiționale de dovezi criptografice precum SNARKs (Succinct Non-Interactive Argument of Knowledge) și STARKs (Scalable Transparent Argument of Knowledge) care lucrează cu numere mai mari, cum ar fi numere întregi de 64 de biți sau 256 de biți.

Datele care stau la baza procesate constau adesea din valori mici, cum ar fi contoare, indici și steagurile booleene, cu toate acestea, operand direct pe biți, Binius poate procesa aceste date mai eficient, a spus Buterin.

Protocolul Binius vizualizat. Sursa: Vitalik Buterin

Potrivit lui Buterin, noul sistem de demonstrare oferă îmbunătățiri, cum ar fi reprezentarea datelor ca un „hipercub” multidimensional de biți și utilizarea „câmpurilor finite” binare pentru a permite operații aritmetice eficiente pe biți și secvențe de biți.

De asemenea, utilizează un proces specializat de codificare și decodare care convertește datele la nivel de biți într-o formă potrivită pentru procesarea „polinom” și dovezi Merkle, menținând în același timp beneficiile de eficiență ale lucrului în binar.

Adoptarea binarelor deblochează îmbunătățiri semnificative de performanță pentru aritmetica de bază din inima sistemelor de dovezi criptografice, făcând aplicațiile cripto-economice complexe mai eficiente și mai scalabile.

Polinoamele sunt adesea folosite în dovezile zk pentru a codifica datele și calculele într-un mod care să permită verificarea dovezilor fără a dezvălui informațiile de bază, de unde și termenul „cunoaștere zero”.

Buterin a demonstrat protocolul Binius cu matematică complexă dincolo de scopul acestui articol pentru a arăta cum codifică datele, generează dovezi și permite verificatorilor să verifice acele dovezi în mod eficient.

Înrudit: ZK-proofs introduc provocări de securitate pentru dezvoltatori

Conceptul a fost propus inițial de criptografii Benjamin E. Diamond și Jim Posen într-o lucrare albă din 2023 intitulată „Argumente succinte asupra turnurilor câmpurilor binare”.

În general, Binius își propune să aducă câștiguri semnificative de performanță față de sistemele de demonstrare mai tradiționale, în special pentru calculele care implică valori mici și operațiuni la nivel de biți.

„Ma aștept la multe mai multe îmbunătățiri ale tehnicilor de demonstrare bazate pe câmp binar în lunile următoare”, a concluzionat Buterin.

Revista: Întrebări mari: Ce credea Satoshi Nakamoto despre probele ZK?