pluto / web-prover
Pluto Web Prover π¦
β33Updated 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β28Updated 2 months ago
- Circuits for Pluto's `web-prover`β21Updated 3 weeks ago
- an introduction to noir, with simple examplesβ45Updated last year
- Rust implementation of KZG point evaluationβ33Updated last month
- A monorepo of reusable Noir circuits.β41Updated last month
- Verify a chain of x509 certificates in halo2β31Updated last year
- Behold the almighty πΏtotemπΏβ18Updated 7 months ago
- β18Updated 2 weeks ago
- Axiom smart contractsβ26Updated last year
- Breathe airβ23Updated 11 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVMβ32Updated 6 months ago
- β2Updated last year
- Noir library to verify JWT tokens, and prove claims.β28Updated last month
- β40Updated 2 years ago
- β50Updated last year
- Like Safe... but secret π₯·π½β60Updated 4 months ago
- Using folding schemes for a provable bitcoin light clientβ34Updated 11 months ago
- β18Updated last month
- β38Updated last year
- β31Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.β31Updated last year
- BigInt library for Aztec's noir languageβ32Updated last year
- β11Updated 6 months ago
- β40Updated 6 months ago
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curveβ9Updated last year
- nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)β17Updated last year
- Browser-based Remote Attestation to TDXβ15Updated 3 months ago
- Ethereum stateless toolsβ46Updated last month
- PoC of Revm execution in SGXβ80Updated last year
- Verifying Cairo Programs in SP1β14Updated 7 months ago