Dev Ojha developed cryptographic optimizations for Zcash whose zero-knowledge privacy preservation was verified using Zcash's existing formal verification proof

Cryptocurrencies, blockchains, and the broader on-chain economy.

Cryptographic mechanisms used to verify the authenticity and integrity of digital messages or documents.