Technical references for Bitcoin infrastructure.

Size Matters: The Architecture of BTC Credit Markets

How Morpho V2's architecture combined with Bitcoin-native infrastructure creates fixed-maturity, market-priced, financeable BTC loan claims, and what that unlocks for onchain credit.

ZK Rollup on Bitcoin

Technical whitepaper describing a ZK Rollup system that uses proofs of computational integrity to validate L2 transactions directly on Bitcoin.

Glock: Garbled Locks for Bitcoin

A new formalization of garbled-circuit-based optimistic smart contracts for Bitcoin, introducing Glock25, a concretely practical construction that does not require Grug.

Argo MAC: Garbling with Elliptic Curve MACs

A new garbling primitive, Argo MAC, that enables over 1000x more efficient garbled SNARK verifiers for pairing-based SNARKs.

Shielded CSV: Private and Efficient Client-Side Validation

A new client-side validation protocol that provides truly private Bitcoin transactions using only 64 bytes per transaction (a nullifier) written to the blockchain, with coin proof size independent of transaction history.

Docs

README

This is the pre-release version of the Bridge Spec for internal review

Alpen Full Node Operator Guide

Bitcoin Bridge

Challenge Response Timeline Parameterization

Comparing Strata And Ethereum

Deploying Alpen Smart Contracts

Get Started

Hardware Requirements For Alpen Full Nodes

Rpc Endpoints

Security

Specifications

Strata Design Rationale

System Architecture

Transaction Lifecycle

Troubleshooting

Using The Alpen Cli

Wallet Setup