“Hoje existem muitos problemas com ZK.” Convidámos @donnoh_eth (Pesquisador na @l2beat) para apresentar no nosso Berlin Ethproofs Summit e dar uma perspectiva contrária sobre ZK - e foi exatamente isso que obtivemos. Alguns pontos-chave: • Os verificadores são opacos. Os contratos inteligentes podem ser inspecionados, mas uma vez que você chega a um verificador ZK, está olhando para números aleatórios - e sem reproduzir o verificador a partir da fonte, você não pode saber o que está realmente sendo provado. • A reprodutibilidade é difícil. Muitos projetos não publicam os hashes de commit exatos ou as versões das ferramentas necessárias para regenerar seus verificadores. Em alguns casos, é praticamente impossível confirmar o que está rodando na cadeia. • Ferramentas personalizadas adicionam risco. Cada projeto constrói sua própria pilha, tornando a verificação complexa e inconsistente em todo o ecossistema. • Auditorias não são suficientes. As auditorias podem ser parciais, desatualizadas ou perder correções. Simplesmente afirmar “totalmente auditado” é enganoso sem links e escopo transparentes. O ponto central de Luca: ZK não elimina necessariamente a confiança. Em vez disso, ela a desloca - e o desafio é minimizar e esclarecer onde essa confiança reside. Assista à palestra completa: