pluto / web-proverLinks
Pluto Web Prover 🦀
☆38Updated 7 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:
- an introduction to noir, with simple examples☆44Updated last year
- ☆26Updated 3 weeks ago
- client side proving☆36Updated 7 months ago
- Noir library to verify JWT tokens, and prove claims.☆31Updated last month
- Axiom smart contracts☆26Updated 2 years ago
- Breathe air☆25Updated last year
- ☆30Updated last year
- Rust implementation of KZG point evaluation☆34Updated 2 months ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Circuits for Pluto's `web-prover`☆24Updated 6 months ago
- Zig EVM☆34Updated 10 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- A monorepo of reusable Noir circuits.☆45Updated last month
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆34Updated 11 months ago
- ☆40Updated 3 years ago
- Groth16 verifier in EVM☆23Updated 2 years ago
- ☆53Updated 4 months ago
- Honk Verifier in Solidity☆50Updated last year
- Browser-based Remote Attestation to TDX☆15Updated 8 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Solidity contracts for a next-gen rollup system.☆70Updated last week
- Poseidon Rust library☆38Updated 2 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- storage proof made by sp1☆25Updated last year
- Web Proofs using zk-SXG☆28Updated 11 months ago
- barretenburg in rust (here we go)☆99Updated last year
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- ☆26Updated last year