pluto / caratlsLinks
Browser-based Remote Attestation to TDX
☆15Updated 4 months ago
Alternatives and similar repositories for caratls
Users that are interested in caratls are comparing it to the libraries listed below
Sorting:
- Rust implementation of KZG point evaluation☆33Updated last week
- client side proving☆30Updated 2 months ago
- Circuits for Pluto's `web-prover`☆21Updated last month
- Breathe air☆24Updated last year
- The first CHIP-8 zkvm☆20Updated last year
- ☆19Updated this week
- ☆31Updated last year
- Honk Verifier in Solidity☆50Updated 7 months ago
- Pluto Web Prover 🦀☆35Updated 2 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 6 months ago
- ☆40Updated 7 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 8 months ago
- Axiom smart contracts☆26Updated 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
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year
- ☆34Updated 2 weeks ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Andromeda revm execution service☆31Updated 10 months ago
- ☆38Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Behold the almighty 🗿totem🗿☆18Updated 8 months ago
- Benchmarking Polynomial Commitments☆49Updated last year
- an introduction to noir, with simple examples☆44Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Ethereum stateless tools☆45Updated last month
- ☆33Updated last year
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year