Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark
Building blocks of a Circle STARK verifier in Bitcoin script
☆150Updated this week
Alternatives and similar repositories for bitcoin-circle-stark:
Users that are interested in bitcoin-circle-stark are comparing it to the libraries listed below
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆159Updated 2 months ago
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆165Updated 7 months ago
- Validity rollup resources☆102Updated 7 months ago
- Bitcoin Script VM in Cairo☆67Updated 2 months ago
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆101Updated last year
- Bitcoin ZK client written in Cairo.☆57Updated 2 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆121Updated 2 years ago
- A curated list of resources around BitVM☆102Updated last month
- BitVM Groth16 Verifier Toolkit - WIP☆76Updated 8 months ago
- DSL for Halo2 circuits☆187Updated 4 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆174Updated last week
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️☆39Updated last year
- Citrea's BitVM Based Trust-Minimized Two-Way Peg Program☆72Updated this week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆90Updated this week
- ☆60Updated 2 years ago
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆176Updated this week
- ☆56Updated 4 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆148Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆146Updated this week
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated 2 years ago
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆55Updated 2 years ago
- A domain-specific language for writing AIR constraints for STARKs☆80Updated this week
- ☆141Updated 3 weeks ago
- A trustless P2P fiat onramp powered by ZK proofs.☆292Updated last month
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- ☆121Updated 4 months ago
- STARK 101 Workshop in Rust 🐺🦀☆135Updated last year
- Experimental draft implementation of BitVM☆42Updated last year
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 3 months ago