Actualizare: Probabil că nu este un supraconductor la temperatura camerei - Problema concretă care a fost descoperită este că Protocolul 2 nu leagă probatorul de circuit. Acest lucru ar putea fi remediat cu un subprotocol ieftin, dar... - Încep să ajung la feedback-ul constant al lui @ronrothblum că Protocolul 2 ar prăbuși ierarhia polinomială. Am crezut anterior că structura algebrică specifică a circuitului stratificat ne protejează practic împotriva limitelor teoriei informației, dar după ce m-am familiarizat puțin mai mult cu literatura cred că greșesc aici - Din această cauză, sunt tentat să susțin că trebuie să existe o problemă inerentă cu abordarea "agregați toate straturile". - Construcția de bază a SNAIL (Protocolul 1) pare să rămână intactă deocamdată și ar trebui să fie de interes independent
Ole Hylland Spjeldnæs
Ole Hylland Spjeldnæs24 apr. 2025
Introducing SNAIL Verifiable computation at 1.2-1.3x the speed of native execution*, more than 10,000x faster than state-of-the-art SNARKs * for e.g. typical zkVM computations
5,24K