{"schemaVersion":1,"project":{"id":"zebra-batch-equivalence","name":"Zebra Batch Verification Equivalence","description":"Differential tests comparing batch and single shielded verification in Zebra, with published milestone code and reports.","category":"Developer tools","website":"https://github.com/robustfengbin/zebra-batch-equivalence","communityId":null},"assembledAt":"2026-11-05T13:20:12.813Z","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":"Maintainer repository and project evidence","url":"https://forum.zcashcommunity.com/t/56308/4","observedAt":"2026-09-08T23:10:23.000Z"},{"kind":"reference","label":"Project scope or funding evidence","url":"https://forum.zcashcommunity.com/t/56308/6","observedAt":"2026-09-08T23:10:23.000Z"},{"kind":"funding","label":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) · proposal scope","url":"https://forum.zcashcommunity.com/t/grant-application-batch-vs-single-verification-equivalence-continuous-soundness-fuzzing-for-zcash-shielded-verification-incl-ironwood/56308","observedAt":"2026-11-05T10:45:59.987Z"},{"kind":"website","label":"Project website","url":"https://github.com/robustfengbin/zebra-batch-equivalence","observedAt":"2026-11-05T03:06:01.981Z"},{"kind":"repository","label":"robustfengbin/zebra-batch-equivalence · activity","url":"https://github.com/robustfengbin/zebra-batch-equivalence/activity","observedAt":"2026-11-05T03:06:01.981Z"},{"kind":"repository","label":"robustfengbin/zebra-batch-equivalence · release archive","url":"https://github.com/robustfengbin/zebra-batch-equivalence/releases","observedAt":"2026-11-05T03:06:01.981Z"},{"kind":"funding","label":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A598","observedAt":"2026-11-05T10:45:59.987Z"}],"repositories":[{"name":"robustfengbin/zebra-batch-equivalence","url":"https://github.com/robustfengbin/zebra-batch-equivalence","archived":false,"lastPushedAt":"2026-09-23T23:03:02Z","source":{"label":"Repository metadata","url":"https://api.github.com/repos/robustfengbin/zebra-batch-equivalence","observedAt":"2026-11-05T03:06:01.981Z"},"activityUrl":"https://github.com/robustfengbin/zebra-batch-equivalence/activity"}],"grants":[{"id":"grant-1296d0d5d1a1cc204c00a571","title":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)","program":"zcg","status":"approved","statusBasis":"published_proposal","sharedWith":[],"requestedUsdCents":null,"approvedUsdCents":null,"budgetUsdCents":{"known":"4500000","records":4,"missing":0},"paidBudgetUsdCents":{"known":"4500000","records":4,"missing":0},"recordedZecZat":{"known":"6357000000","records":4,"missing":0},"source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A598","observedAt":"2026-11-05T10:45:59.987Z"},"scopeUrl":"https://forum.zcashcommunity.com/t/grant-application-batch-vs-single-verification-equivalence-continuous-soundness-fuzzing-for-zcash-shielded-verification-incl-ironwood/56308","milestones":[{"id":"133d4ab7b0f7ab2ba9d43164b45e6a8ca7ccde23f530b2a31333b4cf4b84de85","title":"Startup Funding","deliverable":null,"paymentRecorded":true,"paidDate":"2026-07-09","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A813","observedAt":"2026-11-05T10:45:56.107Z"},"deliveryEvidence":[]},{"id":"f1d0b2a8147c29595b61a0f025a0460b5efdccbe20e057273ca27a658dd1c0c3","title":"1","deliverable":null,"paymentRecorded":true,"paidDate":"2026-07-27","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A814","observedAt":"2026-11-05T10:45:56.107Z"},"deliveryEvidence":[]},{"id":"cee5eca98452ce28fbeb8c4b8ba25c46eb1ff74250245a25cfdc2ad44569683d","title":"2","deliverable":null,"paymentRecorded":true,"paidDate":"2026-08-27","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A815","observedAt":"2026-11-05T10:45:56.107Z"},"deliveryEvidence":[]},{"id":"15218ba40f7a1775bf5cb7b961a1f6c31ae99db5937b7da41e2bbe955785b877","title":"3","deliverable":null,"paymentRecorded":true,"paidDate":"2026-09-24","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A816","observedAt":"2026-11-05T10:45:56.107Z"},"deliveryEvidence":[]}]}],"timeline":[{"id":"payment-15218ba40f7a1775bf5cb7b961a1f6c31ae99db5937b7da41e2bbe955785b877","kind":"payment","title":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) · Milestone 3","detail":"Budget value: $12,000.00. Recorded payment: 7.76 ZEC.","budgetUsdCents":"1200000","recordedZecZat":"776000000","date":"2026-09-24","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A816","observedAt":"2026-11-05T10:45:56.107Z"},"grantId":"grant-1296d0d5d1a1cc204c00a571"},{"id":"payment-cee5eca98452ce28fbeb8c4b8ba25c46eb1ff74250245a25cfdc2ad44569683d","kind":"payment","title":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) · Milestone 2","detail":"Budget value: $15,000.00. Recorded payment: 18.71 ZEC.","budgetUsdCents":"1500000","recordedZecZat":"1871000000","date":"2026-08-27","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A815","observedAt":"2026-11-05T10:45:56.107Z"},"grantId":"grant-1296d0d5d1a1cc204c00a571"},{"id":"payment-f1d0b2a8147c29595b61a0f025a0460b5efdccbe20e057273ca27a658dd1c0c3","kind":"payment","title":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) · Milestone 1","detail":"Budget value: $15,000.00. Recorded payment: 30.7 ZEC.","budgetUsdCents":"1500000","recordedZecZat":"3070000000","date":"2026-07-27","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A814","observedAt":"2026-11-05T10:45:56.107Z"},"grantId":"grant-1296d0d5d1a1cc204c00a571"},{"id":"payment-133d4ab7b0f7ab2ba9d43164b45e6a8ca7ccde23f530b2a31333b4cf4b84de85","kind":"payment","title":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) · Startup Funding","detail":"Budget value: $3,000.00. Recorded payment: 6.4 ZEC.","budgetUsdCents":"300000","recordedZecZat":"640000000","date":"2026-07-09","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A813","observedAt":"2026-11-05T10:45:56.107Z"},"grantId":"grant-1296d0d5d1a1cc204c00a571"},{"id":"grant-1296d0d5d1a1cc204c00a571-decision","kind":"decision","title":"approved · Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)","detail":"Published proposal status from the OpenZcash ledger mirror.","date":"2026-06-29","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A598","observedAt":"2026-11-05T10:45:59.987Z"},"grantId":"grant-1296d0d5d1a1cc204c00a571"},{"id":"grant-1296d0d5d1a1cc204c00a571-proposal","kind":"proposal","title":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)","detail":"Application recorded. Requested funding is separate from approval and payment.","date":"2026-06-21","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A598","observedAt":"2026-11-05T10:45:59.987Z"},"grantId":"grant-1296d0d5d1a1cc204c00a571"}],"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":1,"paidEntries":4,"ledgerEntries":4,"acceptedEntries":0,"acceptanceGaps":4,"publishedArtifacts":0,"integrations":0,"usageObservations":0,"reportSources":0,"publicWorkSources":0,"latestWork":null,"latestPayment":{"id":"payment-15218ba40f7a1775bf5cb7b961a1f6c31ae99db5937b7da41e2bbe955785b877","kind":"payment","title":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) · Milestone 3","detail":"Budget value: $12,000.00. Recorded payment: 7.76 ZEC.","budgetUsdCents":"1200000","recordedZecZat":"776000000","date":"2026-09-24","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A816","observedAt":"2026-11-05T10:45:56.107Z"},"grantId":"grant-1296d0d5d1a1cc204c00a571"},"latestDecision":{"id":"grant-1296d0d5d1a1cc204c00a571-decision","kind":"decision","title":"approved · Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)","detail":"Published proposal status from the OpenZcash ledger mirror.","date":"2026-06-29","evidence":"source_record","source":{"label":"OpenZcash proposal ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=1164534734&range=A598","observedAt":"2026-11-05T10:45:59.987Z"},"grantId":"grant-1296d0d5d1a1cc204c00a571"},"latestEvent":{"id":"payment-15218ba40f7a1775bf5cb7b961a1f6c31ae99db5937b7da41e2bbe955785b877","kind":"payment","title":"Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) · Milestone 3","detail":"Budget value: $12,000.00. Recorded payment: 7.76 ZEC.","budgetUsdCents":"1200000","recordedZecZat":"776000000","date":"2026-09-24","evidence":"source_record","source":{"label":"OpenZcash payment ledger","url":"https://docs.google.com/spreadsheets/d/1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg/edit#gid=803214474&range=A816","observedAt":"2026-11-05T10:45:56.107Z"},"grantId":"grant-1296d0d5d1a1cc204c00a571"},"checks":[{"title":"Link milestone acceptance","detail":"4 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"}}