{"schemaVersion":1,"project":{"id":"ironwood-human-readable-proof","name":"Ironwood human-readable proof","description":"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.","category":"Research","website":"https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/438","communityId":null},"assembledAt":"2026-11-05T02:00:48.668Z","registryCheckedAt":"2026-10-04","repositorySnapshotAt":"2026-11-04T03:03:28.143Z","ledgerImportedAt":"2026-11-04T20:48:33.897Z","coverage":{"proposalsAvailable":true,"paymentsAvailable":true,"releasesComplete":false},"sources":[{"kind":"website","label":"Official application identifies the project, recipient and scope","url":"https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/438","observedAt":"2026-10-04"},{"kind":"reference","label":"Formal proof described by the proposed exposition","url":"https://tachyon.z.cash/blog/ironwood-verification-complete/#balance-integrity","observedAt":"2026-10-04"},{"kind":"funding","label":"Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A693","observedAt":"2026-11-04T20:48:33.306Z"},{"kind":"funding","label":"Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM · proposal scope","url":"https://forum.zcashcommunity.com/t/grant-application-human-readable-version-of-ironwood-formal-verification-first-steps-bulletproofs-in-the-agm/57726","observedAt":"2026-11-04T20:48:33.306Z"}],"repositories":[],"grants":[{"id":"grant-1b0afa362aa813c403096e77","title":"Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM","program":"zcg","status":"approved","statusBasis":"published_proposal","sharedWith":[],"requestedUsdCents":null,"approvedUsdCents":null,"budgetUsdCents":{"known":"800000","records":2,"missing":0},"paidBudgetUsdCents":{"known":"700000","records":1,"missing":0},"recordedZecZat":{"known":"475840000","records":1,"missing":0},"source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A693","observedAt":"2026-11-04T20:48:33.306Z"},"scopeUrl":"https://forum.zcashcommunity.com/t/grant-application-human-readable-version-of-ironwood-formal-verification-first-steps-bulletproofs-in-the-agm/57726","milestones":[{"id":"46b83851ebd006fcc8a45b1f1f67ccc5a2dfc775b68d14c9eb28eba2a6450125","title":"Startup Funding","deliverable":null,"paymentRecorded":true,"paidDate":"2026-09-28","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A881","observedAt":"2026-11-04T20:48:29.009Z"},"deliveryEvidence":[]},{"id":"a665bfff14149bc906d459a8d7eb26dd2321bb6b2f238b62b65ffa073ca66b14","title":"1","deliverable":null,"paymentRecorded":false,"paidDate":null,"source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A882","observedAt":"2026-11-04T20:48:29.009Z"},"deliveryEvidence":[]}]}],"timeline":[{"id":"grant-1b0afa362aa813c403096e77-decision","kind":"decision","title":"approved · Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM","detail":"Published proposal status from the OpenZcash ledger mirror.","date":"2026-09-28","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A693","observedAt":"2026-11-04T20:48:33.306Z"},"grantId":"grant-1b0afa362aa813c403096e77"},{"id":"payment-46b83851ebd006fcc8a45b1f1f67ccc5a2dfc775b68d14c9eb28eba2a6450125","kind":"payment","title":"Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM · Startup Funding","detail":"Budget value: $7,000.00. Recorded payment: 4.7584 ZEC.","budgetUsdCents":"700000","recordedZecZat":"475840000","date":"2026-09-28","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A881","observedAt":"2026-11-04T20:48:29.009Z"},"grantId":"grant-1b0afa362aa813c403096e77"},{"id":"grant-1b0afa362aa813c403096e77-proposal","kind":"proposal","title":"Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM","detail":"Application recorded. Requested funding is separate from approval and payment.","date":"2026-09-20","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A693","observedAt":"2026-11-04T20:48:33.306Z"},"grantId":"grant-1b0afa362aa813c403096e77"}],"gaps":["No milestone acceptance evidence is linked in this history yet. This is a coverage gap, not a finding of non-delivery.","No repository is linked. Community output and other non-code work must be assessed from its own sources."],"reviews":[],"reportLinks":[],"notes":["Requested USD, approved status, ledger budgets and recorded ZEC payments are distinct. The current ledger has no separate authoritative approved-amount field.","Amounts belong to associated grants, not an allocation to this component. Shared grants must not be added across project histories; programs remain separate.","Repository releases are a bounded dated snapshot, not a complete release history. A release proves publication, not milestone acceptance, adoption or causal impact.","No record is evidence of missing coverage, not zero funding, a missed deadline or team failure. Reports outside the linked sources may exist."],"insights":{"grants":1,"paidEntries":1,"ledgerEntries":2,"acceptedEntries":0,"acceptanceGaps":1,"publishedArtifacts":0,"integrations":0,"usageObservations":0,"reportSources":0,"publicWorkSources":0,"latestWork":null,"latestPayment":{"id":"payment-46b83851ebd006fcc8a45b1f1f67ccc5a2dfc775b68d14c9eb28eba2a6450125","kind":"payment","title":"Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM · Startup Funding","detail":"Budget value: $7,000.00. Recorded payment: 4.7584 ZEC.","budgetUsdCents":"700000","recordedZecZat":"475840000","date":"2026-09-28","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A881","observedAt":"2026-11-04T20:48:29.009Z"},"grantId":"grant-1b0afa362aa813c403096e77"},"latestDecision":{"id":"grant-1b0afa362aa813c403096e77-decision","kind":"decision","title":"approved · Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM","detail":"Published proposal status from the OpenZcash ledger mirror.","date":"2026-09-28","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A693","observedAt":"2026-11-04T20:48:33.306Z"},"grantId":"grant-1b0afa362aa813c403096e77"},"latestEvent":{"id":"grant-1b0afa362aa813c403096e77-decision","kind":"decision","title":"approved · Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM","detail":"Published proposal status from the OpenZcash ledger mirror.","date":"2026-09-28","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A693","observedAt":"2026-11-04T20:48:33.306Z"},"grantId":"grant-1b0afa362aa813c403096e77"},"checks":[{"title":"Link milestone acceptance","detail":"1 paid ledger entry has no linked acceptance evidence. Check the funded scope and the decision that accepted it.","section":"funding"},{"title":"Establish measured use","detail":"No usage observation with a defined period and population is linked. Usage remains unassessed.","section":"evidence"},{"title":"Link public work","detail":"Add dated project reports or artifacts, including non-code output. Missing links do not establish inactivity.","section":"evidence"}],"basis":"all-linked-history"}}