pluto / web-prover
Pluto Web Prover π¦
β33Updated last month
Alternatives and similar repositories for web-prover:
Users that are interested in web-prover are comparing it to the libraries listed below
- client side provingβ28Updated last month
- Breathe airβ23Updated 11 months ago
- Rust implementation of KZG point evaluationβ33Updated last week
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVMβ32Updated 5 months ago
- Circuits for Pluto's `web-prover`β21Updated this week
- an introduction to noir, with simple examplesβ45Updated last year
- A monorepo of reusable Noir circuits.β40Updated last week
- Axiom smart contractsβ26Updated last year
- β31Updated last year
- On-chain Ethereum light client built with SP1β46Updated this week
- Noir library to verify JWT tokens, and prove claims.β26Updated last week
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack π¦πβ55Updated last year
- The Spire Based Stackβ17Updated this week
- Ethereum stateless toolsβ46Updated last week
- β2Updated last year
- Behold the almighty πΏtotemπΏβ17Updated 7 months ago
- β17Updated 3 weeks ago
- Solidity contracts for a next-gen rollup system.β65Updated 5 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rsβ35Updated this week
- Noir implementation of BattleZips circuitsβ27Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsaβ21Updated last year
- ππ¬ A protocol for credible commitments.β75Updated last year
- PoC of Revm execution in SGXβ80Updated last year
- This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof teβ¦β38Updated 7 months ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axumβ52Updated last week
- Composable OP Stack Orchestrationβ41Updated last year
- KZG commitments over BLS12-381β34Updated 2 years ago
- Verify a chain of x509 certificates in halo2β31Updated last year
- Adapt your STARK stone proofs for verifications on Ethereumβ17Updated 6 months ago
- Using folding schemes for a provable bitcoin light clientβ34Updated 11 months ago