base / nitro-validatorLinks
AWS Nitro enclave attestation verifier in Solidity, used by:
☆17Updated last month
Alternatives and similar repositories for nitro-validator
Users that are interested in nitro-validator are comparing it to the libraries listed below
Sorting:
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Smart contracts for the Telepathy protocol☆78Updated last year
- ETHPrague☆31Updated last year
- ☆24Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Ethereum stateless tools☆45Updated 3 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆36Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- 🔥 flamegraphs for solidity☆35Updated 11 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated last year
- Axiom smart contracts☆26Updated 2 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 5 months ago
- Groth16 verifier on Arbitrum Stylus☆25Updated last year
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆57Updated last year
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- Solidity contracts for a next-gen rollup system.☆66Updated this week
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- PoC of Revm execution in SGX☆80Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆48Updated 6 months ago
- Keccak-f[1600] permutation in the EVM☆28Updated 6 months ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Introduction to core development via CTF challenges☆40Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆34Updated 8 months ago
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- RISC-V interactive fault proof tech☆102Updated 3 months ago