Why does a missing constraint in my ZK circuit survive five separate audits?
Opportunità
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.
Perché è importante
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.
Come valuto l'opportunità
L'Opportunity Score è la mia valutazione personale, non una misurazione: quanto fa male, con quale frequenza colpisce e quanto poco esiste per risolverlo oggi. Un punteggio più alto significa che lo ritengo più degno di essere sviluppato.
Quanto dolore provoca quando si manifesta.
Quanto spesso le persone ci si imbattono davvero.
Quanti pochi strumenti validi esistono oggi per affrontarlo.
Altri problemi che vale la pena risolvere
Perché non posso dimostrare di essere solvibile senza mostrare il mio saldo?
BlockchainPerché spostare denaro tra chain è ancora più rischioso dei primi giorni di internet?
BlockchainPerché la compliance significa ancora un PDF e una preghiera?
BlockchainPerché la custodia autonoma è ancora una scelta tra perdere le proprie chiavi e fidarsi di un'azienda?
BlockchainPerché tokenizzare un asset reale richiede ancora dieci intermediari?
BlockchainPerché una stablecoin non può pagare qualcuno senza connessione internet?