Vamos tentar entender
O Compacto da Meia-Noite é interessante, mas a verdadeira conversa começa após o rótulo "amigável para desenvolvedores". Se as ferramentas zk se tornarem mais fáceis de usar, isso também as torna mais fáceis de confiar? Quanto do caminho do código ao circuito os desenvolvedores comuns conseguem realmente verificar? Se algo compila, prova e parece limpo, como as equipes sabem que está aplicando exatamente o que pretendiam? E se a maioria dos usuários confia mais na cadeia de ferramentas do que a entende, isso é confiança real ou apenas uma embalagem melhor? A acessibilidade importa, sem dúvida. Mas em sistemas criptográficos, a garantia não deveria importar ainda mais do que a adoção?