pluto / web-proverLinks
Pluto Web Prover 🦀
☆38Updated 5 months ago
Alternatives and similar repositories for web-prover
Users that are interested in web-prover are comparing it to the libraries listed below
Sorting:
- ☆26Updated 2 weeks ago
- Axiom smart contracts☆26Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated last year
- Circuits for Pluto's `web-prover`☆24Updated 4 months ago
- ☆30Updated last year
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- client side proving☆34Updated 5 months ago
- Breathe air☆25Updated last year
- PoC of Revm execution in SGX☆81Updated last year
- Noir library to verify JWT tokens, and prove claims.☆29Updated 4 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- A monorepo of reusable Noir circuits.☆44Updated 2 weeks ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 10 months ago
- ☆38Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆34Updated 9 months ago
- Solidity contracts for a next-gen rollup system.☆66Updated 2 weeks ago
- ☆40Updated 2 years ago
- storage proof made by sp1☆25Updated 11 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 10 months ago
- BigInt library for Aztec's noir language☆32Updated last year
- Honk Verifier in Solidity☆50Updated 10 months ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Updated 2 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 6 months ago
- A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.☆31Updated this week
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year