Files
pezkuwi-subxt/polkadot/zombienet_tests/functional/0003-parachains-garbage-candidate.zndsl
T
Javier Viola 0c51a202cc bump zombienet version to v1.3.37 (#6773)
* bump zombienet version

* remove redundant 'is up' assertion

* bump zombienet version

* bump to latest version of zombienet

* add more time to check peers
2023-03-07 11:28:53 +00:00

42 lines
2.4 KiB
Plaintext

Description: Test dispute finality lag when 1/3 of parachain validators always attempt to include an invalid block
Network: ./0003-parachains-garbage-candidate.toml
Creds: config
# Check authority status.
honest-validator-0: reports node_roles is 4
honest-validator-1: reports node_roles is 4
honest-validator-2: reports node_roles is 4
malus-validator-0: reports node_roles is 4
# Parachains should be making progress even if we have up to 1/3 malicious validators.
honest-validator-0: parachain 2000 block height is at least 2 within 180 seconds
honest-validator-1: parachain 2001 block height is at least 2 within 180 seconds
honest-validator-2: parachain 2002 block height is at least 2 within 180 seconds
# Check there is an offence report after dispute conclusion
honest-validator-0: system event contains "There is an offence reported" within 180 seconds
honest-validator-1: system event contains "There is an offence reported" within 180 seconds
honest-validator-2: system event contains "There is an offence reported" within 180 seconds
# Check for chain reversion after dispute conclusion.
honest-validator-0: log line contains "reverted due to a bad parachain block" within 180 seconds
honest-validator-1: log line contains "reverted due to a bad parachain block" within 180 seconds
honest-validator-2: log line contains "reverted due to a bad parachain block" within 180 seconds
# Check if disputes are concluded in less than 2 blocks.
honest-validator-0: reports polkadot_parachain_disputes_finality_lag is lower than 2
honest-validator-1: reports polkadot_parachain_disputes_finality_lag is lower than 2
honest-validator-2: reports polkadot_parachain_disputes_finality_lag is lower than 2
# Allow more time for malicious validator activity.
sleep 30 seconds
# Check that garbage parachain blocks included by malicious validators are being disputed.
honest-validator-0: reports parachain_candidate_disputes_total is at least 2 within 15 seconds
honest-validator-1: reports parachain_candidate_disputes_total is at least 2 within 15 seconds
honest-validator-2: reports parachain_candidate_disputes_total is at least 2 within 15 seconds
# Disputes should always end as "invalid"
honest-validator-0: reports parachain_candidate_dispute_concluded{validity="invalid"} is at least 2 within 15 seconds
honest-validator-1: reports parachain_candidate_dispute_concluded{validity="valid"} is 0 within 15 seconds