Podemos reduzir radicalmente os tempos de prova, preservando a experiência e a flexibilidade do desenvolvedor? 🟢 No @eth_proofs Summit da House of ZK, @portport255, principal colaborador da @zksync and @the_matter_labs, apresentou o ZKsync Airbender e o ZKsync OS – uma arquitetura full-stack que unifica o provador e o sequenciador para atualizações modulares, iteração mais rápida e interoperabilidade perfeita entre várias VMs. O ZKsync Airbender é um zkVM de código aberto baseado em STARK que alcança provas de menos de 35 segundos, enquanto o ZKsync OS abstrai a execução para manter o código consistente entre provas e sequenciamento – um salto para a liquidação de cadeia cruzada de alta velocidade. Também disponível no YouTube ▶️

Principais conclusões da palestra de @portport255, colaboradora principal da @zksync e @the_matter_labs, em nosso @eth_proofs Summit durante @BerBlockWeek 👇 1️⃣ ZKsync OS e consistência • Sistema modular de transição de estado que permite a implementação de uma VM para sequenciador e provador • Compile uma vez, execute consistentemente em ambientes de hardware e prova • Suporta ambientes de execução mistos (por exemplo, EVM + outras VMs em uma cadeia) 2️⃣ Sistema à prova de dobradores de ar ZKsync • zkVM de código aberto baseado em STARK alcançando provas sub-35s para mini-blocos L2 • Projetado para permitir confirmações mais rápidas e futuros casos de uso de interoperabilidade 3️⃣ Desempenho e código aberto • Implementa vários conjuntos de instruções reduzidos para otimizar a recursão • 100% de código aberto, incluindo código de GPU e documentação detalhada • O roteiro inclui cadeias elásticas e interoperabilidade baseada em prova entre cadeias