├── .direnv └── .gitkeep ├── .dockerignore ├── .editorconfig ├── .env.example ├── .envrc ├── .gitattributes ├── .github ├── actions │ └── setup │ │ └── action.yml └── workflows │ ├── ci.yml │ └── update-flake-lock.yml ├── .gitignore ├── .gitmodules ├── .prettierignore ├── .prettierrc ├── .secrets └── .gitkeep ├── .vim └── coc-settings.json ├── .vscode ├── extensions.json └── settings.json ├── .yarn ├── plugins │ └── yarn-plugin-nixify.cjs ├── releases │ └── yarn-4.1.1.cjs └── sdks │ ├── integrations.yml │ ├── prettier │ ├── bin-prettier.js │ ├── index.js │ └── package.json │ └── typescript │ ├── bin │ ├── tsc │ └── tsserver │ ├── lib │ ├── tsc.js │ ├── tsserver.js │ ├── tsserverlibrary.js │ └── typescript.js │ └── package.json ├── .yarnrc.yml ├── Arduino ├── scr.sh └── verify │ ├── import.hh │ ├── nimbase.h │ └── verify.ino ├── Dockerfile.relay ├── LICENSE ├── Makefile ├── README.md ├── balance-verifier └── default.nix ├── beacon-light-client ├── circom │ ├── .gitignore │ ├── README.md │ ├── circuits │ │ ├── aggregate_bitmask.circom │ │ ├── bitmask_contains_only_bools.circom │ │ ├── compress.circom │ │ ├── compute_domain.circom │ │ ├── compute_signing_root.circom │ │ ├── expand_message.circom │ │ ├── hash_aggregated_key.circom │ │ ├── hash_to_field.circom │ │ ├── hash_tree_root.circom │ │ ├── hash_tree_root_beacon_header.circom │ │ ├── hash_two.circom │ │ ├── is_first.circom │ │ ├── is_supermajority.circom │ │ ├── is_valid_merkle_branch.circom │ │ ├── is_valid_merkle_branch_out.circom │ │ ├── light_client.circom │ │ ├── light_client_recursive.circom │ │ ├── numbersTo256Bits.circom │ │ ├── ssz_num.circom │ │ ├── sync_commitee_hash_tree_root.circom │ │ ├── utils │ │ │ ├── arrays.circom │ │ │ ├── bits.circom │ │ │ └── numerical.circom │ │ ├── validator_balances.circom │ │ ├── validator_hash_tree_root.circom │ │ └── verify_finalized_header.circom │ ├── hardhat.config.ts │ ├── light_client.drawio.drawio │ ├── light_client.drawio.png │ ├── package.json │ ├── rust-verifier │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── scripts │ │ ├── aggregate_bitmask │ │ │ ├── aggregate_bitmask.circom │ │ │ ├── aggregate_bitmask.sh │ │ │ └── get-aggregate_bitmask-input.ts │ │ ├── common.sh │ │ ├── compress │ │ │ ├── compress.circom │ │ │ ├── compress.sh │ │ │ └── get-compress-input.ts │ │ ├── compute_domain │ │ │ └── compute_domain.circom │ │ ├── compute_signing_root │ │ │ └── compute_signing_root.circom │ │ ├── expand_message │ │ │ └── expand_message.circom │ │ ├── hash_to_field │ │ │ └── hash_to_field.circom │ │ ├── hash_tree_root │ │ │ ├── get-hash_tree_root-input.ts │ │ │ ├── hash_tree_root.circom │ │ │ └── hash_tree_root.sh │ │ ├── hash_tree_root_beacon_header │ │ │ └── hash_tree_root_beacon_header.circom │ │ ├── is_supermajority │ │ │ └── is_supermajority.circom │ │ ├── is_valid_merkle_branch │ │ │ └── is_valid_merkle_branch.circom │ │ ├── light_client │ │ │ ├── light_client.circom │ │ │ └── light_client.sh │ │ ├── light_client_recursive │ │ │ ├── converted-vkey.json │ │ │ ├── get_light_client_recursive_input.ts │ │ │ ├── light_client_recursive.circom │ │ │ ├── light_client_recursive.sh │ │ │ ├── light_client_recursive_updates.ts │ │ │ ├── proof.json │ │ │ ├── proof_converter.py │ │ │ ├── verify_updates.ts │ │ │ ├── vkey.json │ │ │ └── vkey_converter.py │ │ ├── proof_efficient │ │ │ ├── build_proof.sh │ │ │ ├── get-proof-input.ts │ │ │ └── proof_efficient.circom │ │ ├── proof_more_efficient │ │ │ ├── build_proof.sh │ │ │ ├── get-proof-more-efficient-input.ts │ │ │ └── proof_more_efficient.circom │ │ ├── test │ │ │ └── test.circom │ │ └── validator_balances │ │ │ ├── Validators_balance.md │ │ │ ├── get_input.ts │ │ │ ├── test.ts │ │ │ ├── validator_accumulator_description.md │ │ │ ├── validator_balances.circom │ │ │ └── validator_balances.sh │ ├── test │ │ ├── .gitignore │ │ ├── aggregate_bitmask_N1 │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── notzero │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── zero │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── aggregate_bitmask_N3 │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── all_zero │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── only_first │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── only_last │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── only_second │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── compress │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── compute_domain │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ └── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── compute_signing_root │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── division_by │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case03 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── expand_message │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ └── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── gen_ssz_num_positive_tests.ts │ │ ├── hash_to_field │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ └── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── hash_tree_root │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ └── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── hash_tree_root_beacon_header │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case03 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── hash_two │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── is_equal_arrays │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case03 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── is_first │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── not_the_same │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── the_same │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── the_same2 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── is_supermajority │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ └── is_super │ │ │ │ └── input.json │ │ ├── is_valid_merkle_branch │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ └── input.json │ │ │ │ └── case02 │ │ │ │ └── input.json │ │ ├── less_than_bits_check │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case03 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── less_than_eq_bits_check │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case03 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── numbersTo256Bits │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── pow │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case03 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case04 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case05 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── range_check │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case03 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case04 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── run_snarkit2_tests.sh │ │ ├── selector │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ ├── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case03 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ ├── ssz_num │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ │ ├── case01 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ │ │ └── case02 │ │ │ │ ├── input.json │ │ │ │ └── output.json │ │ └── sync_commitee_hash_tree_root │ │ │ ├── circuit.circom │ │ │ └── data │ │ │ └── case01 │ │ │ ├── input.json │ │ │ └── output.json │ ├── tsconfig.json │ ├── zero_knowledge_diagram.drawio │ └── zero_knowledge_diagram.drawio.png ├── nim │ ├── light-client │ │ ├── README.md │ │ ├── light_client.nim │ │ ├── light_client_utils.nim │ │ ├── nim.cfg │ │ └── panicoverride.nim │ └── verifier │ │ ├── nim.cfg │ │ ├── panicoverride.nim │ │ ├── verifier.nim │ │ └── verify_utils.nim ├── plonky2 │ ├── .gitignore │ ├── BLS_README.md │ ├── common_config.json │ ├── crates │ │ ├── .rustfmt.toml │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── circuit │ │ │ ├── Cargo.toml │ │ │ ├── README.md │ │ │ └── src │ │ │ │ ├── add_virtual_target.rs │ │ │ │ ├── array.rs │ │ │ │ ├── circuit.rs │ │ │ │ ├── circuit_builder_extensions.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── public_inputs │ │ │ │ ├── field_reader.rs │ │ │ │ ├── mod.rs │ │ │ │ └── target_reader.rs │ │ │ │ ├── serde.rs │ │ │ │ ├── serde_circuit_target.rs │ │ │ │ ├── set_witness.rs │ │ │ │ ├── ssz_hash_tree_root.rs │ │ │ │ ├── target_primitive.rs │ │ │ │ ├── targets │ │ │ │ ├── mod.rs │ │ │ │ └── uint │ │ │ │ │ ├── macro.rs │ │ │ │ │ ├── mod.rs │ │ │ │ │ └── ops │ │ │ │ │ ├── arithmetic.rs │ │ │ │ │ ├── comparison.rs │ │ │ │ │ └── mod.rs │ │ │ │ └── to_targets.rs │ │ ├── circuit_derive │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ ├── derive_add_virtual_target.rs │ │ │ │ ├── derive_circuit_target.rs │ │ │ │ ├── derive_public_inputs_readable.rs │ │ │ │ ├── derive_serde_circuit_target.rs │ │ │ │ ├── derive_set_witness.rs │ │ │ │ ├── derive_target_primitive.rs │ │ │ │ ├── lib.rs │ │ │ │ └── utils.rs │ │ ├── circuit_executables │ │ │ ├── .gitignore │ │ │ ├── Cargo.toml │ │ │ ├── bin │ │ │ │ ├── balance_verification.rs │ │ │ │ ├── balance_verification_circuit_data_generation.rs │ │ │ │ ├── bls12_381.rs │ │ │ │ ├── bls12_381_circuit_data_generation.rs │ │ │ │ ├── bls12_381_components_proofs.rs │ │ │ │ ├── calc_pairing_precomp.rs │ │ │ │ ├── calc_pairing_precomp_circuit_data_generation.rs │ │ │ │ ├── commitment_mapper.rs │ │ │ │ ├── commitment_mapper_circuit_data_generation.rs │ │ │ │ ├── deposit_accumulator_balance_aggregator_diva.rs │ │ │ │ ├── deposit_accumulator_balance_aggregator_final_layer.rs │ │ │ │ ├── final_exponentiate.rs │ │ │ │ ├── final_exponentiate_circuit_data_generation.rs │ │ │ │ ├── final_layer.rs │ │ │ │ ├── fp12_mul.rs │ │ │ │ ├── fp12_mul_circuit_data_generation.rs │ │ │ │ ├── miller_loop.rs │ │ │ │ ├── miller_loop_circuit_data_generation.rs │ │ │ │ ├── pubkey_commitment_mapper.rs │ │ │ │ └── wrapper.rs │ │ │ ├── examples │ │ │ │ ├── test_application.rs │ │ │ │ └── test_application_azure.rs │ │ │ ├── scripts │ │ │ │ ├── build_bls_circuits.sh │ │ │ │ ├── parse_common_cmdline_opts.sh │ │ │ │ ├── run_balance_verification.sh │ │ │ │ ├── run_commitment_mapper.sh │ │ │ │ ├── run_deposit_accumulator_balance_aggregator_diva.sh │ │ │ │ ├── run_everywhere.sh │ │ │ │ └── run_final_layer.sh │ │ │ └── src │ │ │ │ ├── cached_circuit_build.rs │ │ │ │ ├── commitment_mapper_context.rs │ │ │ │ ├── commitment_mapper_task.rs │ │ │ │ ├── constants.rs │ │ │ │ ├── crud │ │ │ │ ├── common.rs │ │ │ │ ├── mod.rs │ │ │ │ └── proof_storage │ │ │ │ │ ├── aws_proof_storage.rs │ │ │ │ │ ├── azure_proof_storage.rs │ │ │ │ │ ├── file_proof_storage.rs │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── proof_storage.rs │ │ │ │ │ └── redis_proof_storage.rs │ │ │ │ ├── db_constants.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── poseidon_bn128.rs │ │ │ │ ├── poseidon_bn128_config.rs │ │ │ │ ├── poseidon_constants.rs │ │ │ │ ├── provers.rs │ │ │ │ ├── pubkey_commitment_mapper.rs │ │ │ │ ├── utils.rs │ │ │ │ └── wrap_final_layer_in_poseidon_bn128.rs │ │ └── circuits │ │ │ ├── Cargo.toml │ │ │ ├── README.md │ │ │ ├── bls12_381_proof │ │ │ └── src │ │ │ ├── bls_verification │ │ │ ├── bls12_381_circuit.rs │ │ │ ├── build_stark_proof_verifier.rs │ │ │ └── mod.rs │ │ │ ├── common_targets.rs │ │ │ ├── deposit_accumulator_balance_aggregator_diva │ │ │ ├── deposit_accumulator_balance_aggregator_diva_input.json │ │ │ ├── final_layer.rs │ │ │ ├── first_level.rs │ │ │ ├── inner_level.rs │ │ │ └── mod.rs │ │ │ ├── deposits_accumulator_balance_aggregator │ │ │ ├── README.md │ │ │ ├── common_targets.rs │ │ │ ├── final_layer.rs │ │ │ ├── first_level.rs │ │ │ ├── inner_level.rs │ │ │ └── mod.rs │ │ │ ├── deposits_accumulator_commitment_mapper │ │ │ ├── first_level.rs │ │ │ ├── inner_level.rs │ │ │ └── mod.rs │ │ │ ├── lib.rs │ │ │ ├── pubkey_commitment_mapper │ │ │ ├── first_level.rs │ │ │ ├── inner_level.rs │ │ │ └── mod.rs │ │ │ ├── redis_storage_types.rs │ │ │ ├── serializers.rs │ │ │ ├── utils │ │ │ ├── circuit │ │ │ │ ├── assert_slot_is_in_epoch.rs │ │ │ │ ├── hashing │ │ │ │ │ ├── merkle │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ ├── poseidon.rs │ │ │ │ │ │ └── sha256.rs │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── poseidon.rs │ │ │ │ │ └── sha256.rs │ │ │ │ ├── mod.rs │ │ │ │ └── validator_status.rs │ │ │ └── mod.rs │ │ │ ├── validators_commitment_mapper │ │ │ ├── first_level.rs │ │ │ ├── inner_level.rs │ │ │ └── mod.rs │ │ │ └── withdrawal_credentials_balance_aggregator │ │ │ ├── final_layer.rs │ │ │ ├── first_level.rs │ │ │ ├── inner_level.rs │ │ │ └── mod.rs │ ├── docs │ │ ├── balance_verification.md │ │ ├── bls_explainer.md │ │ └── commitment_mapper.md │ ├── gnark_plonky2_verifier │ │ ├── circuit.go │ │ ├── circuit │ │ │ ├── common_circuit_data.json │ │ │ ├── proof_with_public_inputs.json │ │ │ └── verifier_only_circuit_data.json │ │ ├── go.mod │ │ ├── go.sum │ │ └── main.go │ ├── input_fetchers │ │ ├── balance_verification │ │ │ ├── abi │ │ │ │ ├── account_manager_abi.json │ │ │ │ ├── hash_consensus_abi.json │ │ │ │ ├── lido_accounting_oracle_abi.json │ │ │ │ ├── lido_locator_abi.json │ │ │ │ ├── validator_manager_abi.json │ │ │ │ └── validators_accumulator_abi.json │ │ │ ├── common.ts │ │ │ ├── deposits_accumulator │ │ │ │ ├── deposits.json │ │ │ │ ├── experiment │ │ │ │ │ ├── bls_data.ts │ │ │ │ │ └── get_indexes.ts │ │ │ │ ├── lib │ │ │ │ │ ├── deposit_scheduler.ts │ │ │ │ │ ├── event_fetcher.ts │ │ │ │ │ ├── get_balance_verification_data.ts │ │ │ │ │ └── pubkey_commitment_mapper_scheduler.ts │ │ │ │ └── runnable │ │ │ │ │ ├── balance_aggregator_light_cleaner.ts │ │ │ │ │ ├── get_deposits.ts │ │ │ │ │ ├── run_balance_aggregator.ts │ │ │ │ │ ├── run_pubkey_commitment_mapper_scheduler.ts │ │ │ │ │ └── run_scheduler.ts │ │ │ └── withdrawal_credentials │ │ │ │ ├── lib │ │ │ │ └── scheduler.ts │ │ │ │ └── runnable │ │ │ │ ├── diva_scheduler.ts │ │ │ │ ├── lido_scheduler.ts │ │ │ │ ├── light_cleaner.ts │ │ │ │ ├── run_scheduler.ts │ │ │ │ └── schedule_test_input.ts │ │ ├── common_config.ts │ │ ├── deposit_accumulator_input.json │ │ ├── light_cleaner_common.ts │ │ ├── package.json │ │ ├── test.ts │ │ ├── tsconfig.json │ │ ├── utils │ │ │ ├── cmdline.ts │ │ │ ├── common_utils.ts │ │ │ └── proof_storage │ │ │ │ ├── aws_proof_storage.ts │ │ │ │ ├── azure_proof_storage.ts │ │ │ │ ├── file_proof_storage.ts │ │ │ │ ├── proof_storage.ts │ │ │ │ └── redis_proof_storage.ts │ │ └── validators_commitment_mapper │ │ │ ├── lib │ │ │ └── scheduler.ts │ │ │ └── runnable │ │ │ ├── delete_old_data.ts │ │ │ ├── get_validator_merkle_path.ts │ │ │ ├── light_cleaner.ts │ │ │ ├── run_scheduler.ts │ │ │ └── verify_finalized_epochs.ts │ └── kv_db_constants.json └── solidity │ ├── .gitignore │ ├── README.md │ ├── contracts │ ├── Errors.sol │ ├── balance_verifier │ │ ├── BalanceVerifier.sol │ │ ├── BalanceVerifierDiva.sol │ │ ├── BalanceVerifierLido.sol │ │ ├── interfaces │ │ │ ├── IBalanceVerifier.sol │ │ │ ├── IBalanceVerifierDiva.sol │ │ │ └── IBalanceVerifierLido.sol │ │ └── verifier.sol │ ├── bridge │ │ └── src │ │ │ ├── interfaces │ │ │ └── ILightClient.sol │ │ │ ├── truth │ │ │ └── eth │ │ │ │ └── BeaconLightClient.sol │ │ │ └── utils │ │ │ ├── LightClientUpdateVerifier.sol │ │ │ └── Verifier.sol │ ├── test │ │ └── VerifierMock.sol │ └── validators_accumulator │ │ ├── ValidatorsAccumulator.sol │ │ └── interfaces │ │ ├── IDeposit.sol │ │ └── IValidatorsAccumulator.sol │ ├── extract_proof_and_public_from_redis.sh │ ├── hardhat.config.ts │ ├── package.json │ ├── tasks │ ├── accounts.ts │ ├── balance-verifier-publisher.ts │ ├── deploy-balance-verifier.ts │ ├── deploy.ts │ ├── hashi_abi.json │ ├── index.ts │ ├── remove-repeat-job.ts │ ├── start-publishing.ts │ ├── utils │ │ └── index.ts │ └── verify-contracts.ts │ ├── test │ ├── BalanceVerifier.test.ts │ ├── BeaconLightClientReadyProofs.test.ts │ ├── ValidatorAccumulator.test.ts │ ├── abis │ │ └── deposit.json │ └── utils │ │ ├── bls.ts │ │ ├── depositData.json │ │ ├── format.ts │ │ └── index.ts │ └── tsconfig.json ├── casper-finality-proofs ├── Cargo.lock ├── Cargo.toml ├── bin │ ├── compute_shuffled_index.rs │ ├── lib.rs │ ├── prove_finality.rs │ └── weigh_justification_and_finalization.rs ├── fuzz │ ├── .cargo │ │ └── config.toml │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ ├── README.md │ ├── fuzz_targets │ │ ├── compute_shuffled_index_mainnet.rs │ │ ├── compute_shuffled_index_minimal.rs │ │ ├── utils │ │ │ └── arbitrary_types.rs │ │ └── weigh_justification_and_finalization.rs │ ├── scripts │ │ └── fuzz.sh │ └── seed │ │ └── compute_shuffled_index.sh └── src │ ├── compute_shuffled_index │ ├── circuit.rs │ ├── helpers.rs │ └── mod.rs │ ├── constants.rs │ ├── lib.rs │ ├── prove_finality │ ├── circuit.rs │ └── mod.rs │ ├── test_engine │ ├── TestEngine.md │ ├── bin │ │ └── main.rs │ ├── mod.rs │ ├── tests │ │ └── prove_finality │ │ │ ├── 0_bits_no_majority_diff_1_fail.json │ │ │ ├── 0_bits_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 0_bits_no_majority_diff_2_fail.json │ │ │ ├── 0_bits_no_majority_diff_2_slot_gt_target_fail_fail.json │ │ │ ├── 0_bits_only_current_diff_1_fail.json │ │ │ ├── 0_bits_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 0_bits_only_current_diff_2_fail.json │ │ │ ├── 0_bits_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 0_bits_only_previous_diff_1_fail.json │ │ │ ├── 0_bits_only_previous_diff_1_slot_gt_target_fail.json │ │ │ ├── 0_bits_only_previous_diff_2_fail.json │ │ │ ├── 0_bits_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 0_bits_with_majority_diff_1.json │ │ │ ├── 0_bits_with_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 0_bits_with_majority_diff_2_fail.json │ │ │ ├── 0_bits_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_1_no_majority_diff_1_fail.json │ │ │ ├── 1_bit_1_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_1_no_majority_diff_2_fail.json │ │ │ ├── 1_bit_1_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_1_only_current_diff_1.json │ │ │ ├── 1_bit_1_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_1_only_current_diff_2_fail.json │ │ │ ├── 1_bit_1_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_1_only_previous_diff_1_fail.json │ │ │ ├── 1_bit_1_only_previous_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_1_only_previous_diff_2_fail.json │ │ │ ├── 1_bit_1_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_1_with_majority_diff_1.json │ │ │ ├── 1_bit_1_with_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_1_with_majority_diff_2_fail.json │ │ │ ├── 1_bit_1_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_2_no_majority_diff_1_fail.json │ │ │ ├── 1_bit_2_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_2_no_majority_diff_2_fail.json │ │ │ ├── 1_bit_2_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_2_only_current_diff_1_fail.json │ │ │ ├── 1_bit_2_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_2_only_current_diff_2_fail.json │ │ │ ├── 1_bit_2_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_2_only_previous_diff_1_fail.json │ │ │ ├── 1_bit_2_only_previous_diff_1_slot_gt_target.json │ │ │ ├── 1_bit_2_only_previous_diff_2_fail.json │ │ │ ├── 1_bit_2_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_2_with_majority_diff_1.json │ │ │ ├── 1_bit_2_with_majority_diff_1_slot_gt_target.json │ │ │ ├── 1_bit_2_with_majority_diff_2.json │ │ │ ├── 1_bit_2_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_3_no_majority_diff_1_fail.json │ │ │ ├── 1_bit_3_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_3_no_majority_diff_2_fail.json │ │ │ ├── 1_bit_3_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_3_only_current_diff_1_fail.json │ │ │ ├── 1_bit_3_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_3_only_current_diff_2_fail.json │ │ │ ├── 1_bit_3_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_3_only_previous_diff_1_fail.json │ │ │ ├── 1_bit_3_only_previous_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_3_only_previous_diff_2_fail.json │ │ │ ├── 1_bit_3_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_3_with_majority_diff_1.json │ │ │ ├── 1_bit_3_with_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_3_with_majority_diff_2_fail.json │ │ │ ├── 1_bit_3_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_4_no_majority_diff_1_fail.json │ │ │ ├── 1_bit_4_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_4_no_majority_diff_2_fail.json │ │ │ ├── 1_bit_4_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_4_only_current_diff_1_fail.json │ │ │ ├── 1_bit_4_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_4_only_current_diff_2_fail.json │ │ │ ├── 1_bit_4_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_4_only_previous_diff_1_fail.json │ │ │ ├── 1_bit_4_only_previous_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_4_only_previous_diff_2_fail.json │ │ │ ├── 1_bit_4_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 1_bit_4_with_majority_diff_1.json │ │ │ ├── 1_bit_4_with_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 1_bit_4_with_majority_diff_2_fail.json │ │ │ ├── 1_bit_4_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&2_no_majority_diff_1_fail.json │ │ │ ├── 2_bits_1&2_no_majority_diff_1_slot_gt_target.json │ │ │ ├── 2_bits_1&2_no_majority_diff_2_fail.json │ │ │ ├── 2_bits_1&2_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&2_only_current_diff_1.json │ │ │ ├── 2_bits_1&2_only_current_diff_1_slot_gt_target.json │ │ │ ├── 2_bits_1&2_only_current_diff_2.json │ │ │ ├── 2_bits_1&2_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&2_only_previous_diff_1_fail.json │ │ │ ├── 2_bits_1&2_only_previous_diff_1_slot_gt_target.json │ │ │ ├── 2_bits_1&2_only_previous_diff_2_fail.json │ │ │ ├── 2_bits_1&2_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&2_with_majority_diff_1.json │ │ │ ├── 2_bits_1&2_with_majority_diff_1_slot_gt_target.json │ │ │ ├── 2_bits_1&2_with_majority_diff_2.json │ │ │ ├── 2_bits_1&2_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&3_no_majority_diff_1_fail.json │ │ │ ├── 2_bits_1&3_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&3_no_majority_diff_2_fail.json │ │ │ ├── 2_bits_1&3_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&3_only_current_diff_1.json │ │ │ ├── 2_bits_1&3_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&3_only_current_diff_2_fail.json │ │ │ ├── 2_bits_1&3_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&3_only_previous_diff_1_fail.json │ │ │ ├── 2_bits_1&3_only_previous_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&3_only_previous_diff_2_fail.json │ │ │ ├── 2_bits_1&3_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&3_with_majority_diff_1.json │ │ │ ├── 2_bits_1&3_with_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&3_with_majority_diff_2_fail.json │ │ │ ├── 2_bits_1&3_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&4_no_majority_diff_1_fail.json │ │ │ ├── 2_bits_1&4_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&4_no_majority_diff_2_fail.json │ │ │ ├── 2_bits_1&4_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&4_only_current_diff_1.json │ │ │ ├── 2_bits_1&4_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&4_only_current_diff_2_fail.json │ │ │ ├── 2_bits_1&4_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&4_only_previous_diff_1_fail.json │ │ │ ├── 2_bits_1&4_only_previous_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&4_only_previous_diff_2_fail.json │ │ │ ├── 2_bits_1&4_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&4_with_majority_diff_1.json │ │ │ ├── 2_bits_1&4_with_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_1&4_with_majority_diff_2_fail.json │ │ │ ├── 2_bits_1&4_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&3_no_majority_diff_1_fail.json │ │ │ ├── 2_bits_2&3_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&3_no_majority_diff_2_fail.json │ │ │ ├── 2_bits_2&3_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&3_only_current_diff_1_fail.json │ │ │ ├── 2_bits_2&3_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&3_only_current_diff_2_fail.json │ │ │ ├── 2_bits_2&3_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&3_only_previous_diff_1_fail.json │ │ │ ├── 2_bits_2&3_only_previous_diff_1_slot_gt_target.json │ │ │ ├── 2_bits_2&3_only_previous_diff_2_fail.json │ │ │ ├── 2_bits_2&3_only_previous_diff_2_slot_gt_target.json │ │ │ ├── 2_bits_2&3_with_majority_diff_1.json │ │ │ ├── 2_bits_2&3_with_majority_diff_1_slot_gt_target.json │ │ │ ├── 2_bits_2&3_with_majority_diff_2.json │ │ │ ├── 2_bits_2&3_with_majority_diff_2_slot_gt_target.json │ │ │ ├── 2_bits_2&4_no_majority_diff_1_fail.json │ │ │ ├── 2_bits_2&4_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&4_no_majority_diff_2_fail.json │ │ │ ├── 2_bits_2&4_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&4_only_current_diff_1_fail.json │ │ │ ├── 2_bits_2&4_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&4_only_current_diff_2_fail.json │ │ │ ├── 2_bits_2&4_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&4_only_previous_diff_1_fail.json │ │ │ ├── 2_bits_2&4_only_previous_diff_1_slot_gt_target.json │ │ │ ├── 2_bits_2&4_only_previous_diff_2_fail.json │ │ │ ├── 2_bits_2&4_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_2&4_with_majority_diff_1.json │ │ │ ├── 2_bits_2&4_with_majority_diff_1_slot_gt_target.json │ │ │ ├── 2_bits_2&4_with_majority_diff_2.json │ │ │ ├── 2_bits_2&4_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_3&4_no_majority_diff_1_fail.json │ │ │ ├── 2_bits_3&4_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_3&4_no_majority_diff_2_fail.json │ │ │ ├── 2_bits_3&4_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_3&4_only_current_diff_1_fail.json │ │ │ ├── 2_bits_3&4_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_3&4_only_current_diff_2_fail.json │ │ │ ├── 2_bits_3&4_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_3&4_only_previous_diff_1_fail.json │ │ │ ├── 2_bits_3&4_only_previous_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_3&4_only_previous_diff_2_fail.json │ │ │ ├── 2_bits_3&4_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 2_bits_3&4_with_majority_diff_1.json │ │ │ ├── 2_bits_3&4_with_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 2_bits_3&4_with_majority_diff_2_fail.json │ │ │ ├── 2_bits_3&4_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&2&3_no_majority_diff_1_fail.json │ │ │ ├── 3_bits_1&2&3_no_majority_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_1&2&3_no_majority_diff_2_fail.json │ │ │ ├── 3_bits_1&2&3_no_majority_diff_2_slot_gt_target.json │ │ │ ├── 3_bits_1&2&3_only_current_diff_1.json │ │ │ ├── 3_bits_1&2&3_only_current_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_1&2&3_only_current_diff_2.json │ │ │ ├── 3_bits_1&2&3_only_current_diff_2_slot_gt_target.json │ │ │ ├── 3_bits_1&2&3_only_previous_diff_1_fail.json │ │ │ ├── 3_bits_1&2&3_only_previous_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_1&2&3_only_previous_diff_2_fail.json │ │ │ ├── 3_bits_1&2&3_only_previous_diff_2_slot_gt_target.json │ │ │ ├── 3_bits_1&2&3_with_majority_diff_1.json │ │ │ ├── 3_bits_1&2&3_with_majority_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_1&2&3_with_majority_diff_2.json │ │ │ ├── 3_bits_1&2&3_with_majority_diff_2_slot_gt_target.json │ │ │ ├── 3_bits_1&2&4_no_majority_diff_1_fail.json │ │ │ ├── 3_bits_1&2&4_no_majority_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_1&2&4_no_majority_diff_2_fail.json │ │ │ ├── 3_bits_1&2&4_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&2&4_only_current_diff_1.json │ │ │ ├── 3_bits_1&2&4_only_current_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_1&2&4_only_current_diff_2.json │ │ │ ├── 3_bits_1&2&4_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&2&4_only_previous_diff_1_fail.json │ │ │ ├── 3_bits_1&2&4_only_previous_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_1&2&4_only_previous_diff_2_fail.json │ │ │ ├── 3_bits_1&2&4_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&2&4_with_majority_diff_1.json │ │ │ ├── 3_bits_1&2&4_with_majority_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_1&2&4_with_majority_diff_2.json │ │ │ ├── 3_bits_1&2&4_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&3&4_no_majority_diff_1_fail.json │ │ │ ├── 3_bits_1&3&4_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&3&4_no_majority_diff_2_fail.json │ │ │ ├── 3_bits_1&3&4_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&3&4_only_current_diff_1.json │ │ │ ├── 3_bits_1&3&4_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&3&4_only_current_diff_2_fail.json │ │ │ ├── 3_bits_1&3&4_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&3&4_only_previous_diff_1_fail.json │ │ │ ├── 3_bits_1&3&4_only_previous_diff_1_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&3&4_only_previous_diff_2_fail.json │ │ │ ├── 3_bits_1&3&4_only_previous_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&3&4_with_majority_diff_1.json │ │ │ ├── 3_bits_1&3&4_with_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 3_bits_1&3&4_with_majority_diff_2_fail.json │ │ │ ├── 3_bits_1&3&4_with_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_2&3&4_no_majority_diff_1_fail.json │ │ │ ├── 3_bits_2&3&4_no_majority_diff_1_slot_gt_target_fail.json │ │ │ ├── 3_bits_2&3&4_no_majority_diff_2_fail.json │ │ │ ├── 3_bits_2&3&4_no_majority_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_2&3&4_only_current_diff_1_fail.json │ │ │ ├── 3_bits_2&3&4_only_current_diff_1_slot_gt_target_fail.json │ │ │ ├── 3_bits_2&3&4_only_current_diff_2_fail.json │ │ │ ├── 3_bits_2&3&4_only_current_diff_2_slot_gt_target_fail.json │ │ │ ├── 3_bits_2&3&4_only_previous_diff_1_fail.json │ │ │ ├── 3_bits_2&3&4_only_previous_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_2&3&4_only_previous_diff_2_fail.json │ │ │ ├── 3_bits_2&3&4_only_previous_diff_2_slot_gt_target.json │ │ │ ├── 3_bits_2&3&4_with_majority_diff_1.json │ │ │ ├── 3_bits_2&3&4_with_majority_diff_1_slot_gt_target.json │ │ │ ├── 3_bits_2&3&4_with_majority_diff_2.json │ │ │ ├── 3_bits_2&3&4_with_majority_diff_2_slot_gt_target.json │ │ │ ├── 4_bits_invalid_slot_fail.json │ │ │ ├── 4_bits_no_majority_diff_1_fail.json │ │ │ ├── 4_bits_no_majority_diff_1_slot_gt_target.json │ │ │ ├── 4_bits_no_majority_diff_2_fail.json │ │ │ ├── 4_bits_no_majority_diff_2_slot_gt_target.json │ │ │ ├── 4_bits_only_current_diff_1.json │ │ │ ├── 4_bits_only_current_diff_1_slot_gt_target.json │ │ │ ├── 4_bits_only_current_diff_2.json │ │ │ ├── 4_bits_only_current_diff_2_slot_gt_target.json │ │ │ ├── 4_bits_only_previous_diff_1_fail.json │ │ │ ├── 4_bits_only_previous_diff_1_slot_gt_target.json │ │ │ ├── 4_bits_only_previous_diff_2_fail.json │ │ │ ├── 4_bits_only_previous_diff_2_slot_gt_target.json │ │ │ ├── 4_bits_with_majority_diff_1.json │ │ │ ├── 4_bits_with_majority_diff_1_invalid_justified_checkpoint_fail.json │ │ │ ├── 4_bits_with_majority_diff_1_invalid_justified_checkpoint_root_fail.json │ │ │ ├── 4_bits_with_majority_diff_1_slot_gt_target.json │ │ │ ├── 4_bits_with_majority_diff_1_slot_gt_target_invalid_justified_checkpoint_fail.json │ │ │ ├── 4_bits_with_majority_diff_1_slot_gt_target_invalid_justified_checkpoint_root_fail.json │ │ │ ├── 4_bits_with_majority_diff_2.json │ │ │ ├── 4_bits_with_majority_diff_2_invalid_justified_checkpoint_fail.json │ │ │ ├── 4_bits_with_majority_diff_2_invalid_justified_checkpoint_root_fail.json │ │ │ ├── 4_bits_with_majority_diff_2_slot_gt_target.json │ │ │ ├── 4_bits_with_majority_diff_2_slot_gt_target_invalid_justified_checkpoint_fail.json │ │ │ ├── 4_bits_with_majority_diff_2_slot_gt_target_invalid_justified_checkpoint_root_fail.json │ │ │ ├── invalid_source_target_distance_fail.json │ │ │ ├── source_eq_target_fail.json │ │ │ └── source_gt_target_fail.json │ ├── types │ │ ├── compute_shuffled_index_data.rs │ │ ├── mod.rs │ │ └── prove_finality_data.rs │ ├── utils │ │ ├── data_generation.rs │ │ ├── macros.rs │ │ ├── mod.rs │ │ ├── parsers │ │ │ ├── mod.rs │ │ │ ├── parse_file.rs │ │ │ └── ssz_decoder.rs │ │ ├── setup.rs │ │ └── test_engine.rs │ └── wrappers │ │ ├── compute_shuffled_index │ │ ├── mod.rs │ │ ├── wrapper_mainnet.rs │ │ └── wrapper_minimal.rs │ │ ├── mod.rs │ │ ├── wrapper_prove_finality.rs │ │ └── wrapper_weigh_justification_and_finalization.rs │ ├── types.rs │ ├── utils │ ├── mod.rs │ └── plonky2x_extensions.rs │ └── weigh_justification_and_finalization │ ├── beacon_state_field_verification.rs │ ├── checkpoint.rs │ ├── circuit.rs │ ├── epoch_processing.rs │ ├── justification_bits.rs │ └── mod.rs ├── conf.d └── programs.conf ├── contracts ├── cosmos │ ├── .gitignore │ ├── .node-data-dir │ │ └── .gitkeep │ ├── light-client │ │ ├── .cargo │ │ │ └── config │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── build.rs │ │ ├── lib │ │ │ └── nim │ │ │ │ ├── light_client_cosmos_wrapper.nim │ │ │ │ ├── nim.cfg │ │ │ │ └── panicoverride.nim │ │ └── src │ │ │ ├── bin │ │ │ └── schema.rs │ │ │ ├── contract.rs │ │ │ ├── error.rs │ │ │ ├── lib.rs │ │ │ └── msg.rs │ ├── scripts │ │ ├── add_account.sh │ │ ├── build_deploy_malaga.sh │ │ ├── cosmos-publisher-script.ts │ │ ├── run_cosmos_node.sh │ │ ├── setup_wasmd.sh │ │ ├── start_node.sh │ │ ├── verifier-compile-contract-and-tools-script.ts │ │ ├── verifier-make-update-script.ts │ │ └── verifier-upload-instantiate-script.ts │ ├── verifier-cudos │ │ ├── Cargo.lock │ │ └── Cargo.toml │ └── verifier │ │ ├── artifacts │ │ ├── checksums.txt │ │ └── checksums_intermediate.txt │ │ ├── libs │ │ └── nim │ │ │ ├── common.nim │ │ │ └── contract-interaction │ │ │ ├── config.nim │ │ │ └── contract_interaction.nim │ │ ├── nim.cfg │ │ ├── src │ │ ├── bin │ │ │ └── schema.rs │ │ ├── contract.rs │ │ ├── error.rs │ │ ├── helpers.rs │ │ ├── lib.rs │ │ └── msg.rs │ │ ├── typescript │ │ ├── verifier-compile-contract-and-tools.ts │ │ ├── verifier-make-update.ts │ │ └── verifier-upload-instantiate.ts │ │ ├── verifier-bncurve │ │ ├── .cargo │ │ │ └── config │ │ ├── .editorconfig │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── lib │ │ │ └── nim │ │ │ └── verify │ │ │ ├── panicoverride.nim │ │ │ ├── verify.nim │ │ │ └── verify_helpers.nim │ │ └── verifier-constantine │ │ ├── .editorconfig │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── lib │ │ └── nim │ │ └── verify │ │ ├── panicoverride.nim │ │ ├── verify.nim │ │ └── verify_helpers.nim └── eos │ ├── .gitignore │ ├── .node-data-dir │ ├── .gitkeep │ ├── genesis.json │ └── logs │ │ └── .gitkeep │ ├── hello │ ├── .gitignore │ ├── build │ │ └── .gitkeep │ ├── scripts │ │ └── build-and-deploy.sh │ └── src │ │ ├── cpp │ │ └── hello.cpp │ │ └── nim │ │ ├── hello.nim │ │ └── panicoverride.nim │ ├── scripts │ ├── convert_vk.ts │ ├── eos-publisher-script.ts │ └── run_eos_testnet.sh │ ├── verifier-native │ ├── scripts │ │ ├── build.sh │ │ ├── deploy.sh │ │ └── init_update.sh │ └── src │ │ └── cpp │ │ ├── include │ │ └── groth16 │ │ │ ├── groth16.hpp │ │ │ └── rapiduint256.hpp │ │ └── verifier-native.cpp │ └── verifier │ ├── scripts │ ├── build.sh │ ├── deploy.sh │ └── init_update.sh │ └── src │ └── cpp │ └── verifier.cpp ├── dependabot.yml ├── docker-compose.yaml ├── docs ├── BEACON-REST-API.md ├── NIX.md ├── REQUIRED-PRIMITIVES.md ├── ROADMAP.md ├── VERIFY-SPEED-COMPARISON.md └── long-range-syncing │ ├── .gitignore │ ├── README.md │ ├── assets │ ├── figure-corruption-one-third.png │ ├── figure-corruption-two-thirds-2d.png │ ├── figure-corruption-two-thirds-3d.png │ ├── figure-exit-2d.png │ ├── figure-exit-3d.png │ ├── majority-safedays.png │ ├── majority-safemal.png │ ├── malicious-corruption.png │ └── popcount-hist.png │ ├── notebooks │ ├── churn.ipynb │ ├── corruption.ipynb │ ├── corruption_hypergeom.ipynb │ ├── majority.ipynb │ ├── simulated_committees.ipynb │ └── sync_committee_bits.ipynb │ └── scripts │ └── validators_by_status.sh ├── flake.lock ├── flake.nix ├── jest.config.ts ├── libs ├── nim │ ├── nim-groth16-verifier │ │ ├── nim.cfg │ │ ├── panicoverride.nim │ │ └── verify.nim │ ├── nim.cfg │ └── verify-utils │ │ ├── verify_given_proof.nim │ │ └── verify_given_proof_constantine.nim ├── nix │ ├── circuits_executables │ │ └── default.nix │ ├── common-shell-pkgs.nix │ ├── docker-images.nix │ ├── get_balances_input │ │ └── default.nix │ ├── get_changed_validators │ │ └── default.nix │ ├── light-client │ │ └── default.nix │ ├── nim-wasm │ │ ├── default.nix │ │ └── include │ │ │ ├── README.md │ │ │ ├── alloca.h │ │ │ ├── limits.h │ │ │ ├── stdbool.h │ │ │ ├── stddef.h │ │ │ ├── stdint.h │ │ │ ├── stdio.h │ │ │ ├── stdlib.h │ │ │ └── string.h │ └── shell-with-light-client.nix └── typescript │ ├── balance-verification-utils │ └── utils.ts │ ├── cosmos-utils │ ├── cosmos-utils.ts │ └── testnet-setup.ts │ ├── package.json │ ├── relay-utils │ └── proof-storage.ts │ ├── ts-utils │ ├── bls.ts │ ├── common-utils.ts │ ├── compile-nim-to-wasm.ts │ ├── data.ts │ ├── evm.ts │ ├── hex-utils.ts │ ├── logger.ts │ ├── prometheus-utils.ts │ ├── ssz-utils.ts │ ├── sszSpecTypes.ts │ ├── wasm-utils.ts │ └── zk-utils.ts │ └── verify-utils │ └── verify-given-proof-ffjavascript.ts ├── nix.sh ├── package.json ├── process-compose.yaml ├── proof-of-concept ├── link-wasm-object-files │ ├── .gitignore │ ├── README.md │ ├── add.nim │ ├── main.c │ ├── panicoverride.nim │ └── wasm-build │ │ ├── wasm-ccache │ │ └── .gitkeep │ │ └── wasm-nimcache │ │ └── .gitkeep └── nim-to-wasm │ ├── .gitignore │ ├── README.md │ ├── add.nim │ ├── index.html │ └── panicoverride.nim ├── relay ├── .gitignore ├── README.md ├── abstraction │ ├── beacon-api-interface.ts │ ├── prover-interface.ts │ ├── redis-interface.ts │ └── smart-contract-abstraction.ts ├── constants │ ├── constants.ts │ └── network_config.json ├── fetch_light_client_updates.js ├── implementations │ ├── beacon-api.ts │ ├── cosmos-contract.ts │ ├── eos-contract.ts │ ├── prover.ts │ ├── publish_evm_transaction.ts │ ├── redis.ts │ └── solidity-contract.ts ├── light_client ├── on_chain_publisher.ts ├── package.json ├── process-compose-scripts │ ├── download-zk-and-dat-files.sh │ ├── start-prometheus.sh │ └── start-redis.sh ├── prometheus.yml ├── redis_work_queue.ts ├── relayer-diagram.png ├── relayer_logger.ts ├── save_proof_inputs_from_redis.ts ├── tsconfig.json ├── types │ └── types.ts ├── utils │ ├── converters.ts │ ├── discord_monitor.ts │ ├── get_current_network_config.ts │ ├── orchestrator.ts │ └── smart_contract_utils.ts └── workers │ ├── cleaner.ts │ ├── poll-updates │ ├── do_update.ts │ ├── get_light_client_input_from_to.ts │ ├── get_ligth_client_input.ts │ └── poll-updates-worker.ts │ └── prover │ ├── gen_proof.ts │ └── prover-worker.ts ├── scripts ├── build-circom-compress-circuits.sh ├── build-nix-shell.sh ├── check-user-env-file-contents.sh ├── commit_flake_update.bash ├── config_solidity_import_mapping.sh ├── get-host-system └── measurements │ ├── README.md │ ├── nim.cfg │ └── sizeCompare.nim ├── shell.nix ├── supervisord.conf ├── tests ├── cosmosLightClient │ ├── gasLightClient.json │ ├── gasVerifier.json │ ├── gasVerifierConstantine.json │ ├── test-constantine-verifier-in-cosmos.ts │ ├── test-nim-light-client-in-cosmos.ts │ ├── test-verifier-in-cosmos-relay.ts │ └── test-verifier-in-cosmos.ts ├── eosLightClient │ ├── test-verifier-in-EOS-relay.ts │ └── test-verifier-in-EOS.ts ├── helpers │ ├── helpers.ts │ └── verifier-parse-data-tool │ │ ├── nim.cfg │ │ ├── verifier-bncurve │ │ ├── config.nim │ │ ├── helpers.nim │ │ └── verifier_parse_data.nim │ │ └── verifier-constantine │ │ ├── config.nim │ │ ├── helpers.nim │ │ └── verifier_parse_data.nim ├── nim-groth16-verifier │ ├── .gitignore │ ├── go-verifier-data-files │ │ ├── circuit1k │ │ │ ├── proof1.json │ │ │ ├── public1.json │ │ │ └── verification_key.json │ │ └── circuit5k │ │ │ ├── proof5.json │ │ │ ├── public5.json │ │ │ └── verification_key.json │ ├── nim.cfg │ ├── panicoverride.nim │ └── verifier_test.nim ├── nimLightClient │ ├── assertLCTest.nim │ ├── beaconBlockHeader.nim │ ├── eth2Digest.nim │ ├── helpers │ │ └── helpers.nim │ ├── initializeLightClientStore.nim │ ├── light_client.nim │ ├── nim.cfg │ ├── panicoverride.nim │ ├── processAllLightClientUpdates.nim │ ├── processSingleLightClientUpdate.nim │ └── validateLightClientUpdate.nim ├── nimToWasm │ ├── add.nim │ ├── arrays.nim │ ├── nim.cfg │ ├── panicoverride.nim │ └── seq_append.nim ├── test-nim-light-client.ts ├── test-nim-to-wasm.ts └── verify_proof │ ├── nim.cfg │ ├── verify_given_proof_test.nim │ └── verify_given_proof_test.ts ├── tsconfig.hardhat.json ├── tsconfig.json ├── vendor └── zkllvm-metacraft-circuits │ ├── README.md │ ├── docker │ ├── Dockerfile │ ├── Dockerfile_zcli │ └── process_ssz.sh │ ├── docs │ ├── compute_shuffled_index.md │ ├── verify_attestation_data_and_proof_finality.md │ └── weigh_justification_and_finalization.md │ ├── scripts │ ├── compile_and_run_tests.sh │ ├── docker_run.sh │ └── format_code.sh │ └── src │ ├── .clang-format │ ├── CMakeLists.txt │ ├── circuit_input_generators │ ├── CMakeLists.txt │ ├── serialization │ │ ├── json_serialization_utils.h │ │ └── serialize_attestation.h │ └── verify_attestation_data_input_generators.cpp │ ├── circuit_utils │ ├── base_types.h │ ├── circuit_byte_utils.h │ ├── constants.h │ ├── ssz_utils.h │ └── static_vector.h │ ├── circuits │ ├── CMakeLists.txt │ ├── compute_shuffled_index.cpp │ ├── compute_shuffled_index.json │ ├── verify_attestation_data.cpp │ ├── weigh_justification_and_finalization.cpp │ └── weigh_justification_and_finalization.json │ ├── circuits_impl │ ├── compute_shuffled_index_impl.h │ ├── verify_attestation_data_impl.h │ └── weigh_justification_and_finalization_impl.h │ ├── json │ └── json.hpp │ ├── tests │ ├── CMakeLists.txt │ ├── compute_shuffled_index_test │ │ ├── CMakeLists.txt │ │ └── compute_shuffled_index_test.cpp │ ├── verify_attestation_data_test │ │ ├── CMakeLists.txt │ │ └── verify_attestation_data_test.cpp │ └── weigh_justification_and_finalization_test │ │ ├── CMakeLists.txt │ │ ├── ssz_files │ │ ├── post.ssz_snappy │ │ └── pre.ssz_snappy │ │ └── weigh_justification_and_finalization_test.cpp │ └── utils │ ├── attestation_utils.h │ ├── byte_utils.h │ ├── file_utils.h │ └── picosha2.h ├── yarn-project.nix └── yarn.lock /.direnv/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.dockerignore -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.editorconfig -------------------------------------------------------------------------------- /.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.env.example -------------------------------------------------------------------------------- /.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.envrc -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/actions/setup/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.github/actions/setup/action.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/update-flake-lock.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.github/workflows/update-flake-lock.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.gitmodules -------------------------------------------------------------------------------- /.prettierignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.prettierignore -------------------------------------------------------------------------------- /.prettierrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.prettierrc -------------------------------------------------------------------------------- /.secrets/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /.vim/coc-settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.vim/coc-settings.json -------------------------------------------------------------------------------- /.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.vscode/extensions.json -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /.yarn/plugins/yarn-plugin-nixify.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/plugins/yarn-plugin-nixify.cjs -------------------------------------------------------------------------------- /.yarn/releases/yarn-4.1.1.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/releases/yarn-4.1.1.cjs -------------------------------------------------------------------------------- /.yarn/sdks/integrations.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/integrations.yml -------------------------------------------------------------------------------- /.yarn/sdks/prettier/bin-prettier.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/prettier/bin-prettier.js -------------------------------------------------------------------------------- /.yarn/sdks/prettier/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/prettier/index.js -------------------------------------------------------------------------------- /.yarn/sdks/prettier/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/prettier/package.json -------------------------------------------------------------------------------- /.yarn/sdks/typescript/bin/tsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/typescript/bin/tsc -------------------------------------------------------------------------------- /.yarn/sdks/typescript/bin/tsserver: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/typescript/bin/tsserver -------------------------------------------------------------------------------- /.yarn/sdks/typescript/lib/tsc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/typescript/lib/tsc.js -------------------------------------------------------------------------------- /.yarn/sdks/typescript/lib/tsserver.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/typescript/lib/tsserver.js -------------------------------------------------------------------------------- /.yarn/sdks/typescript/lib/tsserverlibrary.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/typescript/lib/tsserverlibrary.js -------------------------------------------------------------------------------- /.yarn/sdks/typescript/lib/typescript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/typescript/lib/typescript.js -------------------------------------------------------------------------------- /.yarn/sdks/typescript/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarn/sdks/typescript/package.json -------------------------------------------------------------------------------- /.yarnrc.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/.yarnrc.yml -------------------------------------------------------------------------------- /Arduino/scr.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/Arduino/scr.sh -------------------------------------------------------------------------------- /Arduino/verify/import.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/Arduino/verify/import.hh -------------------------------------------------------------------------------- /Arduino/verify/nimbase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/Arduino/verify/nimbase.h -------------------------------------------------------------------------------- /Arduino/verify/verify.ino: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/Arduino/verify/verify.ino -------------------------------------------------------------------------------- /Dockerfile.relay: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/Dockerfile.relay -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/README.md -------------------------------------------------------------------------------- /balance-verifier/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/balance-verifier/default.nix -------------------------------------------------------------------------------- /beacon-light-client/circom/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/.gitignore -------------------------------------------------------------------------------- /beacon-light-client/circom/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/README.md -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/aggregate_bitmask.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/aggregate_bitmask.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/bitmask_contains_only_bools.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/bitmask_contains_only_bools.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/compress.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/compress.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/compute_domain.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/compute_domain.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/compute_signing_root.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/compute_signing_root.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/expand_message.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/expand_message.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/hash_aggregated_key.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/hash_aggregated_key.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/hash_to_field.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/hash_to_field.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/hash_tree_root.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/hash_tree_root.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/hash_tree_root_beacon_header.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/hash_tree_root_beacon_header.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/hash_two.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/hash_two.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/is_first.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/is_first.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/is_supermajority.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/is_supermajority.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/is_valid_merkle_branch.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/is_valid_merkle_branch.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/is_valid_merkle_branch_out.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/is_valid_merkle_branch_out.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/light_client.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/light_client.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/light_client_recursive.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/light_client_recursive.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/numbersTo256Bits.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/numbersTo256Bits.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/ssz_num.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/ssz_num.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/sync_commitee_hash_tree_root.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/sync_commitee_hash_tree_root.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/utils/arrays.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/utils/arrays.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/utils/bits.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/utils/bits.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/utils/numerical.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/utils/numerical.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/validator_balances.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/validator_balances.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/validator_hash_tree_root.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/validator_hash_tree_root.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/circuits/verify_finalized_header.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/circuits/verify_finalized_header.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/hardhat.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/hardhat.config.ts -------------------------------------------------------------------------------- /beacon-light-client/circom/light_client.drawio.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/light_client.drawio.drawio -------------------------------------------------------------------------------- /beacon-light-client/circom/light_client.drawio.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/light_client.drawio.png -------------------------------------------------------------------------------- /beacon-light-client/circom/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/package.json -------------------------------------------------------------------------------- /beacon-light-client/circom/rust-verifier/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/rust-verifier/Cargo.lock -------------------------------------------------------------------------------- /beacon-light-client/circom/rust-verifier/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/rust-verifier/Cargo.toml -------------------------------------------------------------------------------- /beacon-light-client/circom/rust-verifier/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/rust-verifier/src/main.rs -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/aggregate_bitmask/aggregate_bitmask.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/aggregate_bitmask/aggregate_bitmask.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/aggregate_bitmask/aggregate_bitmask.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/aggregate_bitmask/aggregate_bitmask.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/aggregate_bitmask/get-aggregate_bitmask-input.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/aggregate_bitmask/get-aggregate_bitmask-input.ts -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/common.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/common.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/compress/compress.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/compress/compress.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/compress/compress.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/compress/compress.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/compress/get-compress-input.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/compress/get-compress-input.ts -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/compute_domain/compute_domain.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/compute_domain/compute_domain.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/compute_signing_root/compute_signing_root.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/compute_signing_root/compute_signing_root.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/expand_message/expand_message.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/expand_message/expand_message.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/hash_to_field/hash_to_field.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/hash_to_field/hash_to_field.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/hash_tree_root/get-hash_tree_root-input.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/hash_tree_root/get-hash_tree_root-input.ts -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/hash_tree_root/hash_tree_root.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/hash_tree_root/hash_tree_root.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/hash_tree_root/hash_tree_root.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/hash_tree_root/hash_tree_root.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/is_supermajority/is_supermajority.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/is_supermajority/is_supermajority.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/is_valid_merkle_branch/is_valid_merkle_branch.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/is_valid_merkle_branch/is_valid_merkle_branch.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client/light_client.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client/light_client.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client/light_client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client/light_client.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client_recursive/converted-vkey.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client_recursive/converted-vkey.json -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client_recursive/light_client_recursive.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client_recursive/light_client_recursive.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client_recursive/light_client_recursive.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client_recursive/light_client_recursive.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client_recursive/proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client_recursive/proof.json -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client_recursive/proof_converter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client_recursive/proof_converter.py -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client_recursive/verify_updates.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client_recursive/verify_updates.ts -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client_recursive/vkey.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client_recursive/vkey.json -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/light_client_recursive/vkey_converter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/light_client_recursive/vkey_converter.py -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/proof_efficient/build_proof.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/proof_efficient/build_proof.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/proof_efficient/get-proof-input.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/proof_efficient/get-proof-input.ts -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/proof_efficient/proof_efficient.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/proof_efficient/proof_efficient.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/proof_more_efficient/build_proof.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/proof_more_efficient/build_proof.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/proof_more_efficient/proof_more_efficient.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/proof_more_efficient/proof_more_efficient.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/test/test.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/test/test.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/validator_balances/Validators_balance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/validator_balances/Validators_balance.md -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/validator_balances/get_input.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/validator_balances/get_input.ts -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/validator_balances/test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/validator_balances/test.ts -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/validator_balances/validator_balances.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/validator_balances/validator_balances.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/scripts/validator_balances/validator_balances.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/scripts/validator_balances/validator_balances.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/test/.gitignore: -------------------------------------------------------------------------------- 1 | ssz_num_uint*/ 2 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N1/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N1/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N1/data/notzero/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N1/data/notzero/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N1/data/notzero/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N1/data/notzero/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N1/data/zero/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N1/data/zero/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N1/data/zero/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N1/data/zero/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N3/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N3/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N3/data/all_zero/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N3/data/all_zero/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N3/data/all_zero/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N3/data/all_zero/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_first/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_first/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_first/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_first/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_last/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_last/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_last/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_last/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_second/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_second/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_second/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/aggregate_bitmask_N3/data/only_second/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compress/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compress/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compress/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compress/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compress/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compress/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compress/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compress/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compress/data/case02/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compress/data/case02/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compute_domain/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compute_domain/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compute_domain/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compute_domain/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compute_domain/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compute_domain/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compute_signing_root/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compute_signing_root/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compute_signing_root/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compute_signing_root/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compute_signing_root/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compute_signing_root/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compute_signing_root/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compute_signing_root/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/compute_signing_root/data/case02/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/compute_signing_root/data/case02/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/division_by/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/division_by/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/division_by/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/division_by/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/division_by/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/division_by/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/division_by/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/division_by/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/division_by/data/case02/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/division_by/data/case02/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/division_by/data/case03/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/division_by/data/case03/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/division_by/data/case03/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/division_by/data/case03/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/expand_message/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/expand_message/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/expand_message/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/expand_message/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/expand_message/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/expand_message/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/gen_ssz_num_positive_tests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/gen_ssz_num_positive_tests.ts -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_to_field/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_to_field/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_to_field/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_to_field/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_to_field/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_to_field/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root_beacon_header/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root_beacon_header/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case02/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case02/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case03/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case03/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case03/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_tree_root_beacon_header/data/case03/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_two/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_two/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_two/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_two/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_two/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_two/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_two/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_two/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/hash_two/data/case02/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/hash_two/data/case02/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_equal_arrays/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_equal_arrays/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_equal_arrays/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_equal_arrays/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_equal_arrays/data/case01/output.json: -------------------------------------------------------------------------------- 1 | {"out": "1"} 2 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_equal_arrays/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_equal_arrays/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_equal_arrays/data/case02/output.json: -------------------------------------------------------------------------------- 1 | {"out": "0"} 2 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_equal_arrays/data/case03/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_equal_arrays/data/case03/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_equal_arrays/data/case03/output.json: -------------------------------------------------------------------------------- 1 | {"out": "0"} 2 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_first/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_first/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_first/data/not_the_same/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_first/data/not_the_same/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_first/data/not_the_same/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": 0 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_first/data/the_same/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_first/data/the_same/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_first/data/the_same/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": 1 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_first/data/the_same2/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_first/data/the_same2/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_first/data/the_same2/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": 1 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_supermajority/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_supermajority/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_supermajority/data/is_super/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_supermajority/data/is_super/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_valid_merkle_branch/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_valid_merkle_branch/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_valid_merkle_branch/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_valid_merkle_branch/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/is_valid_merkle_branch/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/is_valid_merkle_branch/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_bits_check/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/less_than_bits_check/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_bits_check/data/case01/input.json: -------------------------------------------------------------------------------- 1 | { 2 | "in": ["100","50"] 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_bits_check/data/case01/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "0" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_bits_check/data/case02/input.json: -------------------------------------------------------------------------------- 1 | { 2 | "in": ["1","2"] 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_bits_check/data/case02/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "1" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_bits_check/data/case03/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/less_than_bits_check/data/case03/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_bits_check/data/case03/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "0" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_eq_bits_check/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/less_than_eq_bits_check/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_eq_bits_check/data/case01/input.json: -------------------------------------------------------------------------------- 1 | { 2 | "in": ["100","50"] 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_eq_bits_check/data/case01/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "0" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_eq_bits_check/data/case02/input.json: -------------------------------------------------------------------------------- 1 | { 2 | "in": ["1","2"] 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_eq_bits_check/data/case02/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "1" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_eq_bits_check/data/case03/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/less_than_eq_bits_check/data/case03/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/less_than_eq_bits_check/data/case03/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "1" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/numbersTo256Bits/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/numbersTo256Bits/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/numbersTo256Bits/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/numbersTo256Bits/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/numbersTo256Bits/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/numbersTo256Bits/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/numbersTo256Bits/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/numbersTo256Bits/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/numbersTo256Bits/data/case02/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/numbersTo256Bits/data/case02/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/pow/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/pow/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case01/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "1000" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/pow/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case02/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "1024" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case03/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/pow/data/case03/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case03/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "99" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case04/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/pow/data/case04/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case04/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "1" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case05/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/pow/data/case05/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/pow/data/case05/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "1" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/range_check/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/range_check/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/range_check/data/case01/input.json: -------------------------------------------------------------------------------- 1 | {"in": ["1","2","3"]} 2 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/range_check/data/case01/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "1" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/range_check/data/case02/input.json: -------------------------------------------------------------------------------- 1 | {"in": ["3","2","1"]} 2 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/range_check/data/case02/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "0" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/range_check/data/case03/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/range_check/data/case03/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/range_check/data/case03/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "0" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/range_check/data/case04/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/range_check/data/case04/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/range_check/data/case04/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "0" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/run_snarkit2_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/run_snarkit2_tests.sh -------------------------------------------------------------------------------- /beacon-light-client/circom/test/selector/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/selector/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/selector/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/selector/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/selector/data/case01/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "5" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/selector/data/case02/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/selector/data/case02/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/selector/data/case02/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "99" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/selector/data/case03/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/selector/data/case03/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/selector/data/case03/output.json: -------------------------------------------------------------------------------- 1 | { 2 | "out": "99" 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/ssz_num/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/ssz_num/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/ssz_num/data/case01/input.json: -------------------------------------------------------------------------------- 1 | { 2 | "in": 8191231 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/ssz_num/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/ssz_num/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/ssz_num/data/case02/input.json: -------------------------------------------------------------------------------- 1 | { 2 | "in": 235324126 3 | } 4 | -------------------------------------------------------------------------------- /beacon-light-client/circom/test/ssz_num/data/case02/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/ssz_num/data/case02/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/sync_commitee_hash_tree_root/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/sync_commitee_hash_tree_root/circuit.circom -------------------------------------------------------------------------------- /beacon-light-client/circom/test/sync_commitee_hash_tree_root/data/case01/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/sync_commitee_hash_tree_root/data/case01/input.json -------------------------------------------------------------------------------- /beacon-light-client/circom/test/sync_commitee_hash_tree_root/data/case01/output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/test/sync_commitee_hash_tree_root/data/case01/output.json -------------------------------------------------------------------------------- /beacon-light-client/circom/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/tsconfig.json -------------------------------------------------------------------------------- /beacon-light-client/circom/zero_knowledge_diagram.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/zero_knowledge_diagram.drawio -------------------------------------------------------------------------------- /beacon-light-client/circom/zero_knowledge_diagram.drawio.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/circom/zero_knowledge_diagram.drawio.png -------------------------------------------------------------------------------- /beacon-light-client/nim/light-client/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/nim/light-client/README.md -------------------------------------------------------------------------------- /beacon-light-client/nim/light-client/light_client.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/nim/light-client/light_client.nim -------------------------------------------------------------------------------- /beacon-light-client/nim/light-client/light_client_utils.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/nim/light-client/light_client_utils.nim -------------------------------------------------------------------------------- /beacon-light-client/nim/light-client/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/nim/light-client/nim.cfg -------------------------------------------------------------------------------- /beacon-light-client/nim/light-client/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/nim/light-client/panicoverride.nim -------------------------------------------------------------------------------- /beacon-light-client/nim/verifier/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/nim/verifier/nim.cfg -------------------------------------------------------------------------------- /beacon-light-client/nim/verifier/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/nim/verifier/panicoverride.nim -------------------------------------------------------------------------------- /beacon-light-client/nim/verifier/verifier.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/nim/verifier/verifier.nim -------------------------------------------------------------------------------- /beacon-light-client/nim/verifier/verify_utils.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/nim/verifier/verify_utils.nim -------------------------------------------------------------------------------- /beacon-light-client/plonky2/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/.gitignore -------------------------------------------------------------------------------- /beacon-light-client/plonky2/BLS_README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/BLS_README.md -------------------------------------------------------------------------------- /beacon-light-client/plonky2/common_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/common_config.json -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/.rustfmt.toml: -------------------------------------------------------------------------------- 1 | imports_granularity = "Crate" 2 | -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/Cargo.lock -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/Cargo.toml -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/Cargo.toml -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/README.md -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/add_virtual_target.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/add_virtual_target.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/array.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/array.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/circuit.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/circuit_builder_extensions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/circuit_builder_extensions.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/lib.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/public_inputs/field_reader.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/public_inputs/field_reader.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/public_inputs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/public_inputs/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/public_inputs/target_reader.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/public_inputs/target_reader.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/serde.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/serde.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/serde_circuit_target.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/serde_circuit_target.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/set_witness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/set_witness.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/ssz_hash_tree_root.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/ssz_hash_tree_root.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/target_primitive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/target_primitive.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/targets/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod uint; 2 | -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/targets/uint/macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/targets/uint/macro.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/targets/uint/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/targets/uint/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/targets/uint/ops/arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/targets/uint/ops/arithmetic.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/targets/uint/ops/comparison.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/targets/uint/ops/comparison.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/targets/uint/ops/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/targets/uint/ops/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit/src/to_targets.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit/src/to_targets.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_derive/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_derive/Cargo.toml -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_derive/src/derive_add_virtual_target.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_derive/src/derive_add_virtual_target.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_derive/src/derive_circuit_target.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_derive/src/derive_circuit_target.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_derive/src/derive_public_inputs_readable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_derive/src/derive_public_inputs_readable.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_derive/src/derive_serde_circuit_target.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_derive/src/derive_serde_circuit_target.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_derive/src/derive_set_witness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_derive/src/derive_set_witness.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_derive/src/derive_target_primitive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_derive/src/derive_target_primitive.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_derive/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_derive/src/lib.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_derive/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_derive/src/utils.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/.gitignore: -------------------------------------------------------------------------------- 1 | serialized_circuits/ 2 | proofs/ 3 | -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/Cargo.toml -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/balance_verification.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/balance_verification.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/bls12_381.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/bls12_381.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/calc_pairing_precomp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/calc_pairing_precomp.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/commitment_mapper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/commitment_mapper.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/final_exponentiate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/final_exponentiate.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/final_layer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/final_layer.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/fp12_mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/fp12_mul.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/miller_loop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/miller_loop.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/pubkey_commitment_mapper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/pubkey_commitment_mapper.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/bin/wrapper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/bin/wrapper.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/examples/test_application.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/examples/test_application.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/scripts/build_bls_circuits.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/scripts/build_bls_circuits.sh -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/scripts/run_commitment_mapper.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/scripts/run_commitment_mapper.sh -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/scripts/run_everywhere.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/scripts/run_everywhere.sh -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/scripts/run_final_layer.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/scripts/run_final_layer.sh -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/cached_circuit_build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/cached_circuit_build.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/commitment_mapper_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/commitment_mapper_context.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/commitment_mapper_task.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/commitment_mapper_task.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/constants.rs: -------------------------------------------------------------------------------- 1 | pub const VALIDATOR_REGISTRY_LIMIT: usize = 1099511627776; 2 | -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/crud/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/crud/common.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/crud/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/crud/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/crud/proof_storage/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/crud/proof_storage/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/db_constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/db_constants.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/lib.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/poseidon_bn128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/poseidon_bn128.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/poseidon_bn128_config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/poseidon_bn128_config.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/poseidon_constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/poseidon_constants.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/provers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/provers.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/pubkey_commitment_mapper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/pubkey_commitment_mapper.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuit_executables/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuit_executables/src/utils.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/Cargo.toml -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/README.md -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/bls12_381_proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/bls12_381_proof -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/bls_verification/bls12_381_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/bls_verification/bls12_381_circuit.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/bls_verification/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/bls_verification/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/common_targets.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/common_targets.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/lib.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/pubkey_commitment_mapper/first_level.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/pubkey_commitment_mapper/first_level.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/pubkey_commitment_mapper/inner_level.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/pubkey_commitment_mapper/inner_level.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/pubkey_commitment_mapper/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/pubkey_commitment_mapper/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/redis_storage_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/redis_storage_types.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/serializers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/serializers.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/utils/circuit/hashing/merkle/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/utils/circuit/hashing/merkle/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/utils/circuit/hashing/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/utils/circuit/hashing/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/utils/circuit/hashing/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/utils/circuit/hashing/poseidon.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/utils/circuit/hashing/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/utils/circuit/hashing/sha256.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/utils/circuit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/utils/circuit/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/utils/circuit/validator_status.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/utils/circuit/validator_status.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/utils/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/crates/circuits/src/validators_commitment_mapper/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/crates/circuits/src/validators_commitment_mapper/mod.rs -------------------------------------------------------------------------------- /beacon-light-client/plonky2/docs/balance_verification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/docs/balance_verification.md -------------------------------------------------------------------------------- /beacon-light-client/plonky2/docs/bls_explainer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/docs/bls_explainer.md -------------------------------------------------------------------------------- /beacon-light-client/plonky2/docs/commitment_mapper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/docs/commitment_mapper.md -------------------------------------------------------------------------------- /beacon-light-client/plonky2/gnark_plonky2_verifier/circuit.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/gnark_plonky2_verifier/circuit.go -------------------------------------------------------------------------------- /beacon-light-client/plonky2/gnark_plonky2_verifier/circuit/common_circuit_data.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/gnark_plonky2_verifier/circuit/common_circuit_data.json -------------------------------------------------------------------------------- /beacon-light-client/plonky2/gnark_plonky2_verifier/go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/gnark_plonky2_verifier/go.mod -------------------------------------------------------------------------------- /beacon-light-client/plonky2/gnark_plonky2_verifier/go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/gnark_plonky2_verifier/go.sum -------------------------------------------------------------------------------- /beacon-light-client/plonky2/gnark_plonky2_verifier/main.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/gnark_plonky2_verifier/main.go -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/balance_verification/common.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/balance_verification/common.ts -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/common_config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/common_config.ts -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/deposit_accumulator_input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/deposit_accumulator_input.json -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/light_cleaner_common.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/light_cleaner_common.ts -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/package.json -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/test.ts -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/tsconfig.json -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/utils/cmdline.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/utils/cmdline.ts -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/utils/common_utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/utils/common_utils.ts -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/utils/proof_storage/aws_proof_storage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/utils/proof_storage/aws_proof_storage.ts -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/utils/proof_storage/file_proof_storage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/utils/proof_storage/file_proof_storage.ts -------------------------------------------------------------------------------- /beacon-light-client/plonky2/input_fetchers/utils/proof_storage/proof_storage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/input_fetchers/utils/proof_storage/proof_storage.ts -------------------------------------------------------------------------------- /beacon-light-client/plonky2/kv_db_constants.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/plonky2/kv_db_constants.json -------------------------------------------------------------------------------- /beacon-light-client/solidity/.gitignore: -------------------------------------------------------------------------------- 1 | artifacts 2 | cache 3 | .yarn 4 | -------------------------------------------------------------------------------- /beacon-light-client/solidity/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/README.md -------------------------------------------------------------------------------- /beacon-light-client/solidity/contracts/Errors.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/contracts/Errors.sol -------------------------------------------------------------------------------- /beacon-light-client/solidity/contracts/balance_verifier/BalanceVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/contracts/balance_verifier/BalanceVerifier.sol -------------------------------------------------------------------------------- /beacon-light-client/solidity/contracts/balance_verifier/BalanceVerifierDiva.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/contracts/balance_verifier/BalanceVerifierDiva.sol -------------------------------------------------------------------------------- /beacon-light-client/solidity/contracts/balance_verifier/BalanceVerifierLido.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/contracts/balance_verifier/BalanceVerifierLido.sol -------------------------------------------------------------------------------- /beacon-light-client/solidity/contracts/balance_verifier/verifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/contracts/balance_verifier/verifier.sol -------------------------------------------------------------------------------- /beacon-light-client/solidity/contracts/bridge/src/interfaces/ILightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/contracts/bridge/src/interfaces/ILightClient.sol -------------------------------------------------------------------------------- /beacon-light-client/solidity/contracts/bridge/src/truth/eth/BeaconLightClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/contracts/bridge/src/truth/eth/BeaconLightClient.sol -------------------------------------------------------------------------------- /beacon-light-client/solidity/contracts/bridge/src/utils/Verifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/contracts/bridge/src/utils/Verifier.sol -------------------------------------------------------------------------------- /beacon-light-client/solidity/contracts/test/VerifierMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/contracts/test/VerifierMock.sol -------------------------------------------------------------------------------- /beacon-light-client/solidity/extract_proof_and_public_from_redis.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/extract_proof_and_public_from_redis.sh -------------------------------------------------------------------------------- /beacon-light-client/solidity/hardhat.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/hardhat.config.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/package.json -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/accounts.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/accounts.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/balance-verifier-publisher.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/balance-verifier-publisher.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/deploy-balance-verifier.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/deploy-balance-verifier.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/deploy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/deploy.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/hashi_abi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/hashi_abi.json -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/index.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/remove-repeat-job.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/remove-repeat-job.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/start-publishing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/start-publishing.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/utils/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/utils/index.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/tasks/verify-contracts.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tasks/verify-contracts.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/test/BalanceVerifier.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/test/BalanceVerifier.test.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/test/BeaconLightClientReadyProofs.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/test/BeaconLightClientReadyProofs.test.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/test/ValidatorAccumulator.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/test/ValidatorAccumulator.test.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/test/abis/deposit.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/test/abis/deposit.json -------------------------------------------------------------------------------- /beacon-light-client/solidity/test/utils/bls.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/test/utils/bls.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/test/utils/depositData.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/test/utils/depositData.json -------------------------------------------------------------------------------- /beacon-light-client/solidity/test/utils/format.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/test/utils/format.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/test/utils/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/test/utils/index.ts -------------------------------------------------------------------------------- /beacon-light-client/solidity/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/beacon-light-client/solidity/tsconfig.json -------------------------------------------------------------------------------- /casper-finality-proofs/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/Cargo.lock -------------------------------------------------------------------------------- /casper-finality-proofs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/Cargo.toml -------------------------------------------------------------------------------- /casper-finality-proofs/bin/compute_shuffled_index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/bin/compute_shuffled_index.rs -------------------------------------------------------------------------------- /casper-finality-proofs/bin/lib.rs: -------------------------------------------------------------------------------- 1 | pub mod casper_finality_proofs; 2 | -------------------------------------------------------------------------------- /casper-finality-proofs/bin/prove_finality.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/bin/prove_finality.rs -------------------------------------------------------------------------------- /casper-finality-proofs/bin/weigh_justification_and_finalization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/bin/weigh_justification_and_finalization.rs -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/.cargo/config.toml -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | corpus 3 | artifacts 4 | coverage 5 | -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/Cargo.lock -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/Cargo.toml -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/README.md -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/fuzz_targets/compute_shuffled_index_mainnet.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/fuzz_targets/compute_shuffled_index_mainnet.rs -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/fuzz_targets/compute_shuffled_index_minimal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/fuzz_targets/compute_shuffled_index_minimal.rs -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/fuzz_targets/utils/arbitrary_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/fuzz_targets/utils/arbitrary_types.rs -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/fuzz_targets/weigh_justification_and_finalization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/fuzz_targets/weigh_justification_and_finalization.rs -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/scripts/fuzz.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/scripts/fuzz.sh -------------------------------------------------------------------------------- /casper-finality-proofs/fuzz/seed/compute_shuffled_index.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/fuzz/seed/compute_shuffled_index.sh -------------------------------------------------------------------------------- /casper-finality-proofs/src/compute_shuffled_index/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/compute_shuffled_index/circuit.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/compute_shuffled_index/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/compute_shuffled_index/helpers.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/compute_shuffled_index/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/compute_shuffled_index/mod.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/constants.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/lib.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/prove_finality/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/prove_finality/circuit.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/prove_finality/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod circuit; -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/TestEngine.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/TestEngine.md -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/bin/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/bin/main.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/mod.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/types/compute_shuffled_index_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/types/compute_shuffled_index_data.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/types/mod.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/types/prove_finality_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/types/prove_finality_data.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/utils/data_generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/utils/data_generation.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/utils/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/utils/macros.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/utils/mod.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/utils/parsers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/utils/parsers/mod.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/utils/parsers/parse_file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/utils/parsers/parse_file.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/utils/parsers/ssz_decoder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/utils/parsers/ssz_decoder.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/utils/setup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/utils/setup.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/utils/test_engine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/utils/test_engine.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/wrappers/compute_shuffled_index/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/wrappers/compute_shuffled_index/mod.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/wrappers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/wrappers/mod.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/test_engine/wrappers/wrapper_prove_finality.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/test_engine/wrappers/wrapper_prove_finality.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/types.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/utils/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod plonky2x_extensions; -------------------------------------------------------------------------------- /casper-finality-proofs/src/utils/plonky2x_extensions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/utils/plonky2x_extensions.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/weigh_justification_and_finalization/checkpoint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/weigh_justification_and_finalization/checkpoint.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/weigh_justification_and_finalization/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/weigh_justification_and_finalization/circuit.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/weigh_justification_and_finalization/epoch_processing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/weigh_justification_and_finalization/epoch_processing.rs -------------------------------------------------------------------------------- /casper-finality-proofs/src/weigh_justification_and_finalization/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/casper-finality-proofs/src/weigh_justification_and_finalization/mod.rs -------------------------------------------------------------------------------- /conf.d/programs.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/conf.d/programs.conf -------------------------------------------------------------------------------- /contracts/cosmos/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/.gitignore -------------------------------------------------------------------------------- /contracts/cosmos/.node-data-dir/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /contracts/cosmos/light-client/.cargo/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/.cargo/config -------------------------------------------------------------------------------- /contracts/cosmos/light-client/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/.gitignore -------------------------------------------------------------------------------- /contracts/cosmos/light-client/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/Cargo.lock -------------------------------------------------------------------------------- /contracts/cosmos/light-client/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/Cargo.toml -------------------------------------------------------------------------------- /contracts/cosmos/light-client/README.md: -------------------------------------------------------------------------------- 1 | # Light Client smart contract for Cosmos 2 | -------------------------------------------------------------------------------- /contracts/cosmos/light-client/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/build.rs -------------------------------------------------------------------------------- /contracts/cosmos/light-client/lib/nim/light_client_cosmos_wrapper.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/lib/nim/light_client_cosmos_wrapper.nim -------------------------------------------------------------------------------- /contracts/cosmos/light-client/lib/nim/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/lib/nim/nim.cfg -------------------------------------------------------------------------------- /contracts/cosmos/light-client/lib/nim/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/lib/nim/panicoverride.nim -------------------------------------------------------------------------------- /contracts/cosmos/light-client/src/bin/schema.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/src/bin/schema.rs -------------------------------------------------------------------------------- /contracts/cosmos/light-client/src/contract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/src/contract.rs -------------------------------------------------------------------------------- /contracts/cosmos/light-client/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/src/error.rs -------------------------------------------------------------------------------- /contracts/cosmos/light-client/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/src/lib.rs -------------------------------------------------------------------------------- /contracts/cosmos/light-client/src/msg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/light-client/src/msg.rs -------------------------------------------------------------------------------- /contracts/cosmos/scripts/add_account.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/scripts/add_account.sh -------------------------------------------------------------------------------- /contracts/cosmos/scripts/build_deploy_malaga.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/scripts/build_deploy_malaga.sh -------------------------------------------------------------------------------- /contracts/cosmos/scripts/cosmos-publisher-script.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/scripts/cosmos-publisher-script.ts -------------------------------------------------------------------------------- /contracts/cosmos/scripts/run_cosmos_node.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/scripts/run_cosmos_node.sh -------------------------------------------------------------------------------- /contracts/cosmos/scripts/setup_wasmd.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/scripts/setup_wasmd.sh -------------------------------------------------------------------------------- /contracts/cosmos/scripts/start_node.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/scripts/start_node.sh -------------------------------------------------------------------------------- /contracts/cosmos/scripts/verifier-compile-contract-and-tools-script.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/scripts/verifier-compile-contract-and-tools-script.ts -------------------------------------------------------------------------------- /contracts/cosmos/scripts/verifier-make-update-script.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/scripts/verifier-make-update-script.ts -------------------------------------------------------------------------------- /contracts/cosmos/scripts/verifier-upload-instantiate-script.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/scripts/verifier-upload-instantiate-script.ts -------------------------------------------------------------------------------- /contracts/cosmos/verifier-cudos/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier-cudos/Cargo.lock -------------------------------------------------------------------------------- /contracts/cosmos/verifier-cudos/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier-cudos/Cargo.toml -------------------------------------------------------------------------------- /contracts/cosmos/verifier/artifacts/checksums.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/artifacts/checksums.txt -------------------------------------------------------------------------------- /contracts/cosmos/verifier/artifacts/checksums_intermediate.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/artifacts/checksums_intermediate.txt -------------------------------------------------------------------------------- /contracts/cosmos/verifier/libs/nim/common.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/libs/nim/common.nim -------------------------------------------------------------------------------- /contracts/cosmos/verifier/libs/nim/contract-interaction/config.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/libs/nim/contract-interaction/config.nim -------------------------------------------------------------------------------- /contracts/cosmos/verifier/libs/nim/contract-interaction/contract_interaction.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/libs/nim/contract-interaction/contract_interaction.nim -------------------------------------------------------------------------------- /contracts/cosmos/verifier/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/nim.cfg -------------------------------------------------------------------------------- /contracts/cosmos/verifier/src/bin/schema.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/src/bin/schema.rs -------------------------------------------------------------------------------- /contracts/cosmos/verifier/src/contract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/src/contract.rs -------------------------------------------------------------------------------- /contracts/cosmos/verifier/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/src/error.rs -------------------------------------------------------------------------------- /contracts/cosmos/verifier/src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/src/helpers.rs -------------------------------------------------------------------------------- /contracts/cosmos/verifier/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/src/lib.rs -------------------------------------------------------------------------------- /contracts/cosmos/verifier/src/msg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/src/msg.rs -------------------------------------------------------------------------------- /contracts/cosmos/verifier/typescript/verifier-compile-contract-and-tools.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/typescript/verifier-compile-contract-and-tools.ts -------------------------------------------------------------------------------- /contracts/cosmos/verifier/typescript/verifier-make-update.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/typescript/verifier-make-update.ts -------------------------------------------------------------------------------- /contracts/cosmos/verifier/typescript/verifier-upload-instantiate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/typescript/verifier-upload-instantiate.ts -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-bncurve/.cargo/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-bncurve/.cargo/config -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-bncurve/.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-bncurve/.editorconfig -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-bncurve/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-bncurve/.gitignore -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-bncurve/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-bncurve/Cargo.lock -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-bncurve/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-bncurve/Cargo.toml -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-bncurve/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-bncurve/build.rs -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-bncurve/lib/nim/verify/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-bncurve/lib/nim/verify/panicoverride.nim -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-bncurve/lib/nim/verify/verify.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-bncurve/lib/nim/verify/verify.nim -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-bncurve/lib/nim/verify/verify_helpers.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-bncurve/lib/nim/verify/verify_helpers.nim -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-constantine/.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-constantine/.editorconfig -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-constantine/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-constantine/.gitignore -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-constantine/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-constantine/Cargo.lock -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-constantine/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-constantine/Cargo.toml -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-constantine/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-constantine/build.rs -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-constantine/lib/nim/verify/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-constantine/lib/nim/verify/panicoverride.nim -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-constantine/lib/nim/verify/verify.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-constantine/lib/nim/verify/verify.nim -------------------------------------------------------------------------------- /contracts/cosmos/verifier/verifier-constantine/lib/nim/verify/verify_helpers.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/cosmos/verifier/verifier-constantine/lib/nim/verify/verify_helpers.nim -------------------------------------------------------------------------------- /contracts/eos/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/.gitignore -------------------------------------------------------------------------------- /contracts/eos/.node-data-dir/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /contracts/eos/.node-data-dir/genesis.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/.node-data-dir/genesis.json -------------------------------------------------------------------------------- /contracts/eos/.node-data-dir/logs/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /contracts/eos/hello/.gitignore: -------------------------------------------------------------------------------- 1 | !build/.gitkeep 2 | -------------------------------------------------------------------------------- /contracts/eos/hello/build/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /contracts/eos/hello/scripts/build-and-deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/hello/scripts/build-and-deploy.sh -------------------------------------------------------------------------------- /contracts/eos/hello/src/cpp/hello.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/hello/src/cpp/hello.cpp -------------------------------------------------------------------------------- /contracts/eos/hello/src/nim/hello.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/hello/src/nim/hello.nim -------------------------------------------------------------------------------- /contracts/eos/hello/src/nim/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/hello/src/nim/panicoverride.nim -------------------------------------------------------------------------------- /contracts/eos/scripts/convert_vk.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/scripts/convert_vk.ts -------------------------------------------------------------------------------- /contracts/eos/scripts/eos-publisher-script.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/scripts/eos-publisher-script.ts -------------------------------------------------------------------------------- /contracts/eos/scripts/run_eos_testnet.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/scripts/run_eos_testnet.sh -------------------------------------------------------------------------------- /contracts/eos/verifier-native/scripts/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier-native/scripts/build.sh -------------------------------------------------------------------------------- /contracts/eos/verifier-native/scripts/deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier-native/scripts/deploy.sh -------------------------------------------------------------------------------- /contracts/eos/verifier-native/scripts/init_update.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier-native/scripts/init_update.sh -------------------------------------------------------------------------------- /contracts/eos/verifier-native/src/cpp/include/groth16/groth16.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier-native/src/cpp/include/groth16/groth16.hpp -------------------------------------------------------------------------------- /contracts/eos/verifier-native/src/cpp/include/groth16/rapiduint256.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier-native/src/cpp/include/groth16/rapiduint256.hpp -------------------------------------------------------------------------------- /contracts/eos/verifier-native/src/cpp/verifier-native.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier-native/src/cpp/verifier-native.cpp -------------------------------------------------------------------------------- /contracts/eos/verifier/scripts/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier/scripts/build.sh -------------------------------------------------------------------------------- /contracts/eos/verifier/scripts/deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier/scripts/deploy.sh -------------------------------------------------------------------------------- /contracts/eos/verifier/scripts/init_update.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier/scripts/init_update.sh -------------------------------------------------------------------------------- /contracts/eos/verifier/src/cpp/verifier.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/contracts/eos/verifier/src/cpp/verifier.cpp -------------------------------------------------------------------------------- /dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/dependabot.yml -------------------------------------------------------------------------------- /docker-compose.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docker-compose.yaml -------------------------------------------------------------------------------- /docs/BEACON-REST-API.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/BEACON-REST-API.md -------------------------------------------------------------------------------- /docs/NIX.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/NIX.md -------------------------------------------------------------------------------- /docs/REQUIRED-PRIMITIVES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/REQUIRED-PRIMITIVES.md -------------------------------------------------------------------------------- /docs/ROADMAP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/ROADMAP.md -------------------------------------------------------------------------------- /docs/VERIFY-SPEED-COMPARISON.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/VERIFY-SPEED-COMPARISON.md -------------------------------------------------------------------------------- /docs/long-range-syncing/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/.gitignore -------------------------------------------------------------------------------- /docs/long-range-syncing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/README.md -------------------------------------------------------------------------------- /docs/long-range-syncing/assets/figure-corruption-one-third.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/assets/figure-corruption-one-third.png -------------------------------------------------------------------------------- /docs/long-range-syncing/assets/figure-corruption-two-thirds-2d.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/assets/figure-corruption-two-thirds-2d.png -------------------------------------------------------------------------------- /docs/long-range-syncing/assets/figure-corruption-two-thirds-3d.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/assets/figure-corruption-two-thirds-3d.png -------------------------------------------------------------------------------- /docs/long-range-syncing/assets/figure-exit-2d.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/assets/figure-exit-2d.png -------------------------------------------------------------------------------- /docs/long-range-syncing/assets/figure-exit-3d.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/assets/figure-exit-3d.png -------------------------------------------------------------------------------- /docs/long-range-syncing/assets/majority-safedays.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/assets/majority-safedays.png -------------------------------------------------------------------------------- /docs/long-range-syncing/assets/majority-safemal.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/assets/majority-safemal.png -------------------------------------------------------------------------------- /docs/long-range-syncing/assets/malicious-corruption.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/assets/malicious-corruption.png -------------------------------------------------------------------------------- /docs/long-range-syncing/assets/popcount-hist.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/assets/popcount-hist.png -------------------------------------------------------------------------------- /docs/long-range-syncing/notebooks/churn.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/notebooks/churn.ipynb -------------------------------------------------------------------------------- /docs/long-range-syncing/notebooks/corruption.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/notebooks/corruption.ipynb -------------------------------------------------------------------------------- /docs/long-range-syncing/notebooks/corruption_hypergeom.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/notebooks/corruption_hypergeom.ipynb -------------------------------------------------------------------------------- /docs/long-range-syncing/notebooks/majority.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/notebooks/majority.ipynb -------------------------------------------------------------------------------- /docs/long-range-syncing/notebooks/simulated_committees.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/notebooks/simulated_committees.ipynb -------------------------------------------------------------------------------- /docs/long-range-syncing/notebooks/sync_committee_bits.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/notebooks/sync_committee_bits.ipynb -------------------------------------------------------------------------------- /docs/long-range-syncing/scripts/validators_by_status.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/docs/long-range-syncing/scripts/validators_by_status.sh -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/flake.nix -------------------------------------------------------------------------------- /jest.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/jest.config.ts -------------------------------------------------------------------------------- /libs/nim/nim-groth16-verifier/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nim/nim-groth16-verifier/nim.cfg -------------------------------------------------------------------------------- /libs/nim/nim-groth16-verifier/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nim/nim-groth16-verifier/panicoverride.nim -------------------------------------------------------------------------------- /libs/nim/nim-groth16-verifier/verify.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nim/nim-groth16-verifier/verify.nim -------------------------------------------------------------------------------- /libs/nim/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nim/nim.cfg -------------------------------------------------------------------------------- /libs/nim/verify-utils/verify_given_proof.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nim/verify-utils/verify_given_proof.nim -------------------------------------------------------------------------------- /libs/nim/verify-utils/verify_given_proof_constantine.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nim/verify-utils/verify_given_proof_constantine.nim -------------------------------------------------------------------------------- /libs/nix/circuits_executables/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/circuits_executables/default.nix -------------------------------------------------------------------------------- /libs/nix/common-shell-pkgs.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/common-shell-pkgs.nix -------------------------------------------------------------------------------- /libs/nix/docker-images.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/docker-images.nix -------------------------------------------------------------------------------- /libs/nix/get_balances_input/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/get_balances_input/default.nix -------------------------------------------------------------------------------- /libs/nix/get_changed_validators/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/get_changed_validators/default.nix -------------------------------------------------------------------------------- /libs/nix/light-client/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/light-client/default.nix -------------------------------------------------------------------------------- /libs/nix/nim-wasm/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/nim-wasm/default.nix -------------------------------------------------------------------------------- /libs/nix/nim-wasm/include/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/nim-wasm/include/README.md -------------------------------------------------------------------------------- /libs/nix/nim-wasm/include/alloca.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/nim-wasm/include/alloca.h -------------------------------------------------------------------------------- /libs/nix/nim-wasm/include/limits.h: -------------------------------------------------------------------------------- 1 | #define CHAR_BIT 8 2 | -------------------------------------------------------------------------------- /libs/nix/nim-wasm/include/stdbool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/nim-wasm/include/stdbool.h -------------------------------------------------------------------------------- /libs/nix/nim-wasm/include/stddef.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/nim-wasm/include/stddef.h -------------------------------------------------------------------------------- /libs/nix/nim-wasm/include/stdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/nim-wasm/include/stdint.h -------------------------------------------------------------------------------- /libs/nix/nim-wasm/include/stdio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/nim-wasm/include/stdio.h -------------------------------------------------------------------------------- /libs/nix/nim-wasm/include/stdlib.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /libs/nix/nim-wasm/include/string.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /libs/nix/shell-with-light-client.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/nix/shell-with-light-client.nix -------------------------------------------------------------------------------- /libs/typescript/balance-verification-utils/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/balance-verification-utils/utils.ts -------------------------------------------------------------------------------- /libs/typescript/cosmos-utils/cosmos-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/cosmos-utils/cosmos-utils.ts -------------------------------------------------------------------------------- /libs/typescript/cosmos-utils/testnet-setup.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/cosmos-utils/testnet-setup.ts -------------------------------------------------------------------------------- /libs/typescript/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/package.json -------------------------------------------------------------------------------- /libs/typescript/relay-utils/proof-storage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/relay-utils/proof-storage.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/bls.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/bls.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/common-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/common-utils.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/compile-nim-to-wasm.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/compile-nim-to-wasm.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/data.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/data.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/evm.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/evm.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/hex-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/hex-utils.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/logger.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/logger.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/prometheus-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/prometheus-utils.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/ssz-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/ssz-utils.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/sszSpecTypes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/sszSpecTypes.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/wasm-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/wasm-utils.ts -------------------------------------------------------------------------------- /libs/typescript/ts-utils/zk-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/ts-utils/zk-utils.ts -------------------------------------------------------------------------------- /libs/typescript/verify-utils/verify-given-proof-ffjavascript.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/libs/typescript/verify-utils/verify-given-proof-ffjavascript.ts -------------------------------------------------------------------------------- /nix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/nix.sh -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/package.json -------------------------------------------------------------------------------- /process-compose.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/process-compose.yaml -------------------------------------------------------------------------------- /proof-of-concept/link-wasm-object-files/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/proof-of-concept/link-wasm-object-files/.gitignore -------------------------------------------------------------------------------- /proof-of-concept/link-wasm-object-files/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/proof-of-concept/link-wasm-object-files/README.md -------------------------------------------------------------------------------- /proof-of-concept/link-wasm-object-files/add.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/proof-of-concept/link-wasm-object-files/add.nim -------------------------------------------------------------------------------- /proof-of-concept/link-wasm-object-files/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/proof-of-concept/link-wasm-object-files/main.c -------------------------------------------------------------------------------- /proof-of-concept/link-wasm-object-files/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/proof-of-concept/link-wasm-object-files/panicoverride.nim -------------------------------------------------------------------------------- /proof-of-concept/link-wasm-object-files/wasm-build/wasm-ccache/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /proof-of-concept/link-wasm-object-files/wasm-build/wasm-nimcache/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /proof-of-concept/nim-to-wasm/.gitignore: -------------------------------------------------------------------------------- 1 | *.wasm 2 | -------------------------------------------------------------------------------- /proof-of-concept/nim-to-wasm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/proof-of-concept/nim-to-wasm/README.md -------------------------------------------------------------------------------- /proof-of-concept/nim-to-wasm/add.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/proof-of-concept/nim-to-wasm/add.nim -------------------------------------------------------------------------------- /proof-of-concept/nim-to-wasm/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/proof-of-concept/nim-to-wasm/index.html -------------------------------------------------------------------------------- /proof-of-concept/nim-to-wasm/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/proof-of-concept/nim-to-wasm/panicoverride.nim -------------------------------------------------------------------------------- /relay/.gitignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | -------------------------------------------------------------------------------- /relay/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/README.md -------------------------------------------------------------------------------- /relay/abstraction/beacon-api-interface.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/abstraction/beacon-api-interface.ts -------------------------------------------------------------------------------- /relay/abstraction/prover-interface.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/abstraction/prover-interface.ts -------------------------------------------------------------------------------- /relay/abstraction/redis-interface.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/abstraction/redis-interface.ts -------------------------------------------------------------------------------- /relay/abstraction/smart-contract-abstraction.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/abstraction/smart-contract-abstraction.ts -------------------------------------------------------------------------------- /relay/constants/constants.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/constants/constants.ts -------------------------------------------------------------------------------- /relay/constants/network_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/constants/network_config.json -------------------------------------------------------------------------------- /relay/fetch_light_client_updates.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/fetch_light_client_updates.js -------------------------------------------------------------------------------- /relay/implementations/beacon-api.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/implementations/beacon-api.ts -------------------------------------------------------------------------------- /relay/implementations/cosmos-contract.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/implementations/cosmos-contract.ts -------------------------------------------------------------------------------- /relay/implementations/eos-contract.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/implementations/eos-contract.ts -------------------------------------------------------------------------------- /relay/implementations/prover.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/implementations/prover.ts -------------------------------------------------------------------------------- /relay/implementations/publish_evm_transaction.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/implementations/publish_evm_transaction.ts -------------------------------------------------------------------------------- /relay/implementations/redis.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/implementations/redis.ts -------------------------------------------------------------------------------- /relay/implementations/solidity-contract.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/implementations/solidity-contract.ts -------------------------------------------------------------------------------- /relay/light_client: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | light_client "$@" 3 | -------------------------------------------------------------------------------- /relay/on_chain_publisher.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/on_chain_publisher.ts -------------------------------------------------------------------------------- /relay/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/package.json -------------------------------------------------------------------------------- /relay/process-compose-scripts/download-zk-and-dat-files.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/process-compose-scripts/download-zk-and-dat-files.sh -------------------------------------------------------------------------------- /relay/process-compose-scripts/start-prometheus.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/process-compose-scripts/start-prometheus.sh -------------------------------------------------------------------------------- /relay/process-compose-scripts/start-redis.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/process-compose-scripts/start-redis.sh -------------------------------------------------------------------------------- /relay/prometheus.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/prometheus.yml -------------------------------------------------------------------------------- /relay/redis_work_queue.ts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /relay/relayer-diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/relayer-diagram.png -------------------------------------------------------------------------------- /relay/relayer_logger.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/relayer_logger.ts -------------------------------------------------------------------------------- /relay/save_proof_inputs_from_redis.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/save_proof_inputs_from_redis.ts -------------------------------------------------------------------------------- /relay/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/tsconfig.json -------------------------------------------------------------------------------- /relay/types/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/types/types.ts -------------------------------------------------------------------------------- /relay/utils/converters.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/utils/converters.ts -------------------------------------------------------------------------------- /relay/utils/discord_monitor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/utils/discord_monitor.ts -------------------------------------------------------------------------------- /relay/utils/get_current_network_config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/utils/get_current_network_config.ts -------------------------------------------------------------------------------- /relay/utils/orchestrator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/utils/orchestrator.ts -------------------------------------------------------------------------------- /relay/utils/smart_contract_utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/utils/smart_contract_utils.ts -------------------------------------------------------------------------------- /relay/workers/cleaner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/workers/cleaner.ts -------------------------------------------------------------------------------- /relay/workers/poll-updates/do_update.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/workers/poll-updates/do_update.ts -------------------------------------------------------------------------------- /relay/workers/poll-updates/get_light_client_input_from_to.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/workers/poll-updates/get_light_client_input_from_to.ts -------------------------------------------------------------------------------- /relay/workers/poll-updates/get_ligth_client_input.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/workers/poll-updates/get_ligth_client_input.ts -------------------------------------------------------------------------------- /relay/workers/poll-updates/poll-updates-worker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/workers/poll-updates/poll-updates-worker.ts -------------------------------------------------------------------------------- /relay/workers/prover/gen_proof.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/workers/prover/gen_proof.ts -------------------------------------------------------------------------------- /relay/workers/prover/prover-worker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/relay/workers/prover/prover-worker.ts -------------------------------------------------------------------------------- /scripts/build-circom-compress-circuits.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/scripts/build-circom-compress-circuits.sh -------------------------------------------------------------------------------- /scripts/build-nix-shell.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/scripts/build-nix-shell.sh -------------------------------------------------------------------------------- /scripts/check-user-env-file-contents.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/scripts/check-user-env-file-contents.sh -------------------------------------------------------------------------------- /scripts/commit_flake_update.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/scripts/commit_flake_update.bash -------------------------------------------------------------------------------- /scripts/config_solidity_import_mapping.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/scripts/config_solidity_import_mapping.sh -------------------------------------------------------------------------------- /scripts/get-host-system: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/scripts/get-host-system -------------------------------------------------------------------------------- /scripts/measurements/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/scripts/measurements/README.md -------------------------------------------------------------------------------- /scripts/measurements/nim.cfg: -------------------------------------------------------------------------------- 1 | path="../../vendor/" 2 | -------------------------------------------------------------------------------- /scripts/measurements/sizeCompare.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/scripts/measurements/sizeCompare.nim -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/shell.nix -------------------------------------------------------------------------------- /supervisord.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/supervisord.conf -------------------------------------------------------------------------------- /tests/cosmosLightClient/gasLightClient.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/cosmosLightClient/gasLightClient.json -------------------------------------------------------------------------------- /tests/cosmosLightClient/gasVerifier.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/cosmosLightClient/gasVerifier.json -------------------------------------------------------------------------------- /tests/cosmosLightClient/gasVerifierConstantine.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/cosmosLightClient/gasVerifierConstantine.json -------------------------------------------------------------------------------- /tests/cosmosLightClient/test-constantine-verifier-in-cosmos.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/cosmosLightClient/test-constantine-verifier-in-cosmos.ts -------------------------------------------------------------------------------- /tests/cosmosLightClient/test-nim-light-client-in-cosmos.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/cosmosLightClient/test-nim-light-client-in-cosmos.ts -------------------------------------------------------------------------------- /tests/cosmosLightClient/test-verifier-in-cosmos-relay.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/cosmosLightClient/test-verifier-in-cosmos-relay.ts -------------------------------------------------------------------------------- /tests/cosmosLightClient/test-verifier-in-cosmos.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/cosmosLightClient/test-verifier-in-cosmos.ts -------------------------------------------------------------------------------- /tests/eosLightClient/test-verifier-in-EOS-relay.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/eosLightClient/test-verifier-in-EOS-relay.ts -------------------------------------------------------------------------------- /tests/eosLightClient/test-verifier-in-EOS.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/eosLightClient/test-verifier-in-EOS.ts -------------------------------------------------------------------------------- /tests/helpers/helpers.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/helpers/helpers.ts -------------------------------------------------------------------------------- /tests/helpers/verifier-parse-data-tool/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/helpers/verifier-parse-data-tool/nim.cfg -------------------------------------------------------------------------------- /tests/helpers/verifier-parse-data-tool/verifier-bncurve/config.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/helpers/verifier-parse-data-tool/verifier-bncurve/config.nim -------------------------------------------------------------------------------- /tests/helpers/verifier-parse-data-tool/verifier-bncurve/helpers.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/helpers/verifier-parse-data-tool/verifier-bncurve/helpers.nim -------------------------------------------------------------------------------- /tests/helpers/verifier-parse-data-tool/verifier-bncurve/verifier_parse_data.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/helpers/verifier-parse-data-tool/verifier-bncurve/verifier_parse_data.nim -------------------------------------------------------------------------------- /tests/helpers/verifier-parse-data-tool/verifier-constantine/config.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/helpers/verifier-parse-data-tool/verifier-constantine/config.nim -------------------------------------------------------------------------------- /tests/helpers/verifier-parse-data-tool/verifier-constantine/helpers.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/helpers/verifier-parse-data-tool/verifier-constantine/helpers.nim -------------------------------------------------------------------------------- /tests/helpers/verifier-parse-data-tool/verifier-constantine/verifier_parse_data.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/helpers/verifier-parse-data-tool/verifier-constantine/verifier_parse_data.nim -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/.gitignore: -------------------------------------------------------------------------------- 1 | verifier_test 2 | -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/go-verifier-data-files/circuit1k/proof1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nim-groth16-verifier/go-verifier-data-files/circuit1k/proof1.json -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/go-verifier-data-files/circuit1k/public1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nim-groth16-verifier/go-verifier-data-files/circuit1k/public1.json -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/go-verifier-data-files/circuit1k/verification_key.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nim-groth16-verifier/go-verifier-data-files/circuit1k/verification_key.json -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/go-verifier-data-files/circuit5k/proof5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nim-groth16-verifier/go-verifier-data-files/circuit5k/proof5.json -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/go-verifier-data-files/circuit5k/public5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nim-groth16-verifier/go-verifier-data-files/circuit5k/public5.json -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/go-verifier-data-files/circuit5k/verification_key.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nim-groth16-verifier/go-verifier-data-files/circuit5k/verification_key.json -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nim-groth16-verifier/nim.cfg -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nim-groth16-verifier/panicoverride.nim -------------------------------------------------------------------------------- /tests/nim-groth16-verifier/verifier_test.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nim-groth16-verifier/verifier_test.nim -------------------------------------------------------------------------------- /tests/nimLightClient/assertLCTest.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/assertLCTest.nim -------------------------------------------------------------------------------- /tests/nimLightClient/beaconBlockHeader.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/beaconBlockHeader.nim -------------------------------------------------------------------------------- /tests/nimLightClient/eth2Digest.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/eth2Digest.nim -------------------------------------------------------------------------------- /tests/nimLightClient/helpers/helpers.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/helpers/helpers.nim -------------------------------------------------------------------------------- /tests/nimLightClient/initializeLightClientStore.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/initializeLightClientStore.nim -------------------------------------------------------------------------------- /tests/nimLightClient/light_client.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/light_client.nim -------------------------------------------------------------------------------- /tests/nimLightClient/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/nim.cfg -------------------------------------------------------------------------------- /tests/nimLightClient/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/panicoverride.nim -------------------------------------------------------------------------------- /tests/nimLightClient/processAllLightClientUpdates.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/processAllLightClientUpdates.nim -------------------------------------------------------------------------------- /tests/nimLightClient/processSingleLightClientUpdate.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/processSingleLightClientUpdate.nim -------------------------------------------------------------------------------- /tests/nimLightClient/validateLightClientUpdate.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimLightClient/validateLightClientUpdate.nim -------------------------------------------------------------------------------- /tests/nimToWasm/add.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimToWasm/add.nim -------------------------------------------------------------------------------- /tests/nimToWasm/arrays.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimToWasm/arrays.nim -------------------------------------------------------------------------------- /tests/nimToWasm/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimToWasm/nim.cfg -------------------------------------------------------------------------------- /tests/nimToWasm/panicoverride.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimToWasm/panicoverride.nim -------------------------------------------------------------------------------- /tests/nimToWasm/seq_append.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/nimToWasm/seq_append.nim -------------------------------------------------------------------------------- /tests/test-nim-light-client.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/test-nim-light-client.ts -------------------------------------------------------------------------------- /tests/test-nim-to-wasm.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/test-nim-to-wasm.ts -------------------------------------------------------------------------------- /tests/verify_proof/nim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/verify_proof/nim.cfg -------------------------------------------------------------------------------- /tests/verify_proof/verify_given_proof_test.nim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/verify_proof/verify_given_proof_test.nim -------------------------------------------------------------------------------- /tests/verify_proof/verify_given_proof_test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tests/verify_proof/verify_given_proof_test.ts -------------------------------------------------------------------------------- /tsconfig.hardhat.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tsconfig.hardhat.json -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/tsconfig.json -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/README.md -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/docker/Dockerfile -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/docker/Dockerfile_zcli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/docker/Dockerfile_zcli -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/docker/process_ssz.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/docker/process_ssz.sh -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/docs/compute_shuffled_index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/docs/compute_shuffled_index.md -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/docs/verify_attestation_data_and_proof_finality.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/docs/verify_attestation_data_and_proof_finality.md -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/docs/weigh_justification_and_finalization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/docs/weigh_justification_and_finalization.md -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/scripts/compile_and_run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/scripts/compile_and_run_tests.sh -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/scripts/docker_run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/scripts/docker_run.sh -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/scripts/format_code.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/scripts/format_code.sh -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/.clang-format -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/CMakeLists.txt -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuit_input_generators/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuit_input_generators/CMakeLists.txt -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuit_utils/base_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuit_utils/base_types.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuit_utils/circuit_byte_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuit_utils/circuit_byte_utils.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuit_utils/constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuit_utils/constants.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuit_utils/ssz_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuit_utils/ssz_utils.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuit_utils/static_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuit_utils/static_vector.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuits/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuits/CMakeLists.txt -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuits/compute_shuffled_index.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuits/compute_shuffled_index.cpp -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuits/compute_shuffled_index.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuits/compute_shuffled_index.json -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuits/verify_attestation_data.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuits/verify_attestation_data.cpp -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuits_impl/compute_shuffled_index_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuits_impl/compute_shuffled_index_impl.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/circuits_impl/verify_attestation_data_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/circuits_impl/verify_attestation_data_impl.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/json/json.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/json/json.hpp -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/tests/CMakeLists.txt -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/utils/attestation_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/utils/attestation_utils.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/utils/byte_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/utils/byte_utils.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/utils/file_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/utils/file_utils.h -------------------------------------------------------------------------------- /vendor/zkllvm-metacraft-circuits/src/utils/picosha2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/vendor/zkllvm-metacraft-circuits/src/utils/picosha2.h -------------------------------------------------------------------------------- /yarn-project.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/yarn-project.nix -------------------------------------------------------------------------------- /yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metacraft-labs/DendrETH/HEAD/yarn.lock --------------------------------------------------------------------------------