Bitcoin is supposed to be {scalable } cash.

Cryptographic systems for Bitcoin
by the creators of BitVM.

What We Do

Our work centers on the development of private and permissionless Bitcoin scaling technologies, including the advancement of BitVM bridges and their underlying cryptographic primitives.

We work toward { ideal } Bitcoin—not “good-enough Bitcoin”—as a principled undertaking, and welcome partners unintimidated by this quixotic vision.

Current Projects

Argo: Efficient Garbled Circuits for SNARK verification

Argo is the industry-leading garbled circuits scheme for off-chain SNARK verification, with benchmarks showing 2000× improvements in size and speed vs. traditional schemes. With Argo, it is possible to build bridges with permissionless challenging.

Verifier: Groth16
Table size: 16 MB
Setup time: 20 ms per table
Proof type: Cut-and-choose / validity proof

Research Papers

Image

Argo MAC: Garbling with Elliptic Curve MACs

ePrint 2026/049 • Cryptology ePrint Archive
A breakthrough construction enabling a 2000x improvement on BitVM3 for efficient verification of complex statements on Bitcoin.
 Image

Shielded CSV: Private and Efficient Client-Side Validation

ePrint 2025/068 • Cryptology ePrint Archive
A second layer protocol enabling strong privacy and efficient scalability of Bitcoin payments.

Team

Liam Eagen

Liam is a cryptographer focused on applied SNARKs and on-chain proof verification for Bitcoin. He co-discovered how to use garbled circuits on Bitcoin and has helped make BitVM protocols practical through schemes such as Glock. His techniques are used in several state-of-the-art proof systems. He is the former chief scientist and founding cryptographer at Alpen Labs, and previously worked at Polygon Zero, Aztec, and Blockstream.

Ying Tong Lai

Ying Tong is a senior cryptography engineer with previous work at Zcash and the Ethereum Foundation. She is one of the primary authors of Halo2 with extensive experience implementing circuits and proof systems. Ying Tong is the primary author of the Argo garbled-circuits implementation, the industry-leading scheme for BitVM3.

Supporters

Robin Linus

Robin is the creator of BitVM and its later iterations, BitVM2 and BitVM3. He is a PhD student at Stanford, where he researches Bitcoin with a focus on bridging protocols. He created the BitVM Alliance and previously contributed to early BitVM implementations used by multiple BitVM-based bridges.

Contact

Image Email Image Twitter Image Telegram Image GitHub