├── .github └── workflows │ └── test.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── README.md ├── circuits ├── README.md ├── docs │ └── installation-for-patched-node.md ├── package-lock.json ├── package.json ├── test │ ├── Multiplier2.circom │ ├── multiplier2.js │ ├── pubkeys.json │ └── test_calc_sync_committee_poseidon.js ├── utils │ ├── pubkey_poseidon.circom │ └── sha256_bytes.circom ├── verify_header │ ├── aggregate_bls_verify.circom │ ├── header_verification.circom │ ├── input │ │ └── 6154570_input.json │ ├── run.sh │ └── verify_header.circom └── verify_syncCommittee │ ├── input │ └── 727_input.json │ ├── run.sh │ ├── simple_serialize.circom │ ├── sync_committee_poseidon.circom │ ├── sync_committee_verification.circom │ └── verify_sync_committee.circom └── contracts ├── .DS_Store ├── .env.example ├── .gitignore ├── README.md ├── exports └── .README.md ├── foundry.toml ├── script ├── Counter.s.sol └── EthereumLightClient.s.sol ├── src ├── Counter.sol ├── ethereum │ ├── EthereumLightClient.sol │ ├── Structs.sol │ └── libraries │ │ ├── HeaderBLSVerifier.sol │ │ ├── Pairing.sol │ │ ├── SimpleSerialize.sol │ │ └── SyncCommitteeRootToPoseidonVerifier.sol └── interfaces │ └── ILightClient.sol └── test ├── Counter.t.sol ├── EthereumLightClient.t.sol ├── config ├── goerli.json └── mainnet.json └── data ├── lightClientUpdate └── goerli │ └── 5097760.json └── ssz2Poseidon └── goerli └── 5097760.json /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/README.md -------------------------------------------------------------------------------- /circuits/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/README.md -------------------------------------------------------------------------------- /circuits/docs/installation-for-patched-node.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/docs/installation-for-patched-node.md -------------------------------------------------------------------------------- /circuits/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/package-lock.json -------------------------------------------------------------------------------- /circuits/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/package.json -------------------------------------------------------------------------------- /circuits/test/Multiplier2.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/test/Multiplier2.circom -------------------------------------------------------------------------------- /circuits/test/multiplier2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/test/multiplier2.js -------------------------------------------------------------------------------- /circuits/test/pubkeys.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/test/pubkeys.json -------------------------------------------------------------------------------- /circuits/test/test_calc_sync_committee_poseidon.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/test/test_calc_sync_committee_poseidon.js -------------------------------------------------------------------------------- /circuits/utils/pubkey_poseidon.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/utils/pubkey_poseidon.circom -------------------------------------------------------------------------------- /circuits/utils/sha256_bytes.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/utils/sha256_bytes.circom -------------------------------------------------------------------------------- /circuits/verify_header/aggregate_bls_verify.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_header/aggregate_bls_verify.circom -------------------------------------------------------------------------------- /circuits/verify_header/header_verification.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_header/header_verification.circom -------------------------------------------------------------------------------- /circuits/verify_header/input/6154570_input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_header/input/6154570_input.json -------------------------------------------------------------------------------- /circuits/verify_header/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_header/run.sh -------------------------------------------------------------------------------- /circuits/verify_header/verify_header.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_header/verify_header.circom -------------------------------------------------------------------------------- /circuits/verify_syncCommittee/input/727_input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_syncCommittee/input/727_input.json -------------------------------------------------------------------------------- /circuits/verify_syncCommittee/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_syncCommittee/run.sh -------------------------------------------------------------------------------- /circuits/verify_syncCommittee/simple_serialize.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_syncCommittee/simple_serialize.circom -------------------------------------------------------------------------------- /circuits/verify_syncCommittee/sync_committee_poseidon.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_syncCommittee/sync_committee_poseidon.circom -------------------------------------------------------------------------------- /circuits/verify_syncCommittee/sync_committee_verification.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_syncCommittee/sync_committee_verification.circom -------------------------------------------------------------------------------- /circuits/verify_syncCommittee/verify_sync_committee.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/circuits/verify_syncCommittee/verify_sync_committee.circom -------------------------------------------------------------------------------- /contracts/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/.DS_Store -------------------------------------------------------------------------------- /contracts/.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/.env.example -------------------------------------------------------------------------------- /contracts/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/.gitignore -------------------------------------------------------------------------------- /contracts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/README.md -------------------------------------------------------------------------------- /contracts/exports/.README.md: -------------------------------------------------------------------------------- 1 | # Contract addresses -------------------------------------------------------------------------------- /contracts/foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/foundry.toml -------------------------------------------------------------------------------- /contracts/script/Counter.s.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/script/Counter.s.sol -------------------------------------------------------------------------------- /contracts/script/EthereumLightClient.s.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/script/EthereumLightClient.s.sol -------------------------------------------------------------------------------- /contracts/src/Counter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/src/Counter.sol -------------------------------------------------------------------------------- /contracts/src/ethereum/EthereumLightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/src/ethereum/EthereumLightClient.sol -------------------------------------------------------------------------------- /contracts/src/ethereum/Structs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/src/ethereum/Structs.sol -------------------------------------------------------------------------------- /contracts/src/ethereum/libraries/HeaderBLSVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/src/ethereum/libraries/HeaderBLSVerifier.sol -------------------------------------------------------------------------------- /contracts/src/ethereum/libraries/Pairing.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/src/ethereum/libraries/Pairing.sol -------------------------------------------------------------------------------- /contracts/src/ethereum/libraries/SimpleSerialize.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/src/ethereum/libraries/SimpleSerialize.sol -------------------------------------------------------------------------------- /contracts/src/ethereum/libraries/SyncCommitteeRootToPoseidonVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/src/ethereum/libraries/SyncCommitteeRootToPoseidonVerifier.sol -------------------------------------------------------------------------------- /contracts/src/interfaces/ILightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/src/interfaces/ILightClient.sol -------------------------------------------------------------------------------- /contracts/test/Counter.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/test/Counter.t.sol -------------------------------------------------------------------------------- /contracts/test/EthereumLightClient.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/test/EthereumLightClient.t.sol -------------------------------------------------------------------------------- /contracts/test/config/goerli.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/test/config/goerli.json -------------------------------------------------------------------------------- /contracts/test/config/mainnet.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/test/config/mainnet.json -------------------------------------------------------------------------------- /contracts/test/data/lightClientUpdate/goerli/5097760.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/test/data/lightClientUpdate/goerli/5097760.json -------------------------------------------------------------------------------- /contracts/test/data/ssz2Poseidon/goerli/5097760.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TusimaNetwork/zkBridge-lightClient/HEAD/contracts/test/data/ssz2Poseidon/goerli/5097760.json --------------------------------------------------------------------------------