# Grant Application - Formal Verification of Consensus Arithmetic and Parsing in zebra-chain

**URL:** <https://forum.zcashcommunity.com/t/grant-application-formal-verification-of-consensus-arithmetic-and-parsing-in-zebra-chain/56220>\
**Category:** Applications\
**Created:** [June 15, 2026, 2:03pm UTC](https://forum.zcashcommunity.com/t/grant-application-formal-verification-of-consensus-arithmetic-and-parsing-in-zebra-chain/56220 "2026-06-15T14:03:32Z")\
**Posts on this page:** 1\
**Showing post:** 14

<div class="post-metadata">

**Author:** ![ZCG](https://sea2.discourse-cdn.com/zcash/user_avatar/forum.zcashcommunity.com/zcg/32/33712_2.png) [@ZCG](https://forum.zcashcommunity.com/u/ZCG)\
**Post date:** [July 7, 2026, 1:43pm UTC](https://forum.zcashcommunity.com/t/grant-application-formal-verification-of-consensus-arithmetic-and-parsing-in-zebra-chain/56220/14 "2026-07-07T13:43:21Z")

</div>

Thank you for your submission. After consideration from ZCG[](https://forum.zcashcommunity.com/groups/zcashgrants)and sufficient time for the community to provide feedback on the forum, the committee has decided to reject this proposal.

The committee appreciates your grant submission efforts and encourages you to continue as an active member of the Zcash community going forward!

---

_[View the full topic](https://forum.zcashcommunity.com/t/grant-application-formal-verification-of-consensus-arithmetic-and-parsing-in-zebra-chain/56220)._