{"schemaVersion":1,"project":{"id":"ironwood-verification","name":"Ironwood formal verification","description":"Formal verification and documentation associated with the Ironwood protocol work, delivered through collaboration among multiple Zcash organizations.","category":"Cryptography","website":"https://github.com/zcash/ironwood","communityId":null},"assembledAt":"2026-11-05T13:21:55.436Z","registryCheckedAt":"2026-09-08T23:10:23.000Z","repositorySnapshotAt":"2026-11-05T03:06:01.981Z","ledgerImportedAt":"2026-11-05T10:46:00.866Z","coverage":{"proposalsAvailable":true,"paymentsAvailable":true,"releasesComplete":false},"sources":[{"kind":"reference","label":"zcash","url":"https://github.com/zcash","observedAt":"2026-09-08T23:10:23.000Z"},{"kind":"reference","label":"Ironwood — cross-organization collaboration","url":"https://shieldedlabs.net/ironwood/","observedAt":"2026-09-08T23:10:23.000Z"},{"kind":"website","label":"Project website","url":"https://github.com/zcash/ironwood","observedAt":"2026-11-05T03:06:01.981Z"},{"kind":"repository","label":"zcash/ironwood · activity","url":"https://github.com/zcash/ironwood/activity","observedAt":"2026-11-05T03:06:01.981Z"},{"kind":"repository","label":"zcash/ironwood · release archive","url":"https://github.com/zcash/ironwood/releases","observedAt":"2026-11-05T03:06:01.981Z"},{"kind":"funding","label":"Ironwood zk-SNARK Formal Verification (Project Tachyon)","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1847584751&range=A45","observedAt":"2026-11-05T10:46:00.866Z"},{"kind":"funding","label":"Ironwood zk-SNARK Formal Verification (Project Tachyon) · proposal scope","url":"https://github.com/Financial-Privacy-Foundation/ZcashCoinholderGrantsProgram/issues/50","observedAt":"2026-10-04"},{"kind":"funding","label":"Project Tachyon - Bonus Grant for Ironwood zk-SNARK Formal Verification","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1847584751&range=A48","observedAt":"2026-11-05T10:46:00.866Z"},{"kind":"funding","label":"Project Tachyon - Bonus Grant for Ironwood zk-SNARK Formal Verification · proposal scope","url":"https://github.com/Financial-Privacy-Foundation/ZcashCoinholderGrantsProgram/issues/52#issuecomment-5294050649","observedAt":"2026-10-04"},{"kind":"funding","label":"Ironwood zk-SNARK Formal Verification (Project Tachyon) · proposal scope","url":"https://forum.zcashcommunity.com/t/retroactive-grant-application-ironwood-zk-snark-formal-verification-project-tachyon/57007","observedAt":"2026-11-05T10:46:00.866Z"},{"kind":"funding","label":"Project Tachyon - Bonus Grant for Ironwood zk-SNARK Formal Verification · proposal scope","url":"https://forum.zcashcommunity.com/t/project-tachyon-bonus-grant-for-ironwood-zk-snark-formal-verification/57021","observedAt":"2026-11-05T10:46:00.866Z"}],"repositories":[{"name":"zcash/ironwood","url":"https://github.com/zcash/ironwood","archived":false,"lastPushedAt":"2026-10-22T15:59:22Z","source":{"label":"Repository metadata","url":"https://api.github.com/repos/zcash/ironwood","observedAt":"2026-11-05T03:06:01.981Z"},"activityUrl":"https://github.com/zcash/ironwood/activity"}],"grants":[{"id":"grant-61864acea38f385a9628efbd","title":"Ironwood zk-SNARK Formal Verification (Project Tachyon)","program":"coinholder","status":"approved","statusBasis":"published_proposal","sharedWith":[],"requestedUsdCents":"73894200","approvedUsdCents":null,"budgetUsdCents":{"known":"73894200","records":1,"missing":0},"paidBudgetUsdCents":{"known":"73894200","records":1,"missing":0},"recordedZecZat":{"known":"64475040000","records":1,"missing":0},"source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1847584751&range=A45","observedAt":"2026-11-05T10:46:00.866Z"},"scopeUrl":"https://forum.zcashcommunity.com/t/retroactive-grant-application-ironwood-zk-snark-formal-verification-project-tachyon/57007","milestones":[{"id":"543cadc60ccd728d7308265c9e74d97e2206b12bbaf6c045ab1aab5517f8605e","title":"Ledger milestone","deliverable":null,"paymentRecorded":true,"paidDate":"2026-10-16","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=722519692&range=A13","observedAt":"2026-11-05T10:45:57.136Z"},"deliveryEvidence":[]}]},{"id":"grant-e0d5c1d844405c2f1b264e8a","title":"Project Tachyon - Bonus Grant for Ironwood zk-SNARK Formal Verification","program":"coinholder","status":"approved","statusBasis":"published_proposal","sharedWith":[],"requestedUsdCents":"26105800","approvedUsdCents":null,"budgetUsdCents":{"known":"26105800","records":1,"missing":0},"paidBudgetUsdCents":{"known":"26105800","records":1,"missing":0},"recordedZecZat":{"known":"22778140000","records":1,"missing":0},"source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1847584751&range=A48","observedAt":"2026-11-05T10:46:00.866Z"},"scopeUrl":"https://forum.zcashcommunity.com/t/project-tachyon-bonus-grant-for-ironwood-zk-snark-formal-verification/57021","milestones":[{"id":"d2e4592b1a0baaa28c89240a29c15cb21609e19f1fc3bace6072b978e46b4c4b","title":"Ledger milestone","deliverable":null,"paymentRecorded":true,"paidDate":"2026-10-16","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=722519692&range=A14","observedAt":"2026-11-05T10:45:57.136Z"},"deliveryEvidence":[]}]}],"timeline":[{"id":"payment-543cadc60ccd728d7308265c9e74d97e2206b12bbaf6c045ab1aab5517f8605e","kind":"payment","title":"Ironwood zk-SNARK Formal Verification (Project Tachyon)","detail":"Budget value: $738,942.00. Recorded payment: 644.7504 ZEC.","budgetUsdCents":"73894200","recordedZecZat":"64475040000","date":"2026-10-16","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=722519692&range=A13","observedAt":"2026-11-05T10:45:57.136Z"},"grantId":"grant-61864acea38f385a9628efbd"},{"id":"payment-d2e4592b1a0baaa28c89240a29c15cb21609e19f1fc3bace6072b978e46b4c4b","kind":"payment","title":"Project Tachyon - Bonus Grant for Ironwood zk-SNARK Formal Verification","detail":"Budget value: $261,058.00. Recorded payment: 227.7814 ZEC.","budgetUsdCents":"26105800","recordedZecZat":"22778140000","date":"2026-10-16","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=722519692&range=A14","observedAt":"2026-11-05T10:45:57.136Z"},"grantId":"grant-e0d5c1d844405c2f1b264e8a"},{"id":"grant-61864acea38f385a9628efbd-decision","kind":"decision","title":"approved · Ironwood zk-SNARK Formal Verification (Project Tachyon)","detail":"Published proposal status from the OpenZcash ledger mirror.","date":"2026-09-29","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1847584751&range=A45","observedAt":"2026-11-05T10:46:00.866Z"},"grantId":"grant-61864acea38f385a9628efbd"},{"id":"grant-e0d5c1d844405c2f1b264e8a-decision","kind":"decision","title":"approved · Project Tachyon - Bonus Grant for Ironwood zk-SNARK Formal Verification","detail":"Published proposal status from the OpenZcash ledger mirror.","date":"2026-09-29","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1847584751&range=A48","observedAt":"2026-11-05T10:46:00.866Z"},"grantId":"grant-e0d5c1d844405c2f1b264e8a"},{"id":"grant-e0d5c1d844405c2f1b264e8a-proposal","kind":"proposal","title":"Project Tachyon - Bonus Grant for Ironwood zk-SNARK Formal Verification","detail":"Application recorded. Requested funding is separate from approval and payment.","date":"2026-08-14","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1847584751&range=A48","observedAt":"2026-11-05T10:46:00.866Z"},"grantId":"grant-e0d5c1d844405c2f1b264e8a"},{"id":"grant-61864acea38f385a9628efbd-proposal","kind":"proposal","title":"Ironwood zk-SNARK Formal Verification (Project Tachyon)","detail":"Application recorded. Requested funding is separate from approval and payment.","date":"2026-08-13","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1847584751&range=A45","observedAt":"2026-11-05T10:46:00.866Z"},"grantId":"grant-61864acea38f385a9628efbd"}],"gaps":["No milestone acceptance evidence is linked in this history yet. This is a coverage gap, not a finding of non-delivery."],"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":2,"paidEntries":2,"ledgerEntries":2,"acceptedEntries":0,"acceptanceGaps":2,"publishedArtifacts":0,"integrations":0,"usageObservations":0,"reportSources":0,"publicWorkSources":0,"latestWork":null,"latestPayment":{"id":"payment-543cadc60ccd728d7308265c9e74d97e2206b12bbaf6c045ab1aab5517f8605e","kind":"payment","title":"Ironwood zk-SNARK Formal Verification (Project Tachyon)","detail":"Budget value: $738,942.00. Recorded payment: 644.7504 ZEC.","budgetUsdCents":"73894200","recordedZecZat":"64475040000","date":"2026-10-16","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=722519692&range=A13","observedAt":"2026-11-05T10:45:57.136Z"},"grantId":"grant-61864acea38f385a9628efbd"},"latestDecision":{"id":"grant-61864acea38f385a9628efbd-decision","kind":"decision","title":"approved · Ironwood zk-SNARK Formal Verification (Project Tachyon)","detail":"Published proposal status from the OpenZcash ledger mirror.","date":"2026-09-29","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1847584751&range=A45","observedAt":"2026-11-05T10:46:00.866Z"},"grantId":"grant-61864acea38f385a9628efbd"},"latestEvent":{"id":"payment-543cadc60ccd728d7308265c9e74d97e2206b12bbaf6c045ab1aab5517f8605e","kind":"payment","title":"Ironwood zk-SNARK Formal Verification (Project Tachyon)","detail":"Budget value: $738,942.00. Recorded payment: 644.7504 ZEC.","budgetUsdCents":"73894200","recordedZecZat":"64475040000","date":"2026-10-16","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=722519692&range=A13","observedAt":"2026-11-05T10:45:57.136Z"},"grantId":"grant-61864acea38f385a9628efbd"},"checks":[{"title":"Link milestone acceptance","detail":"2 paid ledger entries have 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"}}