Otimização para o caso médio

você ouvirá mais de mim

Brink irá guiá-lo para casa E acenderá os seus ossos E eu tentarei corrigir [as suas margens] Obtenha acesso antecipado ao Brink e economize até 90% nos custos de transação. 👉 .

Stable Stories EP 11 está ao vivo! 🎙️ Esta semana, @riabhutoria @spjoleh de @deltadotnetwork juntam-se a @AnnikaSays para mergulhar: 💠Repensar os L1s 💠Por que "a centralização é boa" (às vezes) 💠Sanduíches de stablecoin & infra transfronteiriço 💠Web3 soberania + pragmatismo Desmarcar! 👇

Então é claro que o caracol precisa de um pcs e, em seguida, toda a construção é um pouco exagerada Mas por que ninguém está fazendo isso? Parece um análogo muito simples e eficiente para a verificação de quociente univariado zero

Atualização: Provavelmente não é um supercondutor à temperatura ambiente - A questão concreta que foi descoberta é que o Protocolo 2 não liga o provador ao circuito. Isso pode ser corrigido com um subprotocolo barato, mas... - Estou começando a chegar ao feedback consistente de @ronrothblum de que o Protocolo 2 colapsaria a hierarquia polinomial. Eu já pensei que a estrutura algébrica específica do circuito em camadas basicamente nos protege contra os limites da teoria da informação, mas depois de me familiarizar um pouco mais com a literatura, acho que estou errado aqui - Por causa disso, sou tentado a afirmar que deve haver algum problema inerente com a abordagem "agregar todas as camadas". - A construção central do SNAIL (Protocolo 1) parece permanecer intacta por enquanto, e deve ser de interesse independente

Apresentando o SNAIL Computação verificável a 1,2-1,3x a velocidade de execução nativa*, mais de 10.000x mais rápida do que SNARKs de última geração * para, por exemplo, cálculos zkVM típicos