multi-amm multi-call router for uniswap / zAMM

Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!

A todo list for making bitvm great

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

A Trust-minimized Bitcoin Bridge

A curated list of resources around BitVM

A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.

The best smart contracts in one place.

This handbook is our living repository: a curated guide to our best practices, processes, and technical insights.

Smart contracts for onchain verification of SP1.

A toolkit for polynomial IOPs (PIOPs)

bitcoin-spv repository

utilities for Bitcoin SPV proof verification on (many!) other chains

BOB is building the Gateway to Bitcoin DeFi, unlocking real utility for the world’s most important asset.

Solidity utilities for Bitcoin SPV proof verification

An alternative calldata encoding scheme for Solidity contracts.

A Typescript implementation of the Bitcoin Runestone protocol

👁‍🗨 Ordinals runestone javascript implementation

Clementine repository

Contracts for Lendaswap

Citrea repository

CREATE4 is a universal deployer that supports the trustless definition of chain-specific bytecodes

Bitcoin Multichain Protocol

experimental solidity compiler

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

VSCode Extension for Debugging Solidity