Project history

Reading the linked source records…

Ironwood human-readable proof history · OpenZcash

Research / Project record

Ironwood human-readable proof

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.

Project website ↗Sources ↓

Repositories 05 Nov 2026Ledger 05 Nov 2026

How to read these amounts

Requested amounts, decisions and paid entries are separate. Where the ledger omits a request, a reviewed proposal may supply it with its own source. A requested cap is a maximum, not guaranteed spending. The ledger has no distinct approved-amount field. USD is the historical budget; ZEC is the recorded disbursement, not a current valuation or independent settlement verification.

ZCGapproved

Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM

Requested · USD: Not in ledger
Ledger budget · USD: $8,000.00
Paid entries · USD budget: $7,000.00
Recorded paid ZEC: 4.7584 ZEC

OpenZcash proposal ledger ↗ · Proposal scope ↗ · Payment detail →

2 linked ledger entries

Startup Funding

Deliverable text is not linked; consult the proposal scope.

Payment recorded · 28 Sept 2026

Acceptance evidence is not linked yet.

OpenZcash payment ledger ↗

1

Deliverable text is not linked; consult the proposal scope.

Not marked paid in the ledger

Acceptance evidence is not linked yet.

OpenZcash payment ledger ↗

Project sources

4 linked sources

Original references for this record. A source link alone does not verify delivery or acceptance.

Source dates & methodology

Source dates

Identity reviewed: 04 Oct 2026
Repository snapshot: 05 Nov 2026
Ledger imported: 05 Nov 2026
Proposals / payments: Available / Available

What each source establishes

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.

Open source data ↗