Bitcoin Wildlife Sanctuary
A cat, a wolf (stark), two leaves (Merkle tree), and a circle (circle curve)
Popular repositories Loading
-
bitcoin-circle-stark
bitcoin-circle-stark PublicBuilding blocks of a Circle STARK verifier in Bitcoin script
-
covenants-gadgets
covenants-gadgets PublicGadgets for covenants: Schnorr trick and txid reflection
-
covenants-examples
covenants-examples Public archiveExamples of covenants in Bitcoin script
-
-
bitcoin-simulator
bitcoin-simulator Publica simulator of a local bitcoin testnet based on Rust and Sqlite
Repositories
Showing 10 of 36 repositories
- recursive-stwo-cairo Public Forked from Bitcoin-Wildlife-Sanctuary/recursive-stwo
Arkworks implementation of the recursive verifier (for Rust expressiveness)
Bitcoin-Wildlife-Sanctuary/recursive-stwo-cairo’s past year of commit activity - stwo-circle-poseidon-plonk Public Forked from starkware-libs/stwo
Implementation of Circle Plonk + Poseidon31
Bitcoin-Wildlife-Sanctuary/stwo-circle-poseidon-plonk’s past year of commit activity - rust-bitcoin-m31 Public Forked from BitVM/rust-bitcoin-m31-or-babybear
Arithmetic over the M31 field in Bitcoin Script
Bitcoin-Wildlife-Sanctuary/rust-bitcoin-m31’s past year of commit activity - cairo-recursion-export Public
Bitcoin-Wildlife-Sanctuary/cairo-recursion-export’s past year of commit activity - recursive-stwo-bitcoin Public
DSL, primitives, and other components for verifying the recursive Stwo proofs
Bitcoin-Wildlife-Sanctuary/recursive-stwo-bitcoin’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…