Autor original: Delphi Digital

Compilație originală: Luffy, Foresight News

În general, se crede că teoria modulară constă din patru straturi: DA (disponibilitatea datelor), consens, execuție și soluționare. Cu toate acestea, un nou strat, probatorul comun, poate fi integrat în teoria modulară.

Ar putea fi piesa lipsă pentru o verificare eficientă, scalabilă? Demonstratorii partajați, agregarile de dovezi și piețele de dovezi schimbă peisajul dovezilor fără cunoștințe. Puteți afla tot ce trebuie să știți în ultimul nostru raport.

Mai jos este un rezumat al punctelor cheie ale raportului

O scurtă trecere în revistă a zk Rollup

Soluția zk Rollup mărește dimensiunea tranzacțiilor Ethereum, mutând tranzacțiile în afara lanțului pentru o procesare mai rapidă, permițând în același timp finalitatea grea pe Ethereum și verificarea prin zk proofs (dovezi cu cunoștințe zero).

zk proof: rapid de verificat, lent de generat

zk proofs, deși puternice în ceea ce privește confidențialitatea și scalarea, pot fi costisitoare și lente de creat pe Ethereum.

Costurile ridicate ale probei vor limita aplicațiile zk. Noile abordări, cum ar fi agregarea probelor și piețele de probe, urmăresc să abordeze aceste limitări.

lanțul de aprovizionare al certificatului

Secvențatorul partajat oferă un randament ridicat pentru tranzacțiile prin blockchain. Cu toate acestea, ele nu dovedesc nimic de fapt. Aceștia pot fi integrati în viitor cu o rețea de dovezi partajată pentru a delega această sarcină.

Astăzi, Rollup se confruntă cu provocarea unor depuneri de dovezi costisitoare, separate, fără cunoștințe.

Rețeaua Prover oferă o soluție: o piață unificată în care diverse aplicații zk pot externaliza generarea de probe către furnizori specializați de servicii de probe, crescând astfel costul și eficiența.

Atestatorii partajați pot îmbunătăți considerabil situația pentru aplicațiile care necesită suport pentru atestarea zk, dar care nu au resurse interne de dezvoltare a circuitelor sau zkVM.

În prezent, Rollup trimite dovezi zk separate, ceea ce duce la costuri mari de gaz în orele de vârf.

Rețeaua de probe își propune acum să externalizeze generarea de probe către furnizori de hardware specializați pentru a crește eficiența.

Într-o rețea cu mai multe rollup-uri conectate la o rețea de probatori, ciclul de viață al tranzacției funcționează după cum urmează:

• Rollup trimite o cerere de certificare.

• Mecanismul de potrivire selectează un probator.

• Dovatorul satisface cererea.

• Pune dovezile împreună.

• Dovatorul transmite dovada finală la L1 pentru verificare.

Costuri de verificare amortizate

Proof Singularity se referă la diferite tehnologii concepute pentru a reduce costul dovezilor de verificare în lanț.

Agregarea probelor este una dintre aceste tehnici, care comprimă mai multe dovezi valide într-o singură dovadă care le verifică pe toate.

Această „verificare a lotului” reduce costurile cu gazul în comparație cu verificarea fiecărei probe în mod individual.

zk cost probator de aplicații

Costurile ridicate de verificare și timpul de testare a aplicațiilor zk vor fi în cele din urmă transferate utilizatorilor.

În ultimii câțiva ani, aplicațiile zk (în primul rând Rollup) au cheltuit aproape 30 de milioane de dolari în validarea gazelor și publicarea dovezilor în lanț.

Prezentare generală a protocolului de agregare a dovezilor

Nebra UPA

Nebra UPA permite aplicațiilor zk să grupeze multe dovezi pentru a reduce costurile de verificare și susțin că acceptă ~10 dovezi/secundă pe testnet. Proverul lor este în prezent centralizat, dar există planuri pentru a permite dovada fără permisiune în viitor.

Au un mecanism de includere forțată similar cu capsulele de evacuare L2 existente. Dacă probatorul cenzurează sau întârzie proba, aplicațiile zk pot ocoli proba și forța decontarea probei pe L1.

Strat aliniat

Stratul aliniat este stratul universal de verificare zk al Ethereum, protejat de EigenLayer AVS. Restakers oferă utilizatorilor o finalitate ușoară prin agregarea probelor și comiterea unică Ethereum. DA implicită este EigenDA, dar pot fi selectate alte straturi DA, cum ar fi Celestia sau Avail.

 AggLayer

AggLayer din Polygon este o infrastructură neutră pentru interacțiuni sigure între lanțuri. Acesta își propune să unifice rețele blockchain independente sub o punte cross-chain, promovând interoperabilitatea fără a compromite suveranitatea blockchain.

Sistemul este proiectat pentru a agrega dovezile în toate pachetele conectate și apoi să trimită o dovadă unică care conține arborele Merkle al fiecărei dovezi individuale trimise.

• Nu necesită o anumită mașină virtuală sau mediu de execuție

• Blockchain-urile sunt libere să-și aleagă propriile jetoane Gas

• Nu trebuie să fie supus unei guvernări partajate.

Sub capotă, infrastructura care le reunește pe toate este puntea încrucișată LxLy, care standardizează un protocol comun de mesagerie încrucișată pentru ca Rollups să comunice între ele și cu Ethereum, menținând în același timp suveranitatea.

O scurtă explicație a modului în care funcționează LxLy

• Fiecare lanț urmărește transferurile de retragere într-un arbore Merkle (arborele de ieșire)

• Toți arborii de ieșire sunt îmbinați într-un arbore de ieșire global, partajat în lanțuri

• Arborele local și global actualizat pentru a permite validarea și calculele de retragere netă.

În plus, Agglayer are o punte de legătură încrucișată între Rollup-uri conectate care simplifică fluxul de active între L1 și L2. Activele sunt garantate într-un contract L1 și nu necesită împachetare sau blocare/monetare.

În mod tradițional, cadrele s-au bazat pe un singur certificator intern, riscând cenzură și probleme de viață. O rețea de doveditori poate începe ca fiind centralizată și se poate descentraliza treptat în timp.

Descentralizarea pieței probelor este încă o întrebare deschisă, dar unele abordări sunt explorate:

• Concurență cu dovezi: cel mai rapid doveditor câștigă, crescând eficiența, dar irosind calculele (costul transferat utilizatorului).

• Proof Mining: Similar cu mineritul PoW, numerele aleatorii sunt folosite pentru a preveni ca câștigătorul să ia tot (deșeurile de calcul încă există). Accelerarea hardware în ASIC-urile SNARK promite să reducă costurile.