/BitVM

Smarter Bitcoin Contracts

Primary LanguageRust

BitVM: Smarter Bitcoin Contracts

The official implementation of BitVM2, running a SNARK verifier. Work in progress.

We are following the implementation of Arkworks

Overview

  • Winternitz signatures
  • BigInt arithmetic
  • Bn254
    • Field operations
    • Extension fields
    • Curve operations
    • Pairings
  • Fflonk verifier

BitVM1