pluto / web-proverLinks
Pluto Web Prover π¦
β35Updated 2 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:
- client side provingβ30Updated 2 months ago
- Rust implementation of KZG point evaluationβ33Updated last week
- Axiom smart contractsβ26Updated last year
- Circuits for Pluto's `web-prover`β21Updated last month
- an introduction to noir, with simple examplesβ44Updated last year
- β34Updated 2 weeks ago
- β19Updated this week
- A monorepo of reusable Noir circuits.β43Updated last month
- Breathe airβ24Updated last year
- Noir library to verify JWT tokens, and prove claims.β28Updated last month
- Verify a chain of x509 certificates in halo2β31Updated last year
- Behold the almighty πΏtotemπΏβ18Updated 8 months ago
- β31Updated last year
- β2Updated last year
- Noir implementation of BattleZips circuitsβ27Updated 2 years ago
- β11Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVMβ32Updated 6 months ago
- β18Updated last month
- β50Updated last year
- Ethereum stateless toolsβ45Updated last month
- Using folding schemes for a provable bitcoin light clientβ34Updated last year
- β40Updated 2 years ago
- BigInt library for Aztec's noir languageβ32Updated last year
- β19Updated 2 weeks ago
- β38Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsaβ21Updated last year
- KZG commitments over BLS12-381β34Updated 2 years ago
- Honk Verifier in Solidityβ50Updated 7 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack π¦πβ55Updated last year
- Adapt your STARK stone proofs for verifications on Ethereumβ17Updated 8 months ago