Grant application
Evaluation snapshot
FPF source evidence
Read-only milestone and disbursement fields normalized from the FPF grants ledger.
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
Research & Development
Research & Development
Research & Development
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 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.
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…
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.
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.
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.
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...
source: forum_mirror | topicId: 56308 | fetchedAt: 2026-10-21T07:04:09.444Z | 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: 7
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...
source: forum_mirror | topicId: 56308 | fetchedAt: 2026-10-21T07:04:09.444Z | categoryId: 33 | mirrorKind: forum_topic | coverageCapped: false | discoveredFrom: ["github_issue_comment:ZcashCommunityGrants/zcashcommunitygrants#332:comment:4833180934"] | postStreamCount: 7
### 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:/...
repo: zcashcommunitygrants | owner: ZcashCommunityGrants | state: closed | author: robustfengbin | labels: ["📋 Grant Application","👀 Ready For ZCG Review","✅ Grant Approved","✔️ Grant Complete","🎯 Milestone 1 Complete","✅ Startup Payment Completed","🎯 Milestone 2 Complete","🎯 Milestone 3 Complete"] | number: 332 | closedAt: 2026-09-25T01:08:15Z | commentCount: 11
[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)
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
https://forum.zcashcommunity.com/t/grant-application-batch-vs-single-verification-equivalence-continuous-soundness-fuzzing-for-zcash-shielded-verification-incl-ironwood/56308/2
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
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...
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
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
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
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
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
Thank you for requesting your milestone 2 payout. We just sent you 18.71 ZEC at $801.71 USD/ZEC for a total of $15,000 USD. TXID: 6c60eb68ebefd5f158e3bdf9dd2a2dade9fe3ae8677c003cec8ead3a8a2e7e66
repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: Duhneekuh | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 5441839036 | createdAt: 2026-08-27T16:04:56Z | issueNumber: 332
@robustfengbin we received your milestone 3 payment request. You've requested $9,000 but according to your grant your m3 payout is $12,000. Checking in with you before we pay it out. Thanks.
repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: alexgbo | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 5787064240 | createdAt: 2026-09-23T00:49:15Z | issueNumber: 332
Hi @alexgbo — thanks for double-checking! That $9,000 request is actually for Milestone 3 of my other grant, #234 (Zebra Coverage-Guided Fuzzing), not #332. #234's M3 is $9,000 per its budget — https://github.com/ZcashCommunityGrants/zca...
repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: robustfengbin | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 5787826067 | createdAt: 2026-09-23T02:20:06Z | issueNumber: 332
@robustfengbin got it, thanks. Please put the full title and # on the next request so it's clear. Thanks!
repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: alexgbo | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 5795196154 | createdAt: 2026-09-23T12:53:14Z | issueNumber: 332
@alexgbo Thanks! Will do ! I've also updated the grant name on the form to "Zebra Coverage-Guided Fuzzing Infrastructure (#234)".
repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: robustfengbin | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 5795377407 | createdAt: 2026-09-23T13:05:55Z | issueNumber: 332
Thank you for requesting your milestone 3 payout & congrats on completing your grant. We just sent you 7.76 ZEC at $1546.49 USD/ZEC for a total of $12,000. TXID: 0dfc0bccf543d3996a4bf9b8ca2989c6ea2083424ea700d584ba6493f7c86331
repo: zcashcommunitygrants | owner: ZcashCommunityGrants | author: Duhneekuh | number: 332 | issueUrl: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/332 | commentId: 5824959122 | createdAt: 2026-09-25T01:07:41Z | issueNumber: 332
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
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
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
gid: 803214474 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: milestone_details | rowNumber: 813 | identityStrategy: sheet_row_location | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:813
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
gid: 803214474 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: milestone_details | rowNumber: 814 | identityStrategy: sheet_row_location | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:814
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 | Paid Out: 27 Aug 2026
gid: 803214474 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: milestone_details | rowNumber: 815 | identityStrategy: sheet_row_location | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:815
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 | Paid Out: 24 Sep 2026
gid: 803214474 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: milestone_details | rowNumber: 816 | identityStrategy: sheet_row_location | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:803214474:row:816