base / nitro-validatorLinks
AWS Nitro enclave attestation verifier in Solidity, used by:
☆18Updated last week
Alternatives and similar repositories for nitro-validator
Users that are interested in nitro-validator are comparing it to the libraries listed below
Sorting:
- ☆26Updated last month
- Ethereum stateless tools☆45Updated 5 months ago
- ETHPrague☆31Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- ☆17Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- PoC of Revm execution in a Nitro Enclave☆29Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 10 months ago
- ☆30Updated last year
- OS for next iteration of the world computer☆43Updated 2 years ago
- ☆27Updated 2 years ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 11 months ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Solidity contracts for a next-gen rollup system.☆68Updated this week
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Honk Verifier in Solidity☆50Updated 11 months ago
- ☆34Updated 2 years ago
- ☆20Updated 3 weeks ago
- Client library for generating and using RLN ZK proofs☆32Updated last year
- ☆26Updated last year
- Cryptographic protocols☆39Updated 2 years ago