Libraries

• Bitcoin compiler in C++

• BitVM Toy Implementation

• BitVM in Rust

• LogicGates: Logical gates in Python for different scenarios on BitVM (Phython)

• SHA256 WASM

• BLAKE3 WASM

• RIPEMD160 WASM

• Elftrace

• rv32i to BitVM

• Toy BitVM RS

• Tapleaf Circuits