Why does a missing constraint in my ZK circuit survive five separate audits?
Oportunidade
ZK circuits can contain constraints that are syntactically valid but logically incomplete, leaving the witness underconstrained so an attacker can construct a fake proof the verifier accepts. The Zcash Orchard circuit had exactly this bug, disclosed in June 2026 after sitting undetected for four years through multiple professional audits. Existing static analysis tools catch simple cases but cannot prove completeness over a full production circuit. Fuzzing finds individual bugs but generates no soundness guarantee. No workflow in standard use today can tell you, before deployment, that your circuit has no underconstrained witness.
Por que importa
A single missing constraint is enough to let an attacker mint value from nothing, and no standard pre-deployment workflow gives a completeness guarantee over a full production circuit.
Como avalio a oportunidade
A Pontuação de Oportunidade é minha própria leitura, não uma medição: o quanto dói, com que frequência aparece e o quanto pouco existe para resolvê-lo hoje. Quanto maior, mais vale a pena construir, na minha opinião.
O quanto de dor causa quando aparece.
Com que frequência as pessoas realmente se deparam com isso.
O quanto pouco de boas ferramentas existe para isso hoje.
Mais problemas que merecem ser resolvidos
Por que não consigo provar que sou solvente sem mostrar meu saldo?
BlockchainPor que mover dinheiro entre blockchains ainda é mais assustador do que a internet nos primórdios?
BlockchainPor que conformidade regulatória ainda significa um PDF e uma reza?
BlockchainPor que a autocustódia ainda é uma escolha entre perder suas chaves e confiar em uma empresa?
BlockchainPor que tokenizar um ativo real ainda exige dez intermediários?
BlockchainPor que uma stablecoin não consegue pagar alguém sem internet?