ZCG Grants Prototype
Back to applications

Grant application

Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Evaluation snapshot

Request at a glance

Applicant
Independent Developer
Requested
$45,000
Status
Approved
Review context
Forum discussion linked2 committee records linked

FPF source evidence

Milestone and disbursement ledger

Read-only milestone and disbursement fields normalized from the FPF grants ledger.

4 ledger rows

These ledger rows are FPF source evidence. They do not by themselves prove that a progress update was accepted, a payment request was approved, or an on-chain settlement was completed. Named rows can also describe reimbursements, returned funds, or other ledger adjustments.

Research & Development · Monthly

Startup Funding

Recorded row amount$3,000.00
Estimate
Not recorded
FPF “Paid Out” date
7/9/2026
FPF “ZEC Disbursed”
6.4 ZEC
FPF “USD Disbursed”
Not recorded
FPF “ZEC/USD” rate
$468.75 / ZEC
FPF ledger status
Open
Open FPF source
Linkage details

Linked by Exact at 100% confidence · source row 813

Research & Development

1

Recorded row amount$15,000.00
Estimate
Not recorded
FPF “Paid Out” date
7/27/2026
FPF “ZEC Disbursed”
30.7 ZEC
FPF “USD Disbursed”
Not recorded
FPF “ZEC/USD” rate
$488.60 / ZEC
FPF ledger status
Open
Open FPF source
Linkage details

Linked by Exact at 100% confidence · source row 814

Research & Development

2

Recorded row amount$15,000.00
Estimate
29 Aug 2026Dated 8/29/2026
FPF “Paid Out” date
Not recorded
FPF “ZEC Disbursed”
Not recorded
FPF “USD Disbursed”
Not recorded
FPF “ZEC/USD” rate
Not recorded
FPF ledger status
Open
Open FPF source
Linkage details

Linked by Exact at 100% confidence · source row 815

Research & Development

3

Recorded row amount$12,000.00
Estimate
29 Sep 2026Dated 9/29/2026
FPF “Paid Out” date
Not recorded
FPF “ZEC Disbursed”
Not recorded
FPF “USD Disbursed”
Not recorded
FPF “ZEC/USD” rate
Not recorded
FPF ledger status
Open
Open FPF source
Linkage details

Linked by Exact at 100% confidence · source row 816

AI-grounded decision supportCommittee briefingReview an evidence-grounded briefing or ask a custom question about this application. AI output supports committee review; it does not recommend or make a funding decision.Not generated

No committee briefing yet

Generate a standard briefing from this application, linked evidence, team history, relationships, and comparable grants. The completed shared report will be available to other authorized users.

Your account can read shared briefings but cannot generate them.

Application-scoped research

Ask about this application

Ask a focused question. Answers use the grant knowledge index and retain numbered links to the evidence supplied to the model.

Your account can read shared analyses but cannot generate a custom answer.

Workflow signals
📋 Grant Application🎯 Milestone 1 Complete👀 Ready For ZCG Review✅ Startup Payment Completed✅ Grant Approved
Latest committee record
Approved Async7/6/2026

Applicant proposes a grant to build a continuous differential oracle for Zebra’s shielded batch verifiers, asserting that batch verification (BatchValidator) and single-item verification (Item::verify_single) always agree across Orchard ha…

Data quality and provenanceSource matching, linked-record coverage, and reconciliation diagnostics

Source coverage

Operational context for tracing how this canonical record was assembled.
Source stateGitHub + Sheet
GitHub-Sheet match100%
Primary forum1
Supporting forum1
GitHub labels5
Decision notes2

GitHub workflow labels

5 labels captured as structured grant attributes
📋 Grant Application
Category
Intake
Status
Grant Application
Milestone
-
Observed
7/27/2026
Open GitHub issue
🎯 Milestone 1 Complete
Category
Milestone
Status
Milestone Complete
Milestone
1
Observed
7/27/2026
Open GitHub issue
👀 Ready For ZCG Review
Category
Review
Status
Ready For Zcg Review
Milestone
-
Observed
7/27/2026
Open GitHub issue
✅ Startup Payment Completed
Category
Payment
Status
Startup Payment Completed
Milestone
-
Observed
7/27/2026
Open GitHub issue
✅ Grant Approved
Category
Decision
Status
Approved
Milestone
-
Observed
7/27/2026
Open GitHub issue

Decision history

2 meeting notes linked
Approved Async7/6/2026

Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Approved asnyc

Applicant proposes a grant to build a continuous differential oracle for Zebra’s shielded batch verifiers, asserting that batch verification (BatchValidator) and single-item verification (Item::verify_single) always agree across Orchard halo2 proofs, Sapling/Sprout Groth16 proofs, and RedPallas/RedJubjub signatures — closing a soundness gap the current fuzz harness explicitly does not cover, and integrating the check permanently into CI. Requesting $45,000. Hanh: It’s a continuation of a grant for fuzzing that was delivered a while ago. The applicant found some valuable and serious bugs in Zebra. Therefore, based on the success that the project had, we feel like it’s worthwhile to continue, especially since batch processing and batch verification are areas that are typically pretty hard to test because of the asynchronicity and the race conditions that can happen. Zerodartz: I don’t have too much more feedback but I want to see them continue to improve Zebra.

Confidence
100%
Match method
Direct Source Url
Minutes
Zcash Community Grants (ZCG) Meeting Minutes 7/6/2026
Committee notes

Hanh: It’s a continuation of a grant for fuzzing that was delivered a while ago. The applicant found some valuable and serious bugs in Zebra. Therefore, based on the success that the project had, we feel like it’s worthwhile to continue, especially since batch processing and batch verification are areas that are typically pretty hard to test because of the asynchronicity and the race conditions that can happen.

Zerodartz: I don’t have too much more feedback but I want to see them continue to improve Zebra.

Open meeting minutesOpen referenced proposal
Remains Open6/22/2026

Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Remains open

Applicant proposes a grant to build a continuous differential oracle for Zebra’s shielded batch verifiers, asserting that batch verification (BatchValidator) and single-item verification (Item::verify_single) always agree across Orchard halo2 proofs, Sapling/Sprout Groth16 proofs, and RedPallas/RedJubjub signatures — closing a soundness gap the current fuzz harness explicitly does not cover, and integrating the check permanently into CI. Requesting $45,000.

Confidence
100%
Match method
Direct Source Url
Minutes
Zcash Community Grants Meeting Minutes 6/22/2026
Open meeting minutesOpen referenced proposal

Forum links

1 primary, 1 supporting
Primary forum thread

Grant Application - Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Hello everyone, I am submitting a proposal to Zcash Community Grants (ZCG) to build a continuous batch-verification soundness oracle for Zebra — a differential fuzzing harness that asserts Zebra’s shielded-proof and signature batch verification accepts a set of items if and only if every item als...

Confidence
100%
Forum URL
https://forum.zcashcommunity.com/t/grant-application-batch-vs-single-verification-equivalence-continuous-soundness-fuzzing-for-zcash-shielded-verification-incl-ironwood/56308
Open forum thread

source: forum_mirror | topicId: 56308 | fetchedAt: 2026-08-25T07:03:34.073Z | categoryId: 33 | mirrorKind: forum_topic | coverageCapped: false | discoveredFrom: ["github_issue_comment:ZcashCommunityGrants/zcashcommunitygrants#332:comment:4767885634","google_sheet_row:1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:1164534734:grant-platform:b481731218270c03c4b9c0de155c4f963a190187c27aa0c344d314baeaa689b9"] | postStreamCount: 5

Supporting forum reference

Grant Application - Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Hello everyone, I am submitting a proposal to Zcash Community Grants (ZCG) to build a continuous batch-verification soundness oracle for Zebra — a differential fuzzing harness that asserts Zebra’s shielded-proof and signature batch verification accepts a set of items if and only if every item als...

Confidence
100%
Forum URL
https://forum.zcashcommunity.com/t/grant-application-batch-vs-single-verification-equivalence-continuous-soundness-fuzzing-for-zcash-shielded-verification-incl-ironwood/56308/2
Open forum thread

source: forum_mirror | topicId: 56308 | fetchedAt: 2026-08-25T07:03:34.073Z | categoryId: 33 | mirrorKind: forum_topic | coverageCapped: false | discoveredFrom: ["github_issue_comment:ZcashCommunityGrants/zcashcommunitygrants#332:comment:4833180934"] | postStreamCount: 5

Application source evidence

Primary GitHub, Sheet, and other non-forum source records.
Github Issue

Grant Application - Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

### Terms and Conditions - [x] I agree to the [Grant Agreement](https://9ba4718c-5c73-47c3-a024-4fc4e5278803.usrfiles.com/ugd/9ba471_f81ef4e4b5f040038350270590eb2e42.pdf) terms if funded - [x] I agree to [Provide KYC information](https:/...

Confidence
100%
Source ID
ZcashCommunityGrants/zcashcommunitygrants#332
Open source record

repo: zcashcommunitygrants | owner: ZcashCommunityGrants | state: open | author: robustfengbin | labels: ["📋 Grant Application","👀 Ready For ZCG Review","✅ Grant Approved","🎯 Milestone 1 Complete","✅ Startup Payment Completed"] | number: 332 | closedAt: null | commentCount: 5

Github Issue Comment

Comment on #332: Grant Application - Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

[Forum post for reference.](https://forum.zcashcommunity.com/t/grant-application-batch-vs-single-verification-equivalence-continuous-soundness-fuzzing-for-zcash-shielded-verification-incl-ironwood/56308)

Confidence
100%
Source ID
ZcashCommunityGrants/zcashcommunitygrants#332:comment:4767885634
Open source record

repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: alexgbo | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 4767885634 | createdAt: 2026-06-22T11:43:20Z | issueNumber: 332

Github Issue Comment

Comment on #332: Grant Application - Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

https://forum.zcashcommunity.com/t/grant-application-batch-vs-single-verification-equivalence-continuous-soundness-fuzzing-for-zcash-shielded-verification-incl-ironwood/56308/2

Confidence
100%
Source ID
ZcashCommunityGrants/zcashcommunitygrants#332:comment:4833180934
Open source record

repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: alexgbo | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 4833180934 | createdAt: 2026-06-29T13:34:21Z | issueNumber: 332

Github Issue Comment

Comment on #332: Grant Application - Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Hi @Duhneekuh — thanks for the approval! I submitted the payment request form for the $3,000 startup funding a little while ago (shielded z-address included). Just wanted to check it came through on your end — or let me know if there's a...

Confidence
100%
Source ID
ZcashCommunityGrants/zcashcommunitygrants#332:comment:4925607082
Open source record

repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: robustfengbin | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 4925607082 | createdAt: 2026-07-09T13:37:43Z | issueNumber: 332

Github Issue Comment

Comment on #332: Grant Application - Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Thank you for the message and for requesting your startup funding. We just sent you 6.4 ZEC at $468.81 USD/ZEC for a total of $3,000 USD. TXID: 9a85f9fb112506278900d9522a360541fab3452e2d980d1c2bc1dde13ad7c68b

Confidence
100%
Source ID
ZcashCommunityGrants/zcashcommunitygrants#332:comment:4926072100
Open source record

repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: Duhneekuh | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 4926072100 | createdAt: 2026-07-09T14:25:30Z | issueNumber: 332

Github Issue Comment

Comment on #332: Grant Application - Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Thank you for requesting your milestone 1 payout. We just sent you 30.7 ZEC at $488.64 USD/ZEC for a total of $15,000 USD. TXID: 1908ce441053682c57902e07d83502049b3e87c0071d35a995dffbfe8a3f7418

Confidence
100%
Source ID
ZcashCommunityGrants/zcashcommunitygrants#332:comment:5097364428
Open source record

repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: Duhneekuh | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 5097364428 | createdAt: 2026-07-27T22:11:21Z | issueNumber: 332

Google Sheet Row

Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Date Submitted: 6/21/2026 | Proposal Title: Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) | Applicant(s): robustfengbin | Grant Platform Link: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | Forum Lin

Confidence
100%
Source ID
1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:1164534734:grant-platform:b481731218270c03c4b9c0de155c4f963a190187c27aa0c344d314baeaa689b9
Open source record

gid: 1164534734 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: all_grants_tracking | rowNumber: 598 | legacySourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:1164534734:row:598 | identityStrategy: grant_platform_link | businessIdentifier: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:1164534734:row:598

Google Sheet Row

Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Project: Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) | Grantee: robustfengbin | Category (as determined by ZCG): Research & Development | Reporting Frequency (as determined by ZCG): Monthly | Milestone: Startup Funding | A

Confidence
100%
Source ID
1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:813
Open source record

gid: 803214474 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: milestone_details | rowNumber: 813 | identityStrategy: sheet_row_location | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:813

Google Sheet Row

Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Project: Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) | Grantee: robustfengbin | Category (as determined by ZCG): Research & Development | Milestone: 1 | Amount (USD): $15,000.00 | Paid Out: 27 Jul 2026

Confidence
100%
Source ID
1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:814
Open source record

gid: 803214474 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: milestone_details | rowNumber: 814 | identityStrategy: sheet_row_location | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:814

Google Sheet Row

Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Project: Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) | Grantee: robustfengbin | Category (as determined by ZCG): Research & Development | Milestone: 2 | Amount (USD): $15,000.00 | Estimate: 29 Aug 2026

Confidence
100%
Source ID
1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:815
Open source record

gid: 803214474 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: milestone_details | rowNumber: 815 | identityStrategy: sheet_row_location | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:815

Google Sheet Row

Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood)

Project: Batch-vs-Single Verification Equivalence: Continuous Soundness Fuzzing for Zcash Shielded Verification (incl. Ironwood) | Grantee: robustfengbin | Category (as determined by ZCG): Research & Development | Milestone: 3 | Amount (USD): $12,000.00 | Estimate: 29 Sep 2026

Confidence
100%
Source ID
1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:816
Open source record

gid: 803214474 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: milestone_details | rowNumber: 816 | identityStrategy: sheet_row_location | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:816