These are some examples of things ZOMG would like to fund. This purpose of this wishlist is not to serve as an exhaustive list of everything that would be good for the Zcash ecosystem, but as a way to encourage ideas for potential applicants. If your idea to improve Zcash doesn't fit exactly, feel free to surprise us with your proposal!
* Alternative implementations of [zebra](https://github.com/ZcashFoundation/zebra) and [zcashd](https://github.com/zcash/zcash)
* Solutions to any known privacy or security weakness (e.g. in the [wallet app threat model](https://zcash.readthedocs.io/en/latest/rtd_pages/wallet_threat_model.html))
* Performance improvements to core code, protocols, and popular libraries
* Layer one scaling improvements
* Formal verification
* Identify parts of the Zcash codebase that are security-critical and conducive to formal methods for proving correctness of code
* Use start-of-the-art formal verification tools to construct computer-checkable proofs of their correctness, with respect to suitable security specifications
* Ideas for such components: Sapling circuits (or parts thereof), Bellman cryptographic code (or parts thereof), consensus rules