An heroic effort which easily is more valuable than asked for. I believe a similarly scoped formal verification firm would have charged millions and taken 6-12 months to complete. Completing this in less than 8 weeks deserves a premium on an already underpriced service to Zcash. Full support of this (and the bonus put forward by @aquietinvestor Project Tachyon - Bonus Grant for Ironwood zk-SNARK Formal Verification)
3 Likes