Grant Application - Human readable version of Ironwood formal verification, first steps - bulletproofs in the AGM
Application Owners (@Octocat, @Octocat1) arielgabizon Organization Name Ariel Gabizon How did you learn about Zcash Community Grants recent twitter video about ZCG Requested Grant Amount (USD) $8000 Category Security Project Lead Additional Team Members Project Summary Ironwood has recently been formally verified. We want a human readable math paper describing the lean proof. Project Description As said above, the ultimate goal is a human readable math paper following the Ironwood formal verification lean code.
Radar summary of the original source
A grant record—not proof of funding or delivery.
Radar reports the lifecycle label used by the original grant source. It does not independently verify payments, milestones, or delivered work.
- Status
- Open grant application
- Source
- Zcash Community Grants
- Source activity
- Confidence
- Source-linked record
Zcash Community Grants
Web Agency themed business template for Jekyll. Browse through a live demo. Increase the web presence of your agency with this configurable theme.
Radar summary of the original source
Related activity
- Original source
Zcash Ghana (October 2026 - December 2026)
Application Owners (@Octocat, @Octocat1) @ogasky Organization Name @ZcashGH How did you learn about Zcash Community Grants Zcash Forum Requested Grant Amount (USD) 12600 Category Community Project Lead Additional Team Members Project Summary To continue to scale the Zcash Ghana community activities through well informed Financial Privacy and Blockchain Educational contents resources, towards onboarding more Ghanaians and businesses to the Zcash Blockchain protocol.
- Original source
Grant Application - Zcash RPC Streaming Redaction Audit
Application Owners (@Octocat, @Octocat1) @shi1720 Organization Name Shivam Gupta, independent researcher How did you learn about Zcash Community Grants The Zcash Foundation grants page and the ZCG grant-process documentation. Requested Grant Amount (USD) 6000 Category Security Project Lead Additional Team Members Project Summary An eight-week independent research project to measure when known sensitive literals survive chunked logging of Zcash RPC-shaped messages, and to compare exact streaming redaction with buffer-then-redact baselines.
Block explorer + Testnet infrastructure 2025
Application Owners (@Octocat, @Octocat1) @cacho Organization Name Matias Urbieta How did you learn about Zcash Community Grants I'm part of the community Requested Grant Amount (USD) 8400 Category Infrastructure Project Lead Additional Team Members Project Summary Zcash community actively works on providing the technology for a blockchain focused on privacy.