Files
pezkuwi-subxt/polkadot/zombienet_tests/functional/0005-parachains-disputes-past-session.zndsl
T
eskimor 69434d9a32 Coretime Feature branch (relay chain) (#1694)
Also fixes: https://github.com/paritytech/polkadot-sdk/issues/1417

- [x] CoreIndex -> AssignmentProvider mapping will be able to change any
time.
- [x] Implement
- [x] Provide Migrations
- [x] Add and fix tests
- [x] Implement bulk assigner logic
- [x] bulk assigner tests
- [x] Port over current assigner to use bulk designer (+ share on-demand
with bulk): top-level assigner has core ranges: legacy, bulk
- [x] Adjust migrations to reflect new assigner structure
- [x] Move migration code to Assignment code directly and make it
recursive (make it possible to skip releases) -> follow up ticket.
- [x] Test migrations
- [x] Add migration PR to runtimes repo -> follow up ticket.
- [x] Wire up with actual UMP messages
- [x] Write PR docs

---------

Co-authored-by: eskimor <eskimor@no-such-url.com>
Co-authored-by: Bradley Olson <34992650+BradleyOlson64@users.noreply.github.com>
Co-authored-by: BradleyOlson64 <lotrftw9@gmail.com>
Co-authored-by: Anton Vilhelm Ásgeirsson <antonva@users.noreply.github.com>
Co-authored-by: antonva <anton.asgeirsson@parity.io>
Co-authored-by: Bastian Köcher <git@kchr.de>
Co-authored-by: Marcin S. <marcin@realemail.net>
Co-authored-by: Bastian Köcher <info@kchr.de>
Co-authored-by: command-bot <>
2023-12-21 19:06:58 +01:00

58 lines
2.0 KiB
Plaintext

Description: Past-session dispute slashing
Network: ./0005-parachains-disputes-past-session.toml
Creds: config
# Ensure nodes are up and running
honest-flaky-validator: reports node_roles is 4
# Stop issuing disputes for now
malus-validator: pause
# Ensure parachain is registered
honest-validator: parachain 1000 is registered within 100 seconds
# Ensure parachain made progress
honest-validator: parachain 1000 block height is at least 1 within 300 seconds
# Start issuing disputes
malus-validator: resume
# Wait for malus to back garbage candidate
malus-validator: log line matches "Suggesting malicious candidate" within 200 seconds
# Pause first flaky node
# Availability will continue with 3/4 nodes online (incl. malus)
honest-flaky-validator-0: pause
# Wait for the dispute
honest-flaky-validator-1: reports parachain_candidate_disputes_total is at least 1 within 60 seconds
# Pause second flaky node so that we do not revert blocks due to f+1 invalid votes
# Availability and finality will stop
honest-flaky-validator-1: pause
# Wait for 1 full session to pass after the last unconcluded dispute.
#
# TODO: replace with assertion for "New session detected" in logs. I think that
# would match on previous log lines, so we may need to programmatically wait for
# a specific session, requiring zombienet v2.
sleep 110 seconds
# Now resume flaky validators
honest-flaky-validator: resume
# Stop issuing disputes
malus-validator: pause
# Disputes should start concluding now
honest-validator: reports polkadot_parachain_candidate_dispute_concluded{validity="invalid"} is at least 1 within 200 seconds
# Disputes should always end as "invalid"
honest-validator: reports polkadot_parachain_candidate_dispute_concluded{validity="valid"} is 0
# Check an unsigned extrinsic is submitted
honest-validator: log line contains "Successfully reported pending slash" within 180 seconds
# Finality should not lag after dispute resolution
honest-validator: reports block height minus finalised block is lower than 8 within 100 seconds