Ark is a layer-two protocol designed to scale Bitcoin transactions

Rust Bitcoin library

Arithmetic over the M31 or BabyBear field in Bitcoin Script

Inline Bitcoin scripts in Rust

A beautiful home server OS for self-hosting with an app store. Buy a pre-built Umbrel Home with umbrelOS, or install on a Raspberry Pi or any x86 system.

A fully-validating Bitcoin node powered by Utreexo, with an integrated Electrum Server

A humble library for working with Tapscript and Bitcoin Transactions.

Bitcoin Script interpreter implemented in Rust

Generate a logical circuit for BitVM Bitcoin from a C like source code

A proof-of-concept implementation of BitVM for bristol circuits

Learn how FROST works by implementing it!

Create Bitcoin double-spend discouraging bonds on Liquid.

A STARK proof of Bitcoin's header chain

Basic demonstration of a Nostr web-socket client embedded in the browser, with links and resources.

Experimenting with recursive circuits in Plonky2 for zkCoins

Replit resources from Bitcoin++ 2023 in Austin

A tool for increasing the off-by-one bug in ordinal explorers

A STARK-based VM focused on code reuse, performance, and modularity

A PRF with low multiplicative complexity

TABConf 2023 - A Technical Bitcoin Conference

A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)