├── .env.example ├── .github └── workflows │ ├── pr.yml │ └── test.yml ├── .gitignore ├── .gitmodules ├── .vscode └── settings.json ├── LICENSE-MIT ├── README.md ├── contracts ├── .env.example ├── .gitignore ├── fixtures │ ├── fixture.json │ └── mock_fixture.json ├── foundry.toml ├── remappings.txt ├── script │ └── SP1Tendermint.s.sol ├── src │ └── SP1Tendermint.sol └── test │ └── SP1Tendermint.t.sol ├── operator ├── Cargo.lock ├── Cargo.toml ├── bin │ ├── fixture.rs │ ├── genesis.rs │ └── operator.rs ├── build.rs ├── rustfmt.toml └── src │ ├── contract.rs │ ├── lib.rs │ ├── types.rs │ └── util.rs └── program ├── Cargo.lock ├── Cargo.toml ├── elf └── tendermint-light-client └── src └── main.rs /.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/.env.example -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/.gitmodules -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/README.md -------------------------------------------------------------------------------- /contracts/.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/contracts/.env.example -------------------------------------------------------------------------------- /contracts/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/contracts/.gitignore -------------------------------------------------------------------------------- /contracts/fixtures/fixture.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/contracts/fixtures/fixture.json -------------------------------------------------------------------------------- /contracts/fixtures/mock_fixture.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/contracts/fixtures/mock_fixture.json -------------------------------------------------------------------------------- /contracts/foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/contracts/foundry.toml -------------------------------------------------------------------------------- /contracts/remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/contracts/remappings.txt -------------------------------------------------------------------------------- /contracts/script/SP1Tendermint.s.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/contracts/script/SP1Tendermint.s.sol -------------------------------------------------------------------------------- /contracts/src/SP1Tendermint.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/contracts/src/SP1Tendermint.sol -------------------------------------------------------------------------------- /contracts/test/SP1Tendermint.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/contracts/test/SP1Tendermint.t.sol -------------------------------------------------------------------------------- /operator/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/Cargo.lock -------------------------------------------------------------------------------- /operator/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/Cargo.toml -------------------------------------------------------------------------------- /operator/bin/fixture.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/bin/fixture.rs -------------------------------------------------------------------------------- /operator/bin/genesis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/bin/genesis.rs -------------------------------------------------------------------------------- /operator/bin/operator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/bin/operator.rs -------------------------------------------------------------------------------- /operator/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/build.rs -------------------------------------------------------------------------------- /operator/rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/rustfmt.toml -------------------------------------------------------------------------------- /operator/src/contract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/src/contract.rs -------------------------------------------------------------------------------- /operator/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/src/lib.rs -------------------------------------------------------------------------------- /operator/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/src/types.rs -------------------------------------------------------------------------------- /operator/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/operator/src/util.rs -------------------------------------------------------------------------------- /program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/program/Cargo.lock -------------------------------------------------------------------------------- /program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/program/Cargo.toml -------------------------------------------------------------------------------- /program/elf/tendermint-light-client: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/program/elf/tendermint-light-client -------------------------------------------------------------------------------- /program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-tendermint-example/HEAD/program/src/main.rs --------------------------------------------------------------------------------