E se você não tivesse que sacrificar a responsabilidade pela velocidade ao usar SNARKs? Wenhao Wang, do @Yale apresenta Cirrus: o primeiro protocolo SNARK distribuído a alcançar simultaneamente escalabilidade horizontal, responsabilidade e uma configuração universal confiável.

Embora a geração distribuída de provas seja fundamental para escalar Verifiable ML e zkVMs, protocolos existentes frequentemente trocam responsabilidade ou flexibilidade de configuração. Cirrus, construído sobre o HyperPlonk, quebra esse gargalo. Métricas principais: - Computação linear e comunicação logarítmica. - Localização defeituosa do trabalhador em <3 segundos. - 15 vezes mais rápido que o Hekaton (CCS'24) para hashes de Pedersen.