Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
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

24 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
Limită superioară
Clasament
Favorite