├── .github └── workflows │ └── test.yml ├── .gitignore ├── .gitmodules ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── Makefile ├── README.md ├── artifacts ├── .gitignore └── dummy │ ├── common_circuit_data.json │ ├── proof_with_public_inputs.json │ └── verifier_only_circuit_data.json ├── contracts ├── ITendermintZKLightClient.sol ├── ITendermintZKLightClientErrors.sol ├── TendermintHeader.sol ├── TendermintTreeVerifier.sol ├── TendermintZKLightClient.sol ├── TendermintZKLightClientProtoMarshaler.sol ├── groth16 │ ├── Groth16CommitmentVerifier.sol │ ├── Groth16Verifier.sol │ ├── TendermintZKLightClientGroth16.sol │ └── TendermintZKLightClientGroth16Commitment.sol ├── mock │ └── TendermintZKLightClientMock.sol ├── plonk │ ├── PlonkVerifier.sol │ └── TendermintZKLightClientPlonk.sol └── proto │ └── ibc │ └── lightclients │ └── tendermintzk │ └── v1 │ └── TendermintZKLightClient.sol ├── docs └── images │ └── architecture.png ├── e2e ├── .gitignore ├── Makefile ├── chains │ ├── ethereum │ │ ├── .dockerignore │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── contracts │ │ │ ├── .gitignore │ │ │ ├── contracts │ │ │ │ └── Dependencies.sol │ │ │ ├── hardhat.config.js │ │ │ ├── package-lock.json │ │ │ ├── package.json │ │ │ └── scripts │ │ │ │ └── deploy.js │ │ └── geth │ │ │ ├── Dockerfile │ │ │ ├── genesis.json │ │ │ ├── geth.password │ │ │ ├── privatekey │ │ │ └── run.sh │ └── tendermint │ │ ├── .gitignore │ │ ├── Dockerfile │ │ ├── LICENSE │ │ ├── Makefile │ │ ├── README.md │ │ ├── go.mod │ │ ├── go.sum │ │ ├── scripts │ │ ├── entrypoint.sh │ │ └── tm-chain │ │ └── simapp │ │ ├── README.md │ │ ├── ante_handler.go │ │ ├── app.go │ │ ├── encoding.go │ │ ├── export.go │ │ ├── genesis.go │ │ ├── ibc.go │ │ ├── relay │ │ ├── TendermintZKLightClient.pb.go │ │ ├── codec.go │ │ ├── lightclient.go │ │ └── module.go │ │ ├── simd │ │ ├── cmd │ │ │ ├── genaccounts.go │ │ │ └── root.go │ │ └── main.go │ │ └── types.go ├── compose.yaml ├── configs │ ├── path.json │ └── templates │ │ ├── ibc-0.json.tpl │ │ └── ibc-1.json.tpl ├── docker.mk ├── go.mod ├── go.sum ├── relayer │ └── main.go └── scripts │ ├── fixture │ ├── handshake │ ├── init-rly │ ├── transfer │ └── util ├── foundry.toml ├── go ├── .gitignore ├── circuit.go ├── go.mod ├── go.sum ├── main.go ├── prove.go ├── relay │ ├── Makefile │ ├── TendermintZKLightClient.pb.go │ ├── cmd │ │ ├── cmd.go │ │ ├── errors.go │ │ ├── flags.go │ │ └── light.go │ ├── codec.go │ ├── config.go │ ├── config.pb.go │ ├── lightclient.go │ ├── module │ │ └── module.go │ ├── proof.go │ ├── proof_test.go │ ├── proto │ │ ├── buf.gen.gogo.yaml │ │ ├── buf.lock │ │ ├── buf.yaml │ │ ├── ibc │ │ │ └── lightclients │ │ │ │ └── tendermintzk │ │ │ │ └── v1 │ │ │ │ └── TendermintZKLightClient.proto │ │ └── relayer │ │ │ └── provers │ │ │ └── tendermintzk │ │ │ └── config │ │ │ └── config.proto │ ├── prover.go │ ├── scripts │ │ └── protocgen.sh │ ├── tendermint.go │ ├── tree.go │ ├── types.go │ ├── zkp │ │ ├── groth16 │ │ │ ├── groth16.go │ │ │ ├── groth16_commitment.go │ │ │ └── groth16_test.go │ │ ├── mock │ │ │ └── mock.go │ │ └── zkp.go │ └── zkprover.go ├── service.go ├── setup.go └── utils.go ├── package.json ├── proto └── ibc │ └── lightclients │ └── tendermintzk │ └── v1 │ └── TendermintZKLightClient.proto ├── rust-toolchain ├── solpb.sh ├── src ├── circuits.rs ├── circuits │ ├── skip.rs │ └── step.rs ├── commands.rs ├── commands │ ├── prove.rs │ └── service.rs ├── config.rs ├── gnark_verifier.rs ├── main.rs └── tendermint_client.rs └── test ├── Groth16CommitmentVerifier.t.sol ├── Groth16Verifier.t.sol ├── VerifyMembership.t.sol └── data ├── groth16-commitment_proof.json ├── groth16_proof_01.json └── groth16_proof_02.json /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/.gitmodules -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/README.md -------------------------------------------------------------------------------- /artifacts/.gitignore: -------------------------------------------------------------------------------- 1 | /groth16 2 | /plonky2 -------------------------------------------------------------------------------- /artifacts/dummy/common_circuit_data.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/artifacts/dummy/common_circuit_data.json -------------------------------------------------------------------------------- /artifacts/dummy/proof_with_public_inputs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/artifacts/dummy/proof_with_public_inputs.json -------------------------------------------------------------------------------- /artifacts/dummy/verifier_only_circuit_data.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/artifacts/dummy/verifier_only_circuit_data.json -------------------------------------------------------------------------------- /contracts/ITendermintZKLightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/ITendermintZKLightClient.sol -------------------------------------------------------------------------------- /contracts/ITendermintZKLightClientErrors.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/ITendermintZKLightClientErrors.sol -------------------------------------------------------------------------------- /contracts/TendermintHeader.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/TendermintHeader.sol -------------------------------------------------------------------------------- /contracts/TendermintTreeVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/TendermintTreeVerifier.sol -------------------------------------------------------------------------------- /contracts/TendermintZKLightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/TendermintZKLightClient.sol -------------------------------------------------------------------------------- /contracts/TendermintZKLightClientProtoMarshaler.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/TendermintZKLightClientProtoMarshaler.sol -------------------------------------------------------------------------------- /contracts/groth16/Groth16CommitmentVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/groth16/Groth16CommitmentVerifier.sol -------------------------------------------------------------------------------- /contracts/groth16/Groth16Verifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/groth16/Groth16Verifier.sol -------------------------------------------------------------------------------- /contracts/groth16/TendermintZKLightClientGroth16.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/groth16/TendermintZKLightClientGroth16.sol -------------------------------------------------------------------------------- /contracts/groth16/TendermintZKLightClientGroth16Commitment.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/groth16/TendermintZKLightClientGroth16Commitment.sol -------------------------------------------------------------------------------- /contracts/mock/TendermintZKLightClientMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/mock/TendermintZKLightClientMock.sol -------------------------------------------------------------------------------- /contracts/plonk/PlonkVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/plonk/PlonkVerifier.sol -------------------------------------------------------------------------------- /contracts/plonk/TendermintZKLightClientPlonk.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/plonk/TendermintZKLightClientPlonk.sol -------------------------------------------------------------------------------- /contracts/proto/ibc/lightclients/tendermintzk/v1/TendermintZKLightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/contracts/proto/ibc/lightclients/tendermintzk/v1/TendermintZKLightClient.sol -------------------------------------------------------------------------------- /docs/images/architecture.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/docs/images/architecture.png -------------------------------------------------------------------------------- /e2e/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | /fixtures 3 | /configs/demo 4 | -------------------------------------------------------------------------------- /e2e/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/Makefile -------------------------------------------------------------------------------- /e2e/chains/ethereum/.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/.dockerignore -------------------------------------------------------------------------------- /e2e/chains/ethereum/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/.gitignore -------------------------------------------------------------------------------- /e2e/chains/ethereum/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/Makefile -------------------------------------------------------------------------------- /e2e/chains/ethereum/contracts/.gitignore: -------------------------------------------------------------------------------- 1 | artifacts/ 2 | cache/ 3 | node_modules/ 4 | -------------------------------------------------------------------------------- /e2e/chains/ethereum/contracts/contracts/Dependencies.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/contracts/contracts/Dependencies.sol -------------------------------------------------------------------------------- /e2e/chains/ethereum/contracts/hardhat.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/contracts/hardhat.config.js -------------------------------------------------------------------------------- /e2e/chains/ethereum/contracts/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/contracts/package-lock.json -------------------------------------------------------------------------------- /e2e/chains/ethereum/contracts/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/contracts/package.json -------------------------------------------------------------------------------- /e2e/chains/ethereum/contracts/scripts/deploy.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/contracts/scripts/deploy.js -------------------------------------------------------------------------------- /e2e/chains/ethereum/geth/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/geth/Dockerfile -------------------------------------------------------------------------------- /e2e/chains/ethereum/geth/genesis.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/geth/genesis.json -------------------------------------------------------------------------------- /e2e/chains/ethereum/geth/geth.password: -------------------------------------------------------------------------------- 1 | password 2 | -------------------------------------------------------------------------------- /e2e/chains/ethereum/geth/privatekey: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/geth/privatekey -------------------------------------------------------------------------------- /e2e/chains/ethereum/geth/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/ethereum/geth/run.sh -------------------------------------------------------------------------------- /e2e/chains/tendermint/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/.gitignore -------------------------------------------------------------------------------- /e2e/chains/tendermint/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/Dockerfile -------------------------------------------------------------------------------- /e2e/chains/tendermint/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/LICENSE -------------------------------------------------------------------------------- /e2e/chains/tendermint/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/Makefile -------------------------------------------------------------------------------- /e2e/chains/tendermint/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/README.md -------------------------------------------------------------------------------- /e2e/chains/tendermint/go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/go.mod -------------------------------------------------------------------------------- /e2e/chains/tendermint/go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/go.sum -------------------------------------------------------------------------------- /e2e/chains/tendermint/scripts/entrypoint.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/scripts/entrypoint.sh -------------------------------------------------------------------------------- /e2e/chains/tendermint/scripts/tm-chain: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/scripts/tm-chain -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/README.md -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/ante_handler.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/ante_handler.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/app.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/app.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/encoding.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/encoding.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/export.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/export.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/genesis.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/genesis.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/ibc.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/ibc.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/relay/TendermintZKLightClient.pb.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/relay/TendermintZKLightClient.pb.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/relay/codec.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/relay/codec.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/relay/lightclient.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/relay/lightclient.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/relay/module.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/relay/module.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/simd/cmd/genaccounts.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/simd/cmd/genaccounts.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/simd/cmd/root.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/simd/cmd/root.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/simd/main.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/simd/main.go -------------------------------------------------------------------------------- /e2e/chains/tendermint/simapp/types.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/chains/tendermint/simapp/types.go -------------------------------------------------------------------------------- /e2e/compose.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/compose.yaml -------------------------------------------------------------------------------- /e2e/configs/path.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/configs/path.json -------------------------------------------------------------------------------- /e2e/configs/templates/ibc-0.json.tpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/configs/templates/ibc-0.json.tpl -------------------------------------------------------------------------------- /e2e/configs/templates/ibc-1.json.tpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/configs/templates/ibc-1.json.tpl -------------------------------------------------------------------------------- /e2e/docker.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/docker.mk -------------------------------------------------------------------------------- /e2e/go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/go.mod -------------------------------------------------------------------------------- /e2e/go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/go.sum -------------------------------------------------------------------------------- /e2e/relayer/main.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/relayer/main.go -------------------------------------------------------------------------------- /e2e/scripts/fixture: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/scripts/fixture -------------------------------------------------------------------------------- /e2e/scripts/handshake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/scripts/handshake -------------------------------------------------------------------------------- /e2e/scripts/init-rly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/scripts/init-rly -------------------------------------------------------------------------------- /e2e/scripts/transfer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/scripts/transfer -------------------------------------------------------------------------------- /e2e/scripts/util: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/e2e/scripts/util -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/foundry.toml -------------------------------------------------------------------------------- /go/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | -------------------------------------------------------------------------------- /go/circuit.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/circuit.go -------------------------------------------------------------------------------- /go/go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/go.mod -------------------------------------------------------------------------------- /go/go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/go.sum -------------------------------------------------------------------------------- /go/main.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/main.go -------------------------------------------------------------------------------- /go/prove.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/prove.go -------------------------------------------------------------------------------- /go/relay/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/Makefile -------------------------------------------------------------------------------- /go/relay/TendermintZKLightClient.pb.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/TendermintZKLightClient.pb.go -------------------------------------------------------------------------------- /go/relay/cmd/cmd.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/cmd/cmd.go -------------------------------------------------------------------------------- /go/relay/cmd/errors.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/cmd/errors.go -------------------------------------------------------------------------------- /go/relay/cmd/flags.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/cmd/flags.go -------------------------------------------------------------------------------- /go/relay/cmd/light.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/cmd/light.go -------------------------------------------------------------------------------- /go/relay/codec.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/codec.go -------------------------------------------------------------------------------- /go/relay/config.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/config.go -------------------------------------------------------------------------------- /go/relay/config.pb.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/config.pb.go -------------------------------------------------------------------------------- /go/relay/lightclient.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/lightclient.go -------------------------------------------------------------------------------- /go/relay/module/module.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/module/module.go -------------------------------------------------------------------------------- /go/relay/proof.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/proof.go -------------------------------------------------------------------------------- /go/relay/proof_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/proof_test.go -------------------------------------------------------------------------------- /go/relay/proto/buf.gen.gogo.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/proto/buf.gen.gogo.yaml -------------------------------------------------------------------------------- /go/relay/proto/buf.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/proto/buf.lock -------------------------------------------------------------------------------- /go/relay/proto/buf.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/proto/buf.yaml -------------------------------------------------------------------------------- /go/relay/proto/ibc/lightclients/tendermintzk/v1/TendermintZKLightClient.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/proto/ibc/lightclients/tendermintzk/v1/TendermintZKLightClient.proto -------------------------------------------------------------------------------- /go/relay/proto/relayer/provers/tendermintzk/config/config.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/proto/relayer/provers/tendermintzk/config/config.proto -------------------------------------------------------------------------------- /go/relay/prover.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/prover.go -------------------------------------------------------------------------------- /go/relay/scripts/protocgen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/scripts/protocgen.sh -------------------------------------------------------------------------------- /go/relay/tendermint.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/tendermint.go -------------------------------------------------------------------------------- /go/relay/tree.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/tree.go -------------------------------------------------------------------------------- /go/relay/types.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/types.go -------------------------------------------------------------------------------- /go/relay/zkp/groth16/groth16.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/zkp/groth16/groth16.go -------------------------------------------------------------------------------- /go/relay/zkp/groth16/groth16_commitment.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/zkp/groth16/groth16_commitment.go -------------------------------------------------------------------------------- /go/relay/zkp/groth16/groth16_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/zkp/groth16/groth16_test.go -------------------------------------------------------------------------------- /go/relay/zkp/mock/mock.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/zkp/mock/mock.go -------------------------------------------------------------------------------- /go/relay/zkp/zkp.go: -------------------------------------------------------------------------------- 1 | package zkp 2 | 3 | type ZKProof interface { 4 | EncodeEthABI() []byte 5 | } 6 | -------------------------------------------------------------------------------- /go/relay/zkprover.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/relay/zkprover.go -------------------------------------------------------------------------------- /go/service.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/service.go -------------------------------------------------------------------------------- /go/setup.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/setup.go -------------------------------------------------------------------------------- /go/utils.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/go/utils.go -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/package.json -------------------------------------------------------------------------------- /proto/ibc/lightclients/tendermintzk/v1/TendermintZKLightClient.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/proto/ibc/lightclients/tendermintzk/v1/TendermintZKLightClient.proto -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly-2024-02-22 -------------------------------------------------------------------------------- /solpb.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/solpb.sh -------------------------------------------------------------------------------- /src/circuits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/circuits.rs -------------------------------------------------------------------------------- /src/circuits/skip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/circuits/skip.rs -------------------------------------------------------------------------------- /src/circuits/step.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/circuits/step.rs -------------------------------------------------------------------------------- /src/commands.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/commands.rs -------------------------------------------------------------------------------- /src/commands/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/commands/prove.rs -------------------------------------------------------------------------------- /src/commands/service.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/commands/service.rs -------------------------------------------------------------------------------- /src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/config.rs -------------------------------------------------------------------------------- /src/gnark_verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/gnark_verifier.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/tendermint_client.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/src/tendermint_client.rs -------------------------------------------------------------------------------- /test/Groth16CommitmentVerifier.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/test/Groth16CommitmentVerifier.t.sol -------------------------------------------------------------------------------- /test/Groth16Verifier.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/test/Groth16Verifier.t.sol -------------------------------------------------------------------------------- /test/VerifyMembership.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/test/VerifyMembership.t.sol -------------------------------------------------------------------------------- /test/data/groth16-commitment_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/test/data/groth16-commitment_proof.json -------------------------------------------------------------------------------- /test/data/groth16_proof_01.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/test/data/groth16_proof_01.json -------------------------------------------------------------------------------- /test/data/groth16_proof_02.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/datachainlab/tendermint-zk-ibc/HEAD/test/data/groth16_proof_02.json --------------------------------------------------------------------------------