Vancouver, Canada
MathCrypt is an open-source cryptography and distributed-systems lab. We work on verifiable computation, the proving, networking, and consensus layers that let a system verify that a computation was done correctly without having to re-run it.
Email GitHub↗ (enable JavaScript to see the email address)
Research
Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
arXiv:2510.05376
