danilowhk / swiftness-sp1
Verifying Cairo Programs in SP1
☆13Updated 4 months ago
Alternatives and similar repositories for swiftness-sp1:
Users that are interested in swiftness-sp1 are comparing it to the libraries listed below
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆21Updated 3 weeks ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 5 months ago
- verify cairo execution in Halo2☆16Updated last year
- Exploratory work on abigen in rust for Starknet 🦀☆15Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- Binius circuits web demos☆14Updated 2 months ago
- ☆39Updated 2 years ago
- halo2-lib-eddsa☆11Updated last year
- Axiom smart contracts☆26Updated last year
- ☆17Updated 2 years ago
- ☆13Updated 3 months ago
- Cairo bootloader port for the Rust Cairo VM.☆12Updated 8 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- An API compatible port of the Stone prover.☆19Updated 4 months ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- A VRF implementation using Stark curve and Poseidon hash.☆16Updated 6 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated last week
- ☆17Updated last year
- ☆49Updated last year
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14Updated 9 months ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Updated last year
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆40Updated last year
- ☆31Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Herodotus Data Processor using SP1 as backend☆15Updated 4 months ago
- Based on https://eprint.iacr.org/2022/1510☆24Updated 4 months ago
- STARK book☆20Updated 5 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 3 weeks ago
- Circuits for Pluto's `web-prover`☆21Updated last month