Building blocks of a Circle STARK verifier in Bitcoin script
☆158Dec 3, 2025Updated 3 months 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:
- Clementine repository☆106Mar 3, 2026Updated last week
- ☆480Updated this week
- ☆20Nov 3, 2025Updated 4 months ago
- A Trust-minimized Bitcoin Bridge☆501Jan 26, 2026Updated last month
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆12Sep 11, 2024Updated last year
- Expander Compiler☆42Feb 22, 2026Updated 2 weeks ago
- Gadgets for covenants: Schnorr trick and txid reflection☆16May 4, 2025Updated 10 months ago
- Bitcoin Script VM in Cairo☆72Jun 2, 2025Updated 9 months ago
- RISC-V ELF interpreter in cairo☆37Oct 18, 2024Updated last year
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 6 months ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆20Jun 25, 2024Updated last year
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆191Mar 2, 2026Updated last week
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- STARK book☆20Sep 25, 2024Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- Bitcoin ZK client written in Cairo.☆113Dec 1, 2025Updated 3 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆256Updated this week
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- A toolkit for polynomial IOPs (PIOPs)☆757Updated this week
- Source code for "Building Cryptographic Proofs from Hash Functions"☆225Dec 4, 2025Updated 3 months ago
- Experimental folding schemes library☆262Feb 23, 2026Updated 2 weeks ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- BitVM Groth16 Verifier Toolkit - WIP☆80Jul 8, 2024Updated last year
- ☆65Updated this week
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆724Mar 2, 2026Updated last week
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Jul 24, 2024Updated last year
- Helper lib to write complex bitcoin scripts☆21Dec 2, 2025Updated 3 months ago
- ☆49Feb 12, 2026Updated 3 weeks ago
- building blocks for accelerating ZK proofs over binary fields☆49Jun 19, 2025Updated 8 months ago
- A month-long zkp study group, one topic at a time.☆184Jul 28, 2025Updated 7 months ago
- Cryptography Educational Foundations☆341Nov 24, 2025Updated 3 months ago
- On-chain Ethereum light client built with SP1☆80Dec 16, 2025Updated 2 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Oct 16, 2023Updated 2 years ago
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆273Updated this week