mirror of
https://github.com/sigp/lighthouse.git
synced 2026-03-15 02:42:38 +00:00
* 1D PeerDAS prototype: Data format and Distribution (#5050) * Build and publish column sidecars. Add stubs for gossip. * Add blob column subnets * Add `BlobColumnSubnetId` and initial compute subnet logic. * Subscribe to blob column subnets. * Introduce `BLOB_COLUMN_SUBNET_COUNT` based on DAS configuration parameter changes. * Fix column sidecar type to use `VariableList` for data. * Fix lint errors. * Update types and naming to latest consensus-spec #3574. * Fix test and some cleanups. * Merge branch 'unstable' into das * Merge branch 'unstable' into das * Merge branch 'unstable' into das # Conflicts: # consensus/types/src/chain_spec.rs * Add `DataColumnSidecarsByRoot ` req/resp protocol (#5196) * Add stub for `DataColumnsByRoot` * Add basic implementation of serving RPC data column from DA checker. * Store data columns in early attester cache and blobs db. * Apply suggestions from code review Co-authored-by: Eitan Seri-Levi <eserilev@gmail.com> Co-authored-by: Jacob Kaufmann <jacobkaufmann18@gmail.com> * Fix build. * Store `DataColumnInfo` in database and various cleanups. * Update `DataColumnSidecar` ssz max size and remove panic code. --------- Co-authored-by: Eitan Seri-Levi <eserilev@gmail.com> Co-authored-by: Jacob Kaufmann <jacobkaufmann18@gmail.com> * feat: add DAS KZG in data col construction (#5210) * feat: add DAS KZG in data col construction * refactor data col sidecar construction * refactor: add data cols to GossipVerifiedBlockContents * Disable windows tests for `das` branch. (c-kzg doesn't build on windows) * Formatting and lint changes only. * refactor: remove iters in construction of data cols * Update vec capacity and error handling. * Add `data_column_sidecar_computation_seconds` metric. --------- Co-authored-by: Jimmy Chen <jchen.tc@gmail.com> * Merge branch 'unstable' into das # Conflicts: # .github/workflows/test-suite.yml # beacon_node/lighthouse_network/src/types/topics.rs * fix: update data col subnet count from 64 to 32 (#5413) * feat: add peerdas custody field to ENR (#5409) * feat: add peerdas custody field to ENR * add hash prefix step in subnet computation * refactor test and fix possible u64 overflow * default to min custody value if not present in ENR * Merge branch 'unstable' into das * Merge branch 'unstable' into das-unstable-merge-0415 # Conflicts: # Cargo.lock # beacon_node/beacon_chain/src/data_availability_checker.rs # beacon_node/beacon_chain/src/data_availability_checker/availability_view.rs # beacon_node/beacon_chain/src/data_availability_checker/overflow_lru_cache.rs # beacon_node/beacon_chain/src/data_availability_checker/processing_cache.rs # beacon_node/lighthouse_network/src/rpc/methods.rs # beacon_node/network/src/network_beacon_processor/mod.rs # beacon_node/network/src/sync/block_lookups/tests.rs # crypto/kzg/Cargo.toml * Merge remote-tracking branch 'sigp/unstable' into das * Merge remote-tracking branch 'sigp/unstable' into das * Fix merge conflicts. * Send custody data column to `DataAvailabilityChecker` for determining block importability (#5570) * Only import custody data columns after publishing a block. * Add `subscribe-all-data-column-subnets` and pass custody column count to `availability_cache`. * Add custody requirement checks to `availability_cache`. * Fix config not being passed to DAChecker and add more logging. * Introduce `peer_das_epoch` and make blobs and columns mutually exclusive. * Add DA filter for PeerDAS. * Fix data availability check and use test_logger in tests. * Fix subscribe to all data column subnets not working correctly. * Fix tests. * Only publish column sidecars if PeerDAS is activated. Add `PEER_DAS_EPOCH` chain spec serialization. * Remove unused data column index in `OverflowKey`. * Fix column sidecars incorrectly produced when there are no blobs. * Re-instate index to `OverflowKey::DataColumn` and downgrade noisy debug log to `trace`. * DAS sampling on sync (#5616) * Data availability sampling on sync * Address @jimmygchen review * Trigger sampling * Address some review comments and only send `SamplingBlock` sync message after PEER_DAS_EPOCH. --------- Co-authored-by: Jimmy Chen <jchen.tc@gmail.com> * Merge branch 'unstable' into das # Conflicts: # Cargo.lock # Cargo.toml # beacon_node/beacon_chain/src/block_verification.rs # beacon_node/http_api/src/publish_blocks.rs # beacon_node/lighthouse_network/src/rpc/codec/ssz_snappy.rs # beacon_node/lighthouse_network/src/rpc/protocol.rs # beacon_node/lighthouse_network/src/types/pubsub.rs # beacon_node/network/src/sync/block_lookups/single_block_lookup.rs # beacon_node/store/src/hot_cold_store.rs # consensus/types/src/beacon_state.rs # consensus/types/src/chain_spec.rs # consensus/types/src/eth_spec.rs * Merge branch 'unstable' into das * Re-process early sampling requests (#5569) * Re-process early sampling requests # Conflicts: # beacon_node/beacon_processor/src/work_reprocessing_queue.rs # beacon_node/lighthouse_network/src/rpc/methods.rs # beacon_node/network/src/network_beacon_processor/rpc_methods.rs * Update beacon_node/beacon_processor/src/work_reprocessing_queue.rs Co-authored-by: Jimmy Chen <jchen.tc@gmail.com> * Add missing var * Beta compiler fixes and small typo fixes. * Remove duplicate method. --------- Co-authored-by: Jimmy Chen <jchen.tc@gmail.com> * Merge remote-tracking branch 'sigp/unstable' into das * Fix merge conflict. * Add data columns by root to currently supported protocol list (#5678) * Add data columns by root to currently supported protocol list. * Add missing data column by roots handling. * Merge branch 'unstable' into das # Conflicts: # Cargo.lock # Cargo.toml # beacon_node/network/src/sync/block_lookups/tests.rs # beacon_node/network/src/sync/manager.rs * Fix simulator tests on `das` branch (#5731) * Bump genesis delay in sim tests as KZG setup takes longer for DAS. * Fix incorrect YAML spacing. * DataColumnByRange boilerplate (#5353) * add boilerplate * fmt * PeerDAS custody lookup sync (#5684) * Implement custody sync * Lint * Fix tests * Fix rebase issue * Add data column kzg verification and update `c-kzg`. (#5701) * Add data column kzg verification and update `c-kzg`. * Fix incorrect `Cell` size. * Add kzg verification on rpc blocks. * Add kzg verification on rpc data columns. * Rename `PEER_DAS_EPOCH` to `EIP7594_FORK_EPOCH` for client interop. (#5750) * Fetch custody columns in range sync (#5747) * Fetch custody columns in range sync * Clean up todos * Remove `BlobSidecar` construction and publish after PeerDAS activated (#5759) * Avoid building and publishing blob sidecars after PeerDAS. * Ignore gossip blobs with a slot greater than peer das activation epoch. * Only attempt to verify blob count and import blobs before PeerDAS. * #5684 review comments (#5748) * #5684 review comments. * Doc and message update only. * Fix incorrect condition when constructing `RpcBlock` with `DataColumn`s * Make sampling tests deterministic (#5775) * PeerDAS spec tests (#5772) * Add get_custody_columns spec tests. * Add kzg merkle proof spec tests. * Add SSZ spec tests. * Add remaining KZG tests * Load KZG only once per process, exclude electra tests and add missing SSZ tests. * Fix lint and missing changes. * Ignore macOS generated file. * Merge remote branch 'sigp/unstable' into das * Merge remote tracking branch 'origin/unstable' into das * Implement unconditional reconstruction for supernodes (#5781) * Implement unconditional reconstruction for supernodes * Move code into KzgVerifiedCustodyDataColumn * Remove expect * Add test * Thanks justin * Add withhold attack mode for interop (#5788) * Add withhold attack mode * Update readme * Drop added readmes * Undo styling changes * Add column gossip verification and handle unknown parent block (#5783) * Add column gossip verification and handle missing parent for columns. * Review PR * Fix rebase issue * more lint issues :) --------- Co-authored-by: dapplion <35266934+dapplion@users.noreply.github.com> * Trigger sampling on sync events (#5776) * Trigger sampling on sync events * Update beacon_chain.rs * Fix tests * Fix tests * PeerDAS parameter changes for devnet-0 (#5779) * Update PeerDAS parameters to latest values. * Lint fix * Fix lint. * Update hardcoded subnet count to 64 (#5791) * Fix incorrect columns per subnet and config cleanup (#5792) * Tidy up PeerDAS preset and config values. * Fix broken config * Fix DAS branch CI (#5793) * Fix invalid syntax. * Update cli doc. Ignore get_custody_columns test temporarily. * Fix failing test and add verify inclusion test. * Undo accidentally removed code. * Only attempt reconstruct columns once. (#5794) * Re-enable precompute table for peerdas kzg (#5795) * Merge branch 'unstable' into das * Update subscription filter. (#5797) * Remove penalty for duplicate columns (expected due to reconstruction) (#5798) * Revert DAS config for interop testing. Optimise get_custody_columns function. (#5799) * Don't perform reconstruction for proposer node as it already has all the columns. (#5806) * Multithread compute_cells_and_proofs (#5805) * Multi-thread reconstruct data columns * Multi-thread path for block production * Merge branch 'unstable' into das # Conflicts: # .github/workflows/test-suite.yml # beacon_node/network/src/sync/block_lookups/mod.rs # beacon_node/network/src/sync/block_lookups/single_block_lookup.rs # beacon_node/network/src/sync/network_context.rs * Fix CI errors. * Move PeerDAS type-level config to configurable `ChainSpec` (#5828) * Move PeerDAS type level config to `ChainSpec`. * Fix tests * Misc custody lookup improvements (#5821) * Improve custody requests * Type DataColumnsByRootRequestId * Prioritize peers and load balance * Update tests * Address PR review * Merge branch 'unstable' into das * Rename deploy_block in network config (`das` branch) (#5852) * Rename deploy_block.txt to deposit_contract_block.txt * fmt --------- Co-authored-by: Pawan Dhananjay <pawandhananjay@gmail.com> * Merge branch 'unstable' into das * Fix CI and merge issues. * Merge branch 'unstable' into das # Conflicts: # beacon_node/beacon_chain/src/data_availability_checker/overflow_lru_cache.rs # lcli/src/main.rs * Store data columns individually in store and caches (#5890) * Store data columns individually in store and caches * Implement data column pruning * Merge branch 'unstable' into das # Conflicts: # Cargo.lock * Update reconstruction benches to newer criterion version. (#5949) * Merge branch 'unstable' into das # Conflicts: # .github/workflows/test-suite.yml * chore: add `recover_cells_and_compute_proofs` method (#5938) * chore: add recover_cells_and_compute_proofs method * Introduce type alias `CellsAndKzgProofs` to address type complexity. --------- Co-authored-by: Jimmy Chen <jchen.tc@gmail.com> * Update `csc` format in ENR and spec tests for devnet-1 (#5966) * Update `csc` format in ENR. * Add spec tests for `recover_cells_and_kzg_proofs`. * Add tests for ENR. * Fix failing tests. * Add protection against invalid csc value in ENR. * Fix lint * Fix csc encoding and decoding (#5997) * Fix data column rpc request not being sent due to incorrect limits set. (#6000) * Fix incorrect inbound request count causing rate limiting. (#6025) * Merge branch 'stable' into das # Conflicts: # beacon_node/network/src/sync/block_lookups/tests.rs # beacon_node/network/src/sync/block_sidecar_coupling.rs # beacon_node/network/src/sync/manager.rs # beacon_node/network/src/sync/network_context.rs # beacon_node/network/src/sync/network_context/requests.rs * Merge remote-tracking branch 'unstable' into das * Add kurtosis config for DAS testing (#5968) * Add kurtosis config for DAS testing. * Fix invalid yaml file * Update network parameter files. * chore: add rust PeerdasKZG crypto library for peerdas functionality and rollback c-kzg dependency to 4844 version (#5941) * chore: add recover_cells_and_compute_proofs method * chore: add rust peerdas crypto library * chore: integrate peerdaskzg rust library into kzg crate * chore(multi): - update `ssz_cell_to_crypto_cell` - update conversion from the crypto cell type to a Vec<u8>. Since the Rust library defines them as references to an array, the conversion is simply `to_vec` * chore(multi): - update rest of code to handle the new crypto `Cell` type - update test case code to no longer use the Box type * chore: cleanup of superfluous conversions * chore: revert c-kzg dependency back to v1 * chore: move dependency into correct order * chore: update rust dependency - This version includes a new method `PeerDasContext::with_num_threads` * chore: remove Default initialization of PeerDasContext and explicitly set the parameters in `new_from_trusted_setup` * chore: cleanup exports * chore: commit updated cargo.lock * Update Cargo.toml Co-authored-by: Jimmy Chen <jchen.tc@gmail.com> * chore: rename dependency * chore: update peerdas lib - sets the blst version to 0.3 so that it matches whatever lighthouse is using. Although 0.3.12 is latest, lighthouse is pinned to 0.3.3 * chore: fix clippy lifetime - Rust doesn't allow you to elide the lifetime on type aliases * chore: cargo clippy fix * chore: cargo fmt * chore: update lib to add redundant checks (these will be removed in consensus-specs PR 3819) * chore: update dependency to ignore proofs * chore: update peerdas lib to latest * update lib * chore: remove empty proof parameter --------- Co-authored-by: Jimmy Chen <jchen.tc@gmail.com> * Update PeerDAS interop testnet config (#6069) * Update interop testnet config. * Fix typo and remove target peers * Avoid retrying same sampling peer that previously failed. (#6084) * Various fixes to custody range sync (#6004) * Only start requesting batches when there are good peers across all custody columns to avoid spaming block requests. * Add custody peer check before mutating `BatchInfo` to avoid inconsistent state. * Add check to cover a case where batch is not processed while waiting for custody peers to become available. * Fix lint and logic error * Fix `good_peers_on_subnet` always returning false for `DataColumnSubnet`. * Add test for `get_custody_peers_for_column` * Revert epoch parameter refactor. * Fall back to default custody requiremnt if peer ENR is not present. * Add metrics and update code comment. * Add more debug logs. * Use subscribed peers on subnet before MetaDataV3 is implemented. Remove peer_id matching when injecting error because multiple peers are used for range requests. Use randomized custodial peer to avoid repeatedly sending requests to failing peers. Batch by range request where possible. * Remove unused code and update docs. * Add comment * chore: update peerdas-kzg library (#6118) * chore: update peerDAS lib * chore: update library * chore: update library to version that include "init context" benchmarks and optional validation checks * chore: (can remove) -- Add benchmarks for init context * Prevent continuous searchers for low-peer networks (#6162) * Merge branch 'unstable' into das * Fix merge conflicts * Add cli flag to enable sampling and disable by default. (#6209) * chore: Use reference to an array representing a blob instead of an owned KzgBlob (#6179) * add KzgBlobRef type * modify code to use KzgBlobRef * clippy * Remove Deneb blob related changes to maintain compatibility with `c-kzg-4844`. --------- Co-authored-by: Jimmy Chen <jchen.tc@gmail.com> * Store computed custody subnets in PeerDB and fix custody lookup test (#6218) * Fix failing custody lookup tests. * Store custody subnets in PeerDB, fix custody lookup test and refactor some methods. * Merge branch 'unstable' into das # Conflicts: # beacon_node/beacon_chain/src/beacon_chain.rs # beacon_node/beacon_chain/src/block_verification_types.rs # beacon_node/beacon_chain/src/builder.rs # beacon_node/beacon_chain/src/data_availability_checker.rs # beacon_node/beacon_chain/src/data_availability_checker/overflow_lru_cache.rs # beacon_node/beacon_chain/src/data_column_verification.rs # beacon_node/beacon_chain/src/early_attester_cache.rs # beacon_node/beacon_chain/src/historical_blocks.rs # beacon_node/beacon_chain/tests/store_tests.rs # beacon_node/lighthouse_network/src/discovery/enr.rs # beacon_node/network/src/service.rs # beacon_node/src/cli.rs # beacon_node/store/src/hot_cold_store.rs # beacon_node/store/src/lib.rs # lcli/src/generate_bootnode_enr.rs * Fix CI failures after merge. * Batch sampling requests by peer (#6256) * Batch sampling requests by peer * Fix clippy errors * Fix tests * Add column_index to error message for ease of tracing * Remove outdated comment * Fix range sync never evaluating request as finished, causing it to get stuck. (#6276) * Merge branch 'unstable' into das-0821-merge # Conflicts: # Cargo.lock # Cargo.toml # beacon_node/beacon_chain/src/beacon_chain.rs # beacon_node/beacon_chain/src/data_availability_checker.rs # beacon_node/beacon_chain/src/data_availability_checker/overflow_lru_cache.rs # beacon_node/beacon_chain/src/data_column_verification.rs # beacon_node/beacon_chain/src/kzg_utils.rs # beacon_node/beacon_chain/src/metrics.rs # beacon_node/beacon_processor/src/lib.rs # beacon_node/lighthouse_network/src/rpc/codec/ssz_snappy.rs # beacon_node/lighthouse_network/src/rpc/config.rs # beacon_node/lighthouse_network/src/rpc/methods.rs # beacon_node/lighthouse_network/src/rpc/outbound.rs # beacon_node/lighthouse_network/src/rpc/rate_limiter.rs # beacon_node/lighthouse_network/src/service/api_types.rs # beacon_node/lighthouse_network/src/types/globals.rs # beacon_node/network/src/network_beacon_processor/mod.rs # beacon_node/network/src/network_beacon_processor/rpc_methods.rs # beacon_node/network/src/network_beacon_processor/sync_methods.rs # beacon_node/network/src/sync/block_lookups/common.rs # beacon_node/network/src/sync/block_lookups/mod.rs # beacon_node/network/src/sync/block_lookups/single_block_lookup.rs # beacon_node/network/src/sync/block_lookups/tests.rs # beacon_node/network/src/sync/manager.rs # beacon_node/network/src/sync/network_context.rs # consensus/types/src/data_column_sidecar.rs # crypto/kzg/Cargo.toml # crypto/kzg/benches/benchmark.rs # crypto/kzg/src/lib.rs * Fix custody tests and load PeerDAS KZG instead. * Fix ef tests and bench compilation. * Fix failing sampling test. * Merge pull request #6287 from jimmygchen/das-0821-merge Merge `unstable` into `das` 20240821 * Remove get_block_import_status * Merge branch 'unstable' into das * Re-enable Windows release tests. * Address some review comments. * Address more review comments and cleanups. * Comment out peer DAS KZG EF tests for now * Address more review comments and fix build. * Merge branch 'das' of github.com:sigp/lighthouse into das * Unignore Electra tests * Fix metric name * Address some of Pawan's review comments * Merge remote-tracking branch 'origin/unstable' into das * Update PeerDAS network parameters for peerdas-devnet-2 (#6290) * update subnet count & custody req * das network params * update ef tests --------- Co-authored-by: Jimmy Chen <jchen.tc@gmail.com>
1059 lines
26 KiB
Rust
1059 lines
26 KiB
Rust
use crate::cases::{self, Case, Cases, EpochTransition, LoadCase, Operation};
|
|
use crate::type_name::TypeName;
|
|
use crate::{type_name, FeatureName};
|
|
use derivative::Derivative;
|
|
use std::fs::{self, DirEntry};
|
|
use std::marker::PhantomData;
|
|
use std::path::PathBuf;
|
|
use types::{BeaconState, EthSpec, ForkName};
|
|
|
|
const EIP7594_FORK: ForkName = ForkName::Deneb;
|
|
const EIP7594_TESTS: [&str; 4] = ["ssz_static", "merkle_proof", "networking", "kzg"];
|
|
|
|
pub trait Handler {
|
|
type Case: Case + LoadCase;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str;
|
|
|
|
fn handler_name(&self) -> String;
|
|
|
|
// Add forks here to exclude them from EF spec testing. Helpful for adding future or
|
|
// unspecified forks.
|
|
fn disabled_forks(&self) -> Vec<ForkName> {
|
|
vec![]
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, fork_name: ForkName) -> bool {
|
|
Self::Case::is_enabled_for_fork(fork_name)
|
|
}
|
|
|
|
fn is_enabled_for_feature(&self, feature_name: FeatureName) -> bool {
|
|
Self::Case::is_enabled_for_feature(feature_name)
|
|
}
|
|
|
|
fn run(&self) {
|
|
for fork_name in ForkName::list_all() {
|
|
if !self.disabled_forks().contains(&fork_name) && self.is_enabled_for_fork(fork_name) {
|
|
self.run_for_fork(fork_name);
|
|
|
|
if fork_name == EIP7594_FORK
|
|
&& EIP7594_TESTS.contains(&Self::runner_name())
|
|
&& self.is_enabled_for_feature(FeatureName::Eip7594)
|
|
{
|
|
self.run_for_feature(EIP7594_FORK, FeatureName::Eip7594);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
fn use_rayon() -> bool {
|
|
true
|
|
}
|
|
|
|
fn run_for_fork(&self, fork_name: ForkName) {
|
|
let fork_name_str = fork_name.to_string();
|
|
|
|
let handler_path = PathBuf::from(env!("CARGO_MANIFEST_DIR"))
|
|
.join("consensus-spec-tests")
|
|
.join("tests")
|
|
.join(Self::config_name())
|
|
.join(&fork_name_str)
|
|
.join(Self::runner_name())
|
|
.join(self.handler_name());
|
|
|
|
// Iterate through test suites
|
|
let as_directory = |entry: Result<DirEntry, std::io::Error>| -> Option<DirEntry> {
|
|
entry
|
|
.ok()
|
|
.filter(|e| e.file_type().map(|ty| ty.is_dir()).unwrap())
|
|
};
|
|
|
|
let test_cases = fs::read_dir(&handler_path)
|
|
.unwrap_or_else(|e| panic!("handler dir {} exists: {:?}", handler_path.display(), e))
|
|
.filter_map(as_directory)
|
|
.flat_map(|suite| fs::read_dir(suite.path()).expect("suite dir exists"))
|
|
.filter_map(as_directory)
|
|
.map(|test_case_dir| {
|
|
let path = test_case_dir.path();
|
|
|
|
let case = Self::Case::load_from_dir(&path, fork_name).expect("test should load");
|
|
(path, case)
|
|
})
|
|
.collect();
|
|
|
|
let results = Cases { test_cases }.test_results(fork_name, Self::use_rayon());
|
|
|
|
let name = format!(
|
|
"{}/{}/{}",
|
|
fork_name_str,
|
|
Self::runner_name(),
|
|
self.handler_name()
|
|
);
|
|
crate::results::assert_tests_pass(&name, &handler_path, &results);
|
|
}
|
|
|
|
fn run_for_feature(&self, fork_name: ForkName, feature_name: FeatureName) {
|
|
let feature_name_str = feature_name.to_string();
|
|
|
|
let handler_path = PathBuf::from(env!("CARGO_MANIFEST_DIR"))
|
|
.join("consensus-spec-tests")
|
|
.join("tests")
|
|
.join(Self::config_name())
|
|
.join(&feature_name_str)
|
|
.join(Self::runner_name())
|
|
.join(self.handler_name());
|
|
|
|
// Iterate through test suites
|
|
let as_directory = |entry: Result<DirEntry, std::io::Error>| -> Option<DirEntry> {
|
|
entry
|
|
.ok()
|
|
.filter(|e| e.file_type().map(|ty| ty.is_dir()).unwrap())
|
|
};
|
|
|
|
let test_cases = fs::read_dir(&handler_path)
|
|
.unwrap_or_else(|e| panic!("handler dir {} exists: {:?}", handler_path.display(), e))
|
|
.filter_map(as_directory)
|
|
.flat_map(|suite| fs::read_dir(suite.path()).expect("suite dir exists"))
|
|
.filter_map(as_directory)
|
|
.map(|test_case_dir| {
|
|
let path = test_case_dir.path();
|
|
let case = Self::Case::load_from_dir(&path, fork_name).expect("test should load");
|
|
(path, case)
|
|
})
|
|
.collect();
|
|
|
|
let results = Cases { test_cases }.test_results(fork_name, Self::use_rayon());
|
|
|
|
let name = format!(
|
|
"{}/{}/{}",
|
|
feature_name_str,
|
|
Self::runner_name(),
|
|
self.handler_name()
|
|
);
|
|
crate::results::assert_tests_pass(&name, &handler_path, &results);
|
|
}
|
|
}
|
|
|
|
macro_rules! bls_eth_handler {
|
|
($runner_name: ident, $case_name:ident, $handler_name:expr) => {
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct $runner_name;
|
|
|
|
impl Handler for $runner_name {
|
|
type Case = cases::$case_name;
|
|
|
|
fn runner_name() -> &'static str {
|
|
"bls"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
$handler_name.into()
|
|
}
|
|
}
|
|
};
|
|
}
|
|
|
|
macro_rules! bls_handler {
|
|
($runner_name: ident, $case_name:ident, $handler_name:expr) => {
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct $runner_name;
|
|
|
|
impl Handler for $runner_name {
|
|
type Case = cases::$case_name;
|
|
|
|
fn runner_name() -> &'static str {
|
|
"bls"
|
|
}
|
|
|
|
fn config_name() -> &'static str {
|
|
"bls12-381-tests"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
$handler_name.into()
|
|
}
|
|
|
|
fn run(&self) {
|
|
let fork_name = ForkName::Base;
|
|
let fork_name_str = fork_name.to_string();
|
|
let handler_path = PathBuf::from(env!("CARGO_MANIFEST_DIR"))
|
|
.join("consensus-spec-tests")
|
|
.join(Self::config_name())
|
|
.join(self.handler_name());
|
|
|
|
let as_file = |entry: Result<DirEntry, std::io::Error>| -> Option<DirEntry> {
|
|
entry
|
|
.ok()
|
|
.filter(|e| e.file_type().map(|ty| ty.is_file()).unwrap_or(false))
|
|
};
|
|
let test_cases: Vec<(PathBuf, Self::Case)> = fs::read_dir(&handler_path)
|
|
.expect("handler dir exists")
|
|
.filter_map(as_file)
|
|
.map(|test_case_path| {
|
|
let path = test_case_path.path();
|
|
let case =
|
|
Self::Case::load_from_dir(&path, fork_name).expect("test should load");
|
|
|
|
(path, case)
|
|
})
|
|
.collect();
|
|
|
|
let results = Cases { test_cases }.test_results(fork_name, Self::use_rayon());
|
|
|
|
let name = format!(
|
|
"{}/{}/{}",
|
|
fork_name_str,
|
|
Self::runner_name(),
|
|
self.handler_name()
|
|
);
|
|
crate::results::assert_tests_pass(&name, &handler_path, &results);
|
|
}
|
|
}
|
|
};
|
|
}
|
|
|
|
bls_handler!(BlsAggregateSigsHandler, BlsAggregateSigs, "aggregate");
|
|
bls_handler!(BlsSignMsgHandler, BlsSign, "sign");
|
|
bls_handler!(BlsBatchVerifyHandler, BlsBatchVerify, "batch_verify");
|
|
bls_handler!(BlsVerifyMsgHandler, BlsVerify, "verify");
|
|
bls_handler!(
|
|
BlsAggregateVerifyHandler,
|
|
BlsAggregateVerify,
|
|
"aggregate_verify"
|
|
);
|
|
bls_handler!(
|
|
BlsFastAggregateVerifyHandler,
|
|
BlsFastAggregateVerify,
|
|
"fast_aggregate_verify"
|
|
);
|
|
bls_eth_handler!(
|
|
BlsEthAggregatePubkeysHandler,
|
|
BlsEthAggregatePubkeys,
|
|
"eth_aggregate_pubkeys"
|
|
);
|
|
bls_eth_handler!(
|
|
BlsEthFastAggregateVerifyHandler,
|
|
BlsEthFastAggregateVerify,
|
|
"eth_fast_aggregate_verify"
|
|
);
|
|
|
|
/// Handler for SSZ types.
|
|
pub struct SszStaticHandler<T, E> {
|
|
supported_forks: Vec<ForkName>,
|
|
_phantom: PhantomData<(T, E)>,
|
|
}
|
|
|
|
impl<T, E> Default for SszStaticHandler<T, E> {
|
|
fn default() -> Self {
|
|
Self::for_forks(ForkName::list_all())
|
|
}
|
|
}
|
|
|
|
impl<T, E> SszStaticHandler<T, E> {
|
|
pub fn for_forks(supported_forks: Vec<ForkName>) -> Self {
|
|
SszStaticHandler {
|
|
supported_forks,
|
|
_phantom: PhantomData,
|
|
}
|
|
}
|
|
|
|
pub fn base_only() -> Self {
|
|
Self::for_forks(vec![ForkName::Base])
|
|
}
|
|
|
|
pub fn altair_only() -> Self {
|
|
Self::for_forks(vec![ForkName::Altair])
|
|
}
|
|
|
|
pub fn bellatrix_only() -> Self {
|
|
Self::for_forks(vec![ForkName::Bellatrix])
|
|
}
|
|
|
|
pub fn capella_only() -> Self {
|
|
Self::for_forks(vec![ForkName::Capella])
|
|
}
|
|
|
|
pub fn deneb_only() -> Self {
|
|
Self::for_forks(vec![ForkName::Deneb])
|
|
}
|
|
|
|
pub fn electra_only() -> Self {
|
|
Self::for_forks(vec![ForkName::Electra])
|
|
}
|
|
|
|
pub fn altair_and_later() -> Self {
|
|
Self::for_forks(ForkName::list_all()[1..].to_vec())
|
|
}
|
|
|
|
pub fn merge_and_later() -> Self {
|
|
Self::for_forks(ForkName::list_all()[2..].to_vec())
|
|
}
|
|
|
|
pub fn capella_and_later() -> Self {
|
|
Self::for_forks(ForkName::list_all()[3..].to_vec())
|
|
}
|
|
|
|
pub fn deneb_and_later() -> Self {
|
|
Self::for_forks(ForkName::list_all()[4..].to_vec())
|
|
}
|
|
|
|
pub fn electra_and_later() -> Self {
|
|
Self::for_forks(ForkName::list_all()[5..].to_vec())
|
|
}
|
|
|
|
pub fn pre_electra() -> Self {
|
|
Self::for_forks(ForkName::list_all()[0..5].to_vec())
|
|
}
|
|
}
|
|
|
|
/// Handler for SSZ types that implement `CachedTreeHash`.
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct SszStaticTHCHandler<T, E>(PhantomData<(T, E)>);
|
|
|
|
/// Handler for SSZ types that don't implement `ssz::Decode`.
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct SszStaticWithSpecHandler<T, E>(PhantomData<(T, E)>);
|
|
|
|
impl<T, E> Handler for SszStaticHandler<T, E>
|
|
where
|
|
T: cases::SszStaticType + tree_hash::TreeHash + ssz::Decode + TypeName,
|
|
E: TypeName,
|
|
{
|
|
type Case = cases::SszStatic<T>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"ssz_static"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
T::name().into()
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, fork_name: ForkName) -> bool {
|
|
self.supported_forks.contains(&fork_name)
|
|
}
|
|
}
|
|
|
|
impl<E> Handler for SszStaticTHCHandler<BeaconState<E>, E>
|
|
where
|
|
E: EthSpec + TypeName,
|
|
{
|
|
type Case = cases::SszStaticTHC<BeaconState<E>>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"ssz_static"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
BeaconState::<E>::name().into()
|
|
}
|
|
}
|
|
|
|
impl<T, E> Handler for SszStaticWithSpecHandler<T, E>
|
|
where
|
|
T: TypeName,
|
|
E: EthSpec + TypeName,
|
|
cases::SszStaticWithSpec<T>: Case + LoadCase,
|
|
{
|
|
type Case = cases::SszStaticWithSpec<T>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"ssz_static"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
T::name().into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct ShufflingHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for ShufflingHandler<E> {
|
|
type Case = cases::Shuffling<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"shuffling"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"core".into()
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, fork_name: ForkName) -> bool {
|
|
fork_name == ForkName::Base
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct SanityBlocksHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for SanityBlocksHandler<E> {
|
|
type Case = cases::SanityBlocks<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"sanity"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"blocks".into()
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, _fork_name: ForkName) -> bool {
|
|
// NOTE: v1.1.0-beta.4 doesn't mark the historical blocks test as requiring real crypto, so
|
|
// only run these tests with real crypto for now.
|
|
cfg!(not(feature = "fake_crypto"))
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct SanitySlotsHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for SanitySlotsHandler<E> {
|
|
type Case = cases::SanitySlots<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"sanity"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"slots".into()
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, fork_name: ForkName) -> bool {
|
|
// Some sanity tests compute sync committees, which requires real crypto.
|
|
fork_name == ForkName::Base || cfg!(not(feature = "fake_crypto"))
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct RandomHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for RandomHandler<E> {
|
|
type Case = cases::SanityBlocks<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"random"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"random".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct EpochProcessingHandler<E, T>(PhantomData<(E, T)>);
|
|
|
|
impl<E: EthSpec + TypeName, T: EpochTransition<E>> Handler for EpochProcessingHandler<E, T> {
|
|
type Case = cases::EpochProcessing<E, T>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"epoch_processing"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
T::name().into()
|
|
}
|
|
}
|
|
|
|
pub struct RewardsHandler<E: EthSpec> {
|
|
handler_name: &'static str,
|
|
_phantom: PhantomData<E>,
|
|
}
|
|
|
|
impl<E: EthSpec> RewardsHandler<E> {
|
|
pub fn new(handler_name: &'static str) -> Self {
|
|
Self {
|
|
handler_name,
|
|
_phantom: PhantomData,
|
|
}
|
|
}
|
|
}
|
|
|
|
impl<E: EthSpec + TypeName> Handler for RewardsHandler<E> {
|
|
type Case = cases::RewardsTest<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"rewards"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
self.handler_name.to_string()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct ForkHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for ForkHandler<E> {
|
|
type Case = cases::ForkTest<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"fork"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"fork".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct TransitionHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for TransitionHandler<E> {
|
|
type Case = cases::TransitionTest<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"transition"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"core".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct FinalityHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for FinalityHandler<E> {
|
|
// Reuse the blocks case runner.
|
|
type Case = cases::SanityBlocks<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"finality"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"finality".into()
|
|
}
|
|
}
|
|
|
|
pub struct ForkChoiceHandler<E> {
|
|
handler_name: String,
|
|
_phantom: PhantomData<E>,
|
|
}
|
|
|
|
impl<E: EthSpec> ForkChoiceHandler<E> {
|
|
pub fn new(handler_name: &str) -> Self {
|
|
Self {
|
|
handler_name: handler_name.into(),
|
|
_phantom: PhantomData,
|
|
}
|
|
}
|
|
}
|
|
|
|
impl<E: EthSpec + TypeName> Handler for ForkChoiceHandler<E> {
|
|
type Case = cases::ForkChoiceTest<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"fork_choice"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
self.handler_name.clone()
|
|
}
|
|
|
|
fn use_rayon() -> bool {
|
|
// The fork choice tests use `block_on` which can cause panics with rayon.
|
|
false
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, fork_name: ForkName) -> bool {
|
|
// Merge block tests are only enabled for Bellatrix.
|
|
if self.handler_name == "on_merge_block" && fork_name != ForkName::Bellatrix {
|
|
return false;
|
|
}
|
|
|
|
// Tests are no longer generated for the base/phase0 specification.
|
|
if fork_name == ForkName::Base {
|
|
return false;
|
|
}
|
|
|
|
// No FCU override tests prior to bellatrix.
|
|
if self.handler_name == "should_override_forkchoice_update"
|
|
&& !fork_name.bellatrix_enabled()
|
|
{
|
|
return false;
|
|
}
|
|
|
|
// These tests check block validity (which may include signatures) and there is no need to
|
|
// run them with fake crypto.
|
|
cfg!(not(feature = "fake_crypto"))
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct OptimisticSyncHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for OptimisticSyncHandler<E> {
|
|
type Case = cases::ForkChoiceTest<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"sync"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"optimistic".into()
|
|
}
|
|
|
|
fn use_rayon() -> bool {
|
|
// The opt sync tests use `block_on` which can cause panics with rayon.
|
|
false
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, fork_name: ForkName) -> bool {
|
|
fork_name.bellatrix_enabled() && cfg!(not(feature = "fake_crypto"))
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct GenesisValidityHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for GenesisValidityHandler<E> {
|
|
type Case = cases::GenesisValidity<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"genesis"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"validity".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct GenesisInitializationHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for GenesisInitializationHandler<E> {
|
|
type Case = cases::GenesisInitialization<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"genesis"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"initialization".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KZGBlobToKZGCommitmentHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec> Handler for KZGBlobToKZGCommitmentHandler<E> {
|
|
type Case = cases::KZGBlobToKZGCommitment<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"kzg"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"blob_to_kzg_commitment".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KZGComputeBlobKZGProofHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec> Handler for KZGComputeBlobKZGProofHandler<E> {
|
|
type Case = cases::KZGComputeBlobKZGProof<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"kzg"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"compute_blob_kzg_proof".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KZGComputeKZGProofHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec> Handler for KZGComputeKZGProofHandler<E> {
|
|
type Case = cases::KZGComputeKZGProof<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"kzg"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"compute_kzg_proof".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KZGVerifyBlobKZGProofHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec> Handler for KZGVerifyBlobKZGProofHandler<E> {
|
|
type Case = cases::KZGVerifyBlobKZGProof<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"kzg"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"verify_blob_kzg_proof".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KZGVerifyBlobKZGProofBatchHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec> Handler for KZGVerifyBlobKZGProofBatchHandler<E> {
|
|
type Case = cases::KZGVerifyBlobKZGProofBatch<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"kzg"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"verify_blob_kzg_proof_batch".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KZGVerifyKZGProofHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec> Handler for KZGVerifyKZGProofHandler<E> {
|
|
type Case = cases::KZGVerifyKZGProof<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"kzg"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"verify_kzg_proof".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct GetCustodyColumnsHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for GetCustodyColumnsHandler<E> {
|
|
type Case = cases::GetCustodyColumns<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"networking"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"get_custody_columns".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KZGComputeCellsAndKZGProofHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec> Handler for KZGComputeCellsAndKZGProofHandler<E> {
|
|
type Case = cases::KZGComputeCellsAndKZGProofs<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"kzg"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"compute_cells_and_kzg_proofs".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KZGVerifyCellKZGProofBatchHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec> Handler for KZGVerifyCellKZGProofBatchHandler<E> {
|
|
type Case = cases::KZGVerifyCellKZGProofBatch<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"kzg"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"verify_cell_kzg_proof_batch".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KZGRecoverCellsAndKZGProofHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec> Handler for KZGRecoverCellsAndKZGProofHandler<E> {
|
|
type Case = cases::KZGRecoverCellsAndKZGProofs<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"kzg"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"recover_cells_and_kzg_proofs".into()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct MerkleProofValidityHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for MerkleProofValidityHandler<E> {
|
|
type Case = cases::MerkleProofValidity<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"light_client"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"single_merkle_proof".into()
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, _fork_name: ForkName) -> bool {
|
|
// Test is skipped due to some changes in the Capella light client
|
|
// spec.
|
|
//
|
|
// https://github.com/sigp/lighthouse/issues/4022
|
|
false
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct KzgInclusionMerkleProofValidityHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for KzgInclusionMerkleProofValidityHandler<E> {
|
|
type Case = cases::KzgInclusionMerkleProofValidity<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"merkle_proof"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"single_merkle_proof".into()
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, fork_name: ForkName) -> bool {
|
|
// Enabled in Deneb
|
|
fork_name == ForkName::Deneb
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct LightClientUpdateHandler<E>(PhantomData<E>);
|
|
|
|
impl<E: EthSpec + TypeName> Handler for LightClientUpdateHandler<E> {
|
|
type Case = cases::LightClientVerifyIsBetterUpdate<E>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"light_client"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
"update_ranking".into()
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, fork_name: ForkName) -> bool {
|
|
// Enabled in Altair
|
|
// TODO(electra) re-enable once https://github.com/sigp/lighthouse/issues/6002 is resolved
|
|
fork_name != ForkName::Base && fork_name != ForkName::Electra
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct OperationsHandler<E, O>(PhantomData<(E, O)>);
|
|
|
|
impl<E: EthSpec + TypeName, O: Operation<E>> Handler for OperationsHandler<E, O> {
|
|
type Case = cases::Operations<E, O>;
|
|
|
|
fn config_name() -> &'static str {
|
|
E::name()
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"operations"
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
O::handler_name()
|
|
}
|
|
}
|
|
|
|
#[derive(Derivative)]
|
|
#[derivative(Default(bound = ""))]
|
|
pub struct SszGenericHandler<H>(PhantomData<H>);
|
|
|
|
impl<H: TypeName> Handler for SszGenericHandler<H> {
|
|
type Case = cases::SszGeneric;
|
|
|
|
fn config_name() -> &'static str {
|
|
"general"
|
|
}
|
|
|
|
fn runner_name() -> &'static str {
|
|
"ssz_generic"
|
|
}
|
|
|
|
fn is_enabled_for_fork(&self, fork_name: ForkName) -> bool {
|
|
// SSZ generic tests are genesis only
|
|
fork_name == ForkName::Base
|
|
}
|
|
|
|
fn handler_name(&self) -> String {
|
|
H::name().into()
|
|
}
|
|
}
|
|
|
|
// Supported SSZ generic handlers
|
|
pub struct BasicVector;
|
|
type_name!(BasicVector, "basic_vector");
|
|
pub struct Bitlist;
|
|
type_name!(Bitlist, "bitlist");
|
|
pub struct Bitvector;
|
|
type_name!(Bitvector, "bitvector");
|
|
pub struct Boolean;
|
|
type_name!(Boolean, "boolean");
|
|
pub struct Uints;
|
|
type_name!(Uints, "uints");
|
|
pub struct Containers;
|
|
type_name!(Containers, "containers");
|