Bitcoin-Wildlife-Sanctuary / bitcoin-circle-starkLinks
Building blocks of a Circle STARK verifier in Bitcoin script
☆155Updated 2 weeks ago
Alternatives and similar repositories for bitcoin-circle-stark
Users that are interested in bitcoin-circle-stark are comparing it to the libraries listed below
Sorting:
- Bitcoin Script VM in Cairo☆72Updated 2 months ago
- Bitcoin ZK client written in Cairo.☆74Updated 2 weeks ago
- Citrea's BitVM Based Trust-Minimized Two-Way Peg Program☆95Updated this week
- BitVM Groth16 Verifier Toolkit - WIP☆80Updated last year
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆164Updated last year
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆113Updated 6 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆159Updated 7 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆94Updated 5 months ago
- A Cairo VM prover implemented using Winterfell☆157Updated 3 years ago
- Validity rollup resources☆103Updated last year
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆21Updated last year
- ☆60Updated 2 years ago
- STARK 101 Workshop in Rust 🐺🦀☆137Updated 2 years ago
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️☆39Updated last year
- Rust implementation of the Agglayer.☆106Updated this week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated last year
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆233Updated this week
- ☆60Updated 9 months ago
- SNARKifying Ethereum☆108Updated this week
- A curated list of resources around BitVM☆110Updated 3 weeks ago
- RISC-V prover system for ZKsync OS☆86Updated this week
- DSL for Halo2 circuits☆187Updated 9 months ago
- An interactive tutorial to get you up and running with Noir☆24Updated 3 months ago
- A performant and modular zkVM framework built for customization and extensibility.☆262Updated this week
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆107Updated 2 months ago
- Bitcoin as a Data Availability layer☆59Updated 6 months ago
- ☆116Updated this week
- ☆55Updated this week
- A Cryptographic Library for Smooth Blockchain uses☆75Updated 8 months ago
- Decentralized social built with Nostr and powered by Starknet account abstraction.☆84Updated last year