Sucinto tem demonstrado O conhecimento zero em tempo real, provando para blocos Ethereum, gerando provas criptográficas em menos de 12 segundos.
ZKVM SP1 “Hypercube” da Succinto produzido Uma prova para o Bloco Ethereum 22309250 (143 transações, 32 milhões de gás) em 10,8 segundos, e os benchmarks internos mostraram que pode provar 93 % dos 10.000 blocos recentes de rede principal em menos de 12 segundos, com uma latência média de 10,3 segundos.
A conquista marca um salto técnico para o espaço de conhecimento zero, com sucinto implantando um sistema de prova totalmente novo com base em polinômios multilineares, kernels CUDA otimizados para operações como GKR de logup e verificação de soma e uma arquitetura de nuvem de baixa latência que abrange centenas de GPUs. A co-fundadora Uma Roy caracterizou o marco como resultado de avanços em engenharia em criptografia, aceleração de hardware e sistemas distribuídos.
Roy comentouAssim,
“Este é o homem do ZK na lua.
Se você tivesse perguntado a alguém em ZK há 1 ano se isso era possível, eles teriam dito que era uma foto literal da lua. ”
Enquanto o marco do desempenho estreita a lacuna de latência entre a geração de prova e o tempo do bloco, o co-fundador do Ethereum, Vitalik Buterin descrito limitações restantes.
Os resultados atuais representam desempenho médio, não o pior caso. Buterin enfatizou que, para provar em tempo real adequado para a segurança da camada 1, a comprovação de blocos no pior caso também deve permanecer dentro dos horários do bloco.
Além disso, as provas do SP1 não foram submetidas a verificação formal, e os requisitos de energia pairam perto de 100 kW por prova, muito acima dos 10 kW que o Buterin considera viável para a prova caseira. Ele também observou que a expansão do limite de gás da camada 1 do Ethereum por uma ordem de magnitude permanece dependente da eficiência adicional da prova.
As discussões da comunidade surgiram em torno da descentralização e a capacidade de provar a capacidade. Conforme discutido no Fórum do Ethereum Magicianso pesquisador Dankrad Odendaal argumentou por objetivos de descentralização de hardware para relaxar temporariamente para provadores.
Odendaal observou que provar a sobrecarga caiu por várias ordens de magnitude e que ganhos adicionais podem ser possíveis por meio de melhorias arquitetônicas ou hardware especializado.
Ele propôs que provar é reversível, ao contrário de outras áreas de escala de protocolo que incorrem em encargos permanentes. Se a escalabilidade pressionar contra a capacidade de prover, a rede poderá reverter para reduzir os limites de gás sem as multas de crescimento do estado a longo prazo.
Odendaal também observou que a geração de provas pode ser paralela em toda a infraestrutura distribuída, tornando -a menos suscetível a riscos de centralização do que os nós completos do estado. Mesmo sem a comprovação de despesas gerais de um dígito, a prova distribuída em muitas máquinas pode atingir metas de latência, preservando uma suposição de honestidade minoritária para a integridade do sistema.
A implantação do SP1 em um contexto em tempo real é o culminar da inovação criptográfica e da coordenação de infraestrutura.
A implementação da Succint abrange implantações de metal nu e cargas de trabalho distribuídas, mas as restrições de energia e verificação formal ilustram que a prova permanece em uma trajetória, ainda não um endpoint.
Reduções adicionais na latência e poder, juntamente com a integração no nível do protocolo, moldarão a capacidade do Ethereum de ancorar a execução minimizada diretamente em sua camada base.
