AWS Nitro enclave attestation verifier in Solidity, used by:
☆30Feb 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for nitro-validator
Users that are interested in nitro-validator are comparing it to the libraries listed below
Sorting:
- Hexagate monitors for OP-Stack fault proofs☆18Apr 11, 2025Updated 10 months ago
- ☆13Mar 6, 2023Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated 11 months ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- ☆60Mar 11, 2025Updated 11 months ago
- op-stack state(less) transition in an AWS Nitro enclave☆98Feb 10, 2026Updated 2 weeks ago
- Tribunal is a framework for processing cross-chain swap settlements utilizing The Compact.☆62Dec 22, 2025Updated 2 months ago
- A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.☆13Feb 18, 2026Updated last week
- ☆15Jul 8, 2021Updated 4 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Sparse Merkle Tree☆14May 6, 2023Updated 2 years ago
- [Optimism] Batches go zoom☆17Apr 11, 2021Updated 4 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- ☆50Feb 11, 2025Updated last year
- Building the base layer for rollups☆24Sep 16, 2025Updated 5 months ago
- Programmable privacy with Fully Homomorphic Encryption applied to smart contracts.☆25Nov 7, 2025Updated 3 months ago
- [Optimism] Plugins!☆16Apr 9, 2021Updated 4 years ago
- A lightweight ERC-1967 proxy for EOA upgrades to `CoinbaseSmartWallet`☆65Jul 22, 2025Updated 7 months ago
- A multisend smart contract for the Terra blockchain using CosmWasm☆16Sep 30, 2020Updated 5 years ago
- IPC implementation atop CometBFT☆17Jan 11, 2024Updated 2 years ago
- Permanently burn ETH by self destructing a contract while sending funds to itself☆14Jun 27, 2021Updated 4 years ago
- Gather Ethereum metrics☆17Dec 10, 2018Updated 7 years ago
- [Optimism] Service Integration Tests☆16Apr 11, 2021Updated 4 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- ☆14Oct 9, 2024Updated last year
- Base64 encoding for Aztec's noir language☆16Jan 3, 2024Updated 2 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- Cosmwasm implementation of ICS-101☆16Mar 14, 2024Updated last year
- ☆17May 13, 2021Updated 4 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- ☆17Aug 15, 2023Updated 2 years ago
- a web page / paper☆18Feb 24, 2017Updated 9 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 5 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 2 years ago