Ironwood zk-SNARK Formal Verification (Project Tachyon)
- Requested · USD
- $738,942.00
- Ledger budget · USD
- $738,942.00
- Paid entries · USD budget
- $738,942.00
- Recorded paid ZEC
- 644.7504 ZEC
OpenZcash proposal ledger ↗ · Proposal scope ↗ · Payment detail →
1 linked ledger entry
Ledger milestone
Deliverable text is not linked; consult the proposal scope.
Payment recorded · 16 Oct 2026
Acceptance evidence is not linked yet.
OpenZcash payment ledger ↗