Ironwood Verification Auditor
8.2
A tool for formally verifying cryptographic protocols like Ironwood, automating the process of theorem generation and checking to prevent undetectable counterfeiting bugs. Designed to be extensible for other zero-knowledge proofs.
250h
mvp estimate
8.2
viability grade
7
views
technology stack
Rust
PostgreSQL
Difficult
inspired by
Zcash Ironwood proof rules out counterfeiting bugs