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

Enquanto a geração de provas distribuídas é fundamental para escalar ML Verificável e zkVMs, os protocolos existentes muitas vezes sacrificam a responsabilidade ou a flexibilidade de configuração. O Cirrus, construído sobre o HyperPlonk, quebra este gargalo. Métricas chave: - Cálculo linear e comunicação logarítmica. - Localização de trabalhadores com falhas em <3 segundos. - 15x mais rápido que o Hekaton (CCS'24) para hashes de Pedersen.