The official implementation of BitVM2, running a SNARK verifier. Work in progress.
We are following the implementation of Arkworks
- Winternitz signatures
- BigInt arithmetic
- Bn254
- Field operations
- Extension fields
- Curve operations
- Pairings
- Groth16 verifier