├── .env.example ├── .github ├── CODEOWNERS └── workflows │ ├── e2e.yml │ ├── foundry-test.yml │ ├── programs.yml │ ├── release.yml │ └── rust.yml ├── .gitignore ├── .solhint.json ├── Cargo.lock ├── Cargo.toml ├── LICENSE-MIT ├── README.md ├── bun.lockb ├── contracts ├── .gitignore ├── abi │ └── SP1ICS07Tendermint.json ├── fixtures │ ├── membership_100-groth16_fixture.json │ ├── membership_25-plonk_fixture.json │ ├── memberships_fixture-groth16.json │ ├── memberships_fixture-plonk.json │ ├── misbehaviour_breaking_time_monotonicity-groth16_fixture.json │ ├── misbehaviour_double_sign-plonk_fixture.json │ ├── uc_and_memberships_fixture-groth16.json │ ├── uc_and_memberships_fixture-plonk.json │ ├── update_client_fixture-groth16.json │ └── update_client_fixture-plonk.json ├── script │ └── SP1ICS07Tendermint.s.sol ├── src │ ├── ISP1ICS07Tendermint.sol │ ├── SP1ICS07Tendermint.sol │ ├── errors │ │ └── ISP1ICS07TendermintErrors.sol │ ├── msgs │ │ ├── IICS07TendermintMsgs.sol │ │ ├── IMembershipMsgs.sol │ │ ├── IMisbehaviourMsgs.sol │ │ ├── ISP1Msgs.sol │ │ ├── IUcAndMembershipMsgs.sol │ │ └── IUpdateClientMsgs.sol │ └── utils │ │ └── Paths.sol └── test │ ├── LargeMembership.t.sol │ ├── Membership.t.sol │ ├── MembershipTest.sol │ ├── Misbehaviour.t.sol │ ├── SP1ICS07TendermintTest.sol │ ├── UcAndMembership.t.sol │ └── UpdateClient.t.sol ├── e2e └── interchaintestv8 │ ├── .gitignore │ ├── .golangci.yml │ ├── README.md │ ├── chainconfig │ ├── chain_config.go │ ├── encoding.go │ └── genesis.go │ ├── e2esuite │ ├── grpc_query.go │ ├── suite.go │ └── utils.go │ ├── go.mod │ ├── go.sum │ ├── operator │ ├── operator.go │ └── proofs.go │ ├── sp1_ics07_test.go │ ├── testvalues │ └── values.go │ └── types │ ├── sp1ics07tendermint │ └── contract.go │ └── utils.go ├── foundry.toml ├── justfile ├── operator ├── Cargo.toml └── src │ ├── bin │ └── operator.rs │ ├── cli │ ├── command.rs │ └── mod.rs │ ├── lib.rs │ └── runners │ ├── fixtures │ ├── membership.rs │ ├── misbehaviour.rs │ ├── mod.rs │ ├── uc_and_mem.rs │ └── update_client.rs │ ├── genesis.rs │ ├── mod.rs │ └── operator.rs ├── package.json ├── packages ├── prover │ ├── Cargo.toml │ ├── README.md │ ├── build.rs │ └── src │ │ ├── lib.rs │ │ ├── programs.rs │ │ └── prover.rs ├── solidity │ ├── Cargo.toml │ ├── README.md │ └── src │ │ └── lib.rs └── utils │ ├── Cargo.toml │ ├── README.md │ └── src │ ├── eth.rs │ ├── lib.rs │ ├── light_block.rs │ ├── merkle.rs │ └── rpc.rs ├── programs ├── membership │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs ├── misbehaviour │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ ├── main.rs │ │ └── types │ │ ├── mod.rs │ │ └── validation.rs ├── uc-and-membership │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs └── update-client │ ├── Cargo.toml │ └── src │ ├── lib.rs │ ├── main.rs │ └── types │ ├── mod.rs │ └── validation.rs ├── remappings.txt ├── shell.nix ├── sp1-ics07-tendermint-dark.svg └── sp1-ics07-tendermint-light.svg /.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/.env.example -------------------------------------------------------------------------------- /.github/CODEOWNERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/.github/CODEOWNERS -------------------------------------------------------------------------------- /.github/workflows/e2e.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/.github/workflows/e2e.yml -------------------------------------------------------------------------------- /.github/workflows/foundry-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/.github/workflows/foundry-test.yml -------------------------------------------------------------------------------- /.github/workflows/programs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/.github/workflows/programs.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/.gitignore -------------------------------------------------------------------------------- /.solhint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/.solhint.json -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/README.md -------------------------------------------------------------------------------- /bun.lockb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/bun.lockb -------------------------------------------------------------------------------- /contracts/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/.gitignore -------------------------------------------------------------------------------- /contracts/abi/SP1ICS07Tendermint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/abi/SP1ICS07Tendermint.json -------------------------------------------------------------------------------- /contracts/fixtures/membership_100-groth16_fixture.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/membership_100-groth16_fixture.json -------------------------------------------------------------------------------- /contracts/fixtures/membership_25-plonk_fixture.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/membership_25-plonk_fixture.json -------------------------------------------------------------------------------- /contracts/fixtures/memberships_fixture-groth16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/memberships_fixture-groth16.json -------------------------------------------------------------------------------- /contracts/fixtures/memberships_fixture-plonk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/memberships_fixture-plonk.json -------------------------------------------------------------------------------- /contracts/fixtures/misbehaviour_breaking_time_monotonicity-groth16_fixture.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/misbehaviour_breaking_time_monotonicity-groth16_fixture.json -------------------------------------------------------------------------------- /contracts/fixtures/misbehaviour_double_sign-plonk_fixture.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/misbehaviour_double_sign-plonk_fixture.json -------------------------------------------------------------------------------- /contracts/fixtures/uc_and_memberships_fixture-groth16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/uc_and_memberships_fixture-groth16.json -------------------------------------------------------------------------------- /contracts/fixtures/uc_and_memberships_fixture-plonk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/uc_and_memberships_fixture-plonk.json -------------------------------------------------------------------------------- /contracts/fixtures/update_client_fixture-groth16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/update_client_fixture-groth16.json -------------------------------------------------------------------------------- /contracts/fixtures/update_client_fixture-plonk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/fixtures/update_client_fixture-plonk.json -------------------------------------------------------------------------------- /contracts/script/SP1ICS07Tendermint.s.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/script/SP1ICS07Tendermint.s.sol -------------------------------------------------------------------------------- /contracts/src/ISP1ICS07Tendermint.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/ISP1ICS07Tendermint.sol -------------------------------------------------------------------------------- /contracts/src/SP1ICS07Tendermint.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/SP1ICS07Tendermint.sol -------------------------------------------------------------------------------- /contracts/src/errors/ISP1ICS07TendermintErrors.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/errors/ISP1ICS07TendermintErrors.sol -------------------------------------------------------------------------------- /contracts/src/msgs/IICS07TendermintMsgs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/msgs/IICS07TendermintMsgs.sol -------------------------------------------------------------------------------- /contracts/src/msgs/IMembershipMsgs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/msgs/IMembershipMsgs.sol -------------------------------------------------------------------------------- /contracts/src/msgs/IMisbehaviourMsgs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/msgs/IMisbehaviourMsgs.sol -------------------------------------------------------------------------------- /contracts/src/msgs/ISP1Msgs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/msgs/ISP1Msgs.sol -------------------------------------------------------------------------------- /contracts/src/msgs/IUcAndMembershipMsgs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/msgs/IUcAndMembershipMsgs.sol -------------------------------------------------------------------------------- /contracts/src/msgs/IUpdateClientMsgs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/msgs/IUpdateClientMsgs.sol -------------------------------------------------------------------------------- /contracts/src/utils/Paths.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/src/utils/Paths.sol -------------------------------------------------------------------------------- /contracts/test/LargeMembership.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/test/LargeMembership.t.sol -------------------------------------------------------------------------------- /contracts/test/Membership.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/test/Membership.t.sol -------------------------------------------------------------------------------- /contracts/test/MembershipTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/test/MembershipTest.sol -------------------------------------------------------------------------------- /contracts/test/Misbehaviour.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/test/Misbehaviour.t.sol -------------------------------------------------------------------------------- /contracts/test/SP1ICS07TendermintTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/test/SP1ICS07TendermintTest.sol -------------------------------------------------------------------------------- /contracts/test/UcAndMembership.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/test/UcAndMembership.t.sol -------------------------------------------------------------------------------- /contracts/test/UpdateClient.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/contracts/test/UpdateClient.t.sol -------------------------------------------------------------------------------- /e2e/interchaintestv8/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/.gitignore -------------------------------------------------------------------------------- /e2e/interchaintestv8/.golangci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/.golangci.yml -------------------------------------------------------------------------------- /e2e/interchaintestv8/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/README.md -------------------------------------------------------------------------------- /e2e/interchaintestv8/chainconfig/chain_config.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/chainconfig/chain_config.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/chainconfig/encoding.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/chainconfig/encoding.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/chainconfig/genesis.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/chainconfig/genesis.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/e2esuite/grpc_query.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/e2esuite/grpc_query.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/e2esuite/suite.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/e2esuite/suite.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/e2esuite/utils.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/e2esuite/utils.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/go.mod -------------------------------------------------------------------------------- /e2e/interchaintestv8/go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/go.sum -------------------------------------------------------------------------------- /e2e/interchaintestv8/operator/operator.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/operator/operator.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/operator/proofs.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/operator/proofs.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/sp1_ics07_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/sp1_ics07_test.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/testvalues/values.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/testvalues/values.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/types/sp1ics07tendermint/contract.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/types/sp1ics07tendermint/contract.go -------------------------------------------------------------------------------- /e2e/interchaintestv8/types/utils.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/e2e/interchaintestv8/types/utils.go -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/foundry.toml -------------------------------------------------------------------------------- /justfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/justfile -------------------------------------------------------------------------------- /operator/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/Cargo.toml -------------------------------------------------------------------------------- /operator/src/bin/operator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/bin/operator.rs -------------------------------------------------------------------------------- /operator/src/cli/command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/cli/command.rs -------------------------------------------------------------------------------- /operator/src/cli/mod.rs: -------------------------------------------------------------------------------- 1 | //! Module for the cli interface 2 | 3 | pub mod command; 4 | -------------------------------------------------------------------------------- /operator/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/lib.rs -------------------------------------------------------------------------------- /operator/src/runners/fixtures/membership.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/runners/fixtures/membership.rs -------------------------------------------------------------------------------- /operator/src/runners/fixtures/misbehaviour.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/runners/fixtures/misbehaviour.rs -------------------------------------------------------------------------------- /operator/src/runners/fixtures/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/runners/fixtures/mod.rs -------------------------------------------------------------------------------- /operator/src/runners/fixtures/uc_and_mem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/runners/fixtures/uc_and_mem.rs -------------------------------------------------------------------------------- /operator/src/runners/fixtures/update_client.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/runners/fixtures/update_client.rs -------------------------------------------------------------------------------- /operator/src/runners/genesis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/runners/genesis.rs -------------------------------------------------------------------------------- /operator/src/runners/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/runners/mod.rs -------------------------------------------------------------------------------- /operator/src/runners/operator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/operator/src/runners/operator.rs -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/package.json -------------------------------------------------------------------------------- /packages/prover/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/prover/Cargo.toml -------------------------------------------------------------------------------- /packages/prover/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/prover/README.md -------------------------------------------------------------------------------- /packages/prover/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/prover/build.rs -------------------------------------------------------------------------------- /packages/prover/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/prover/src/lib.rs -------------------------------------------------------------------------------- /packages/prover/src/programs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/prover/src/programs.rs -------------------------------------------------------------------------------- /packages/prover/src/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/prover/src/prover.rs -------------------------------------------------------------------------------- /packages/solidity/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/solidity/Cargo.toml -------------------------------------------------------------------------------- /packages/solidity/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/solidity/README.md -------------------------------------------------------------------------------- /packages/solidity/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/solidity/src/lib.rs -------------------------------------------------------------------------------- /packages/utils/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/utils/Cargo.toml -------------------------------------------------------------------------------- /packages/utils/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/utils/README.md -------------------------------------------------------------------------------- /packages/utils/src/eth.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/utils/src/eth.rs -------------------------------------------------------------------------------- /packages/utils/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/utils/src/lib.rs -------------------------------------------------------------------------------- /packages/utils/src/light_block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/utils/src/light_block.rs -------------------------------------------------------------------------------- /packages/utils/src/merkle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/utils/src/merkle.rs -------------------------------------------------------------------------------- /packages/utils/src/rpc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/packages/utils/src/rpc.rs -------------------------------------------------------------------------------- /programs/membership/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/membership/Cargo.toml -------------------------------------------------------------------------------- /programs/membership/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/membership/src/lib.rs -------------------------------------------------------------------------------- /programs/membership/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/membership/src/main.rs -------------------------------------------------------------------------------- /programs/misbehaviour/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/misbehaviour/Cargo.toml -------------------------------------------------------------------------------- /programs/misbehaviour/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/misbehaviour/src/lib.rs -------------------------------------------------------------------------------- /programs/misbehaviour/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/misbehaviour/src/main.rs -------------------------------------------------------------------------------- /programs/misbehaviour/src/types/mod.rs: -------------------------------------------------------------------------------- 1 | //! Containes types used in the program. 2 | 3 | pub mod validation; 4 | -------------------------------------------------------------------------------- /programs/misbehaviour/src/types/validation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/misbehaviour/src/types/validation.rs -------------------------------------------------------------------------------- /programs/uc-and-membership/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/uc-and-membership/Cargo.toml -------------------------------------------------------------------------------- /programs/uc-and-membership/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/uc-and-membership/src/lib.rs -------------------------------------------------------------------------------- /programs/uc-and-membership/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/uc-and-membership/src/main.rs -------------------------------------------------------------------------------- /programs/update-client/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/update-client/Cargo.toml -------------------------------------------------------------------------------- /programs/update-client/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/update-client/src/lib.rs -------------------------------------------------------------------------------- /programs/update-client/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/update-client/src/main.rs -------------------------------------------------------------------------------- /programs/update-client/src/types/mod.rs: -------------------------------------------------------------------------------- 1 | //! Containes types used in the program. 2 | 3 | pub mod validation; 4 | -------------------------------------------------------------------------------- /programs/update-client/src/types/validation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/programs/update-client/src/types/validation.rs -------------------------------------------------------------------------------- /remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/remappings.txt -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/shell.nix -------------------------------------------------------------------------------- /sp1-ics07-tendermint-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/sp1-ics07-tendermint-dark.svg -------------------------------------------------------------------------------- /sp1-ics07-tendermint-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmos/sp1-ics07-tendermint/HEAD/sp1-ics07-tendermint-light.svg --------------------------------------------------------------------------------