Glock is here!

It’s here! We’re excited to share the Glock paper with you. This paper describes, in detail, a cryptographic primitive that uses garbled circuits for script locks on Bitcoin. Glocks unlock efficient optimistic verification of arbitrary computation on Bitcoin, providing an elegantly resilient foundation for programmable Bitcoin-based systems that are secure. Glock will eventually secure your BTC deposits to Alpen, allowing you to safely participate in Bitcoin finance.

In the paper, we detail our specific construction of a garbled lock, named Glock25, which uses DV-Pari, a novel designated-verifier SNARK. In its most compact variant (SAP), Glock25 can achieve over 550x onchain efficiency over BitVM2. The variant we’re pursuing (QAP) can achieve over 430x onchain efficiency over BitVM2 while offering improved offchain data storage and efficiency. We’ve arrived at these values by comparing the total data posted on Bitcoin in the worst case scenario of the entire challenge response game being played out by the prover and the verifier.

Together with the paper, we’re open-sourcing code for key components of our research implementation of Glock25:

• Rust implementation of DV-Pari: github.com/alpenlabs/dv-pari
• Binary circuit generator for DV-Pari: github.com/alpenlabs/dv-pari-circuit
• Generic garbling & evaluation tool: github.com/alpenlabs/garbled-circuits

Lock enthusiasts, we’re looking forward to your contributions to these repositories! We want these codebases to spur innovation throughout the Bitcoin ecosystem.

Join our Glock interest group to join the conversation.