├── .env.example ├── .github └── workflows │ └── test.yml ├── .gitignore ├── .gitmodules ├── LICENSE.txt ├── README.md ├── foundry.toml ├── remappings.txt ├── src ├── L1 │ └── optimism │ │ ├── IOptimismBedrockOutputOracle.sol │ │ └── L1OptimismBedrockStateProver.sol ├── L2 │ ├── ILightClient.sol │ ├── SimpleLightClient.sol │ └── optimism │ │ └── L2OptimismBedrockStateProver.sol ├── MPT │ ├── CombinedProofVerifier.sol │ ├── MerklePatriciaProofVerifier.sol │ └── StateProofVerifier.sol └── library │ └── optimism │ ├── OptimismBedrockStateProver.sol │ └── Types.sol └── test ├── CombinedProofVerifier.t.sol ├── L1 └── optimism │ └── L1OptimismBedrockStateProver.t.sol ├── L2 └── optimism │ └── L2OptimismBedrockStateProver.t.sol └── mocks ├── MockLightClient.sol └── MockOptimismBedrockOutputOracle.sol /.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/.env.example -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/README.md -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/foundry.toml -------------------------------------------------------------------------------- /remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/remappings.txt -------------------------------------------------------------------------------- /src/L1/optimism/IOptimismBedrockOutputOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/L1/optimism/IOptimismBedrockOutputOracle.sol -------------------------------------------------------------------------------- /src/L1/optimism/L1OptimismBedrockStateProver.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/L1/optimism/L1OptimismBedrockStateProver.sol -------------------------------------------------------------------------------- /src/L2/ILightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/L2/ILightClient.sol -------------------------------------------------------------------------------- /src/L2/SimpleLightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/L2/SimpleLightClient.sol -------------------------------------------------------------------------------- /src/L2/optimism/L2OptimismBedrockStateProver.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/L2/optimism/L2OptimismBedrockStateProver.sol -------------------------------------------------------------------------------- /src/MPT/CombinedProofVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/MPT/CombinedProofVerifier.sol -------------------------------------------------------------------------------- /src/MPT/MerklePatriciaProofVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/MPT/MerklePatriciaProofVerifier.sol -------------------------------------------------------------------------------- /src/MPT/StateProofVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/MPT/StateProofVerifier.sol -------------------------------------------------------------------------------- /src/library/optimism/OptimismBedrockStateProver.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/library/optimism/OptimismBedrockStateProver.sol -------------------------------------------------------------------------------- /src/library/optimism/Types.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/src/library/optimism/Types.sol -------------------------------------------------------------------------------- /test/CombinedProofVerifier.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/test/CombinedProofVerifier.t.sol -------------------------------------------------------------------------------- /test/L1/optimism/L1OptimismBedrockStateProver.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/test/L1/optimism/L1OptimismBedrockStateProver.t.sol -------------------------------------------------------------------------------- /test/L2/optimism/L2OptimismBedrockStateProver.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/test/L2/optimism/L2OptimismBedrockStateProver.t.sol -------------------------------------------------------------------------------- /test/mocks/MockLightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/test/mocks/MockLightClient.sol -------------------------------------------------------------------------------- /test/mocks/MockOptimismBedrockOutputOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LimeChain/extractoor-contracts/HEAD/test/mocks/MockOptimismBedrockOutputOracle.sol --------------------------------------------------------------------------------