Optimiser pour le cas moyen

vous entendrez plus parler de moi

Brink vous guidera chez vous Et enflammera vos os Et j'essaierai de corriger [vos marges] Obtenez un accès anticipé à Brink et économisez jusqu'à 90 % sur les frais de transaction. 👉 .

L’EP 11 de Stable Stories est en ligne ! 🎙️ Cette semaine, @riabhutoria et @spjoleh de @deltadotnetwork rejoignons @AnnikaSays pour plonger dans : 💠Repenser les N1 💠Pourquoi « la centralisation, c’est bien » (parfois) 💠Sandwichs Stablecoin et infrastructures transfrontalières 💠Souveraineté Web3 + pragmatisme Regarde! 👇

Il est donc clair que l’escargot a besoin d’un pcs et que toute la construction est un peu exagérée Mais pourquoi personne ne fait cela ? Cela semble être un analogue vraiment simple et efficace de la vérification du quotient zéro univarié

Mise à jour : Probablement pas un supraconducteur à température ambiante - Le problème concret qui a été découvert est que le protocole 2 ne lie pas le prouveur au circuit. Cela pourrait être corrigé avec un sous-protocole bon marché, mais... - Je commence à me faire à l’idée des commentaires constants de @ronrothblum selon lesquels le protocole 2 ferait s’effondrer la hiérarchie polynomiale. J’ai déjà pensé que la structure algébrique spécifique du circuit en couches nous protège essentiellement contre les limites de la théorie de l’information, mais après m’être un peu plus familiarisé avec la littérature, je pense que j’ai tort ici - Pour cette raison, je suis tenté de prétendre qu’il doit y avoir un problème inhérent à l’approche « agréger toutes les couches ». - La construction de base de SNAIL (Protocole 1) semble rester intacte pour l’instant, et devrait être intéressante indépendamment

Présentation de SNAIL Calcul vérifiable à 1,2-1,3 fois la vitesse d’exécution native*, plus de 10 000 fois plus rapide que les SNARK de pointe * par exemple, pour les calculs zkVM typiques