Keskustelu lohkoketjun suunnittelusta
Keskustelu X:ssä jatkuu matriisi- ja hash-pohjaisen salauksen välillä lohkoketjun suunnittelussa. Osallistujina ovat Zcashin perustaja Eli Ben Sasson, Ethereumin perustaja Vitalik Buterin ja Delphi Labsin GC Gabriel Shapiro.
A16z krypton julkaisu
Keskustelu sai alkunsa a16z krypton julkaisemasta väitteestä, jossa puolustettiin matriisien omaksumista äskettäin julkaistussa X-postauksessa. A16z krypton kirjoituksessa selitettiin sen perusteita; se väittää, että Ethereumin suunniteltu hash-pohjainen allekirjoitusagregaatio perustuu SNARK-rekursioon, mikä tuo mukanaan koordinointikustannuksia, virheherkkyyttä ja vakiintumatonta turvallisuutta.
Eli Ben Sasson oli voimakkaasti eri mieltä ja huomautti, että matriiseilla on houkutteleva matemaattinen rakenne, joka on kypsä tekoälyn hyökkäyksille.
A16z krypton mukaan pelkästään hash-pohjaiseen salaukseen luottaminen saattaa vaikuttaa turvallisemmalta, mutta tällaisissa suunnitelmissa se voi johtaa hauraampiin järjestelmiin.
Delphi Labsin näkemykset
Laajentaen keskustelua edelleen, Gabriel Shapiro jakoi näkemyksensä X:ssä:
”Mielestäni Ethereumin lähestymistapa on edelleen paras vaihtoehto tässä.”
Shapiro ehdotti matriisisalauksen hyödyntämistä tileissä ja lompakoissa esikäännettynä, jos sen todistetaan olevan tekoälyturvallinen, lisäten, että hash-pohjainen salaus mahdollistaa Ethereumin toimivan täysillä nopeuksilla.
Buterin ja Sasson
Vitalik Buterin osallistui keskusteluun ja oli Shapiron kanssa samaa mieltä:
”Voisimme silti lopulta tehdä matriisijuttuja tileille ja lompakoille esikäännettynä, jos se todistetaan olevan tekoälyturvallinen.”
”Ihanteellinen reitti kaikkien salauksen tukemiseksi on IMO 8288. Teet mitä tahansa allekirjoitusta haluat paikallisesti, sitten STARK, ja sitten se sisällytetään STARK-agregointikoneen kautta. Ei tarvitse mitään calldataa on-chain. Ethereum ei voi sitten koskaan lisätä uutta esikäännettyä uudelleen,” Buterin lisäsi.
Eli Ben Sasson vastasi tähän:
”Samaa mieltä, tämä on oikea tapa Ethereumille.”
Validoijien rooli
Bitcoinin lisäksi useimmat suuret lohkoketjut käyttävät proof of stake -menetelmää, joka mahdollistaa validoijien äänestää jokaisesta lohkosta allekirjoittamalla sen. Suuret validoijajoukot ovat käytännöllisiä allekirjoitusagregoinnin vuoksi. Ethereum hyödyntää BLS-allekirjoituksia, joilla on algebrallinen rakenne, joka mahdollistaa kymmenien tuhansien validoijien allekirjoitusten yhdistämisen per slot yhdeksi ryhmän elementiksi.
Kuitenkin, niin hyödyllinen kuin BLS onkin, se ei ole post-kvantti, koska ei ole tunnettuja post-kvantti-allekirjoitusjärjestelmiä, jotka agregoituvat tällä tavalla. Selittäessään kvanttivastustuskarttaa aiemmin tänä vuonna, Buterin mainitsi ratkaisuksi protokollatason rekursiiviset allekirjoitukset ja todistusten agregoinnin.
Hän puhui alkuperäisen tilin abstraktion lisäämisestä EIP-8141:n kautta, joka tarjoaa kehysabstraktion transaktioiden vahvistamiselle, suorittamiselle ja kaasumaksuille, jotta ensiluokkaiset tilit voisivat käyttää mitä tahansa allekirjoitusalgoritmia.