
ResearchSeptember 23, 2026
Shrinking offchain data requirements for Groth16 verification on Bitcoin
Taking Groth16 garbling from gigabytes to megabytes

Taking Groth16 garbling from gigabytes to megabytes
Browse by category
Frontier research on Bitcoin scaling, verification, and markets.

Making modern garbling schemes practical for Bitcoin

A deep dive into building scalable Bitcoin credit markets


Introducing a primitive for the safest programmable Bitcoin systems.


SNARKnado is a practical, round-efficient SNARK verifier on bitcoin designed by Alpen's research team.