Description
BitVM enables smarter Bitcoin contracts by having a prover claim a computation result that anyone can challenge with a fraud proof. It is intended as a foundation for bridging BTC to second layers such as sidechains, rollups, and zkCoins. The project provides an official Rust implementation, developer preview, documentation, and research resources, and is developed as free and open-source software under the ZeroSync nonprofit organization.