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