danilowhk / swiftness-sp1
Verifying Cairo Programs in SP1
☆13Updated 5 months ago
Alternatives and similar repositories for swiftness-sp1:
Users that are interested in swiftness-sp1 are comparing it to the libraries listed below
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 5 months ago
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆25Updated last month
- Exploratory work on abigen in rust for Starknet 🦀☆15Updated last year
- ☆39Updated 2 years ago
- client side proving☆28Updated 2 weeks ago
- Rust implementation of KZG point evaluation☆32Updated 2 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- verify cairo execution in Halo2☆16Updated last year
- ☆31Updated last year
- Noir library to verify JWT tokens, and prove claims.☆21Updated 2 weeks ago
- Cairo bootloader port for the Rust Cairo VM.☆12Updated 8 months ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated last month
- ☆17Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- ☆12Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 3 weeks ago
- Binius circuits web demos☆14Updated 3 months ago
- Using folding schemes for a provable bitcoin light client☆33Updated 10 months ago
- An arkworks implementation of the superspartan PIOP☆13Updated 6 months ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Updated last year
- Circuits for Pluto's `web-prover`☆21Updated last month
- A Starknet toolkit☆17Updated 3 weeks ago
- ☆49Updated last year
- An API compatible port of the Stone prover.☆19Updated 4 months ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- ☆14Updated last year
- ☆13Updated 3 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Groth16 verifier in EVM☆20Updated last year