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 31 repositories
- circle-plonk-recursive-verifier-dsl Public
Arkworks implementation of the recursive verifier (for Rust expressiveness)
Bitcoin-Wildlife-Sanctuary/circle-plonk-recursive-verifier-dsl’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 - circle-plonk-recursive-verifier-circom Public archive
Circom for the Circle Plonk recursive verifier
Bitcoin-Wildlife-Sanctuary/circle-plonk-recursive-verifier-circom’s past year of commit activity - circom-compat Public Forked from arkworks-rs/circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Bitcoin-Wildlife-Sanctuary/circom-compat’s past year of commit activity