ZCGapproved
Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM
OpenZcash proposal ledger ↗- Paid entries · USD budget
- $7,000.00
Project history
Reading the linked source records…
Project history
Reading the linked source records…
Ariel Gabizon’s planned mathematical exposition of the Bulletproofs argument used in Ironwood verification, beginning with a short paper and LaTeX source. This grant is separate from the machine-checked verification award.
Original references are linked below. A dated publication has not been verified for this record yet.
Missing links describe our coverage, not the project’s performance.
Amounts belong to each grant; shared awards can overlap.
1 paid ledger entry has no linked acceptance evidence. Check the funded scope and the decision that accepted it.
No usage observation with a defined period and population is linked. Usage remains unassessed.
Add dated project reports or artifacts, including non-code output. Missing links do not establish inactivity.
Original references for this record. A source link alone does not verify delivery or acceptance.
Publications establish released work; team reports contain claims. Acceptance requires evidence tied to a specific milestone. Payments alone do not prove delivery.
Shared repositories can include non-Zcash work. Missing records do not establish inactivity or low adoption.