pluto / web-proverLinks
Pluto Web Prover 🦀
☆35Updated 3 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☆31Updated 3 months ago
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- Circuits for Pluto's `web-prover`☆22Updated 2 months ago
- an introduction to noir, with simple examples☆44Updated last year
- A monorepo of reusable Noir circuits.☆43Updated last week
- ☆2Updated last year
- Axiom smart contracts☆26Updated last year
- ☆31Updated last year
- ☆21Updated this week
- ☆40Updated 2 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 7 months ago
- Behold the almighty 🗿totem🗿☆18Updated 9 months ago
- ☆38Updated last month
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- Honk Verifier in Solidity☆50Updated 8 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Noir library to verify JWT tokens, and prove claims.☆28Updated 2 months ago
- ☆38Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆19Updated last month
- ☆50Updated last year
- Solidity contracts for a next-gen rollup system.☆65Updated 7 months ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Breathe air☆24Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated last month
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- storage proof made by sp1☆25Updated 9 months ago
- BigInt library for Aztec's noir language☆32Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year