MathCrypt Research is an open-source cryptography and distributed-systems lab. We work on verifiable computation and data-availability infrastructure — the proving, consensus, and data-availability layers that let a system verify a computation was done correctly without having to re-run it.

We build in the open: source under permissive licenses, results published openly.

• skipgraph-go — a Go implementation of Skip Graph, a peer-to-peer routing and distributed data structure supporting search, insert, and delete over a dynamic overlay. Apache-2.0.
• skipgraph-rust — a Rust implementation of Skip Graph, a peer-to-peer routing and distributed data structure supporting search, insert, and delete over a dynamic overlay. Apache-2.0.

• A constraint-level framework for comparing zkEVM architectures — a systematic comparison of zkEVM designs across proof systems (PLONKish / AIR / STARK) and the Solidity → EVM → constraint pipeline. arXiv:2510.05376

_{© 2026 MathCrypt Research Inc. · Vancouver, BC, Canada}