Fraud Proof v2

[liuchengxu]

Preps

• Remove invalid bundles from domain-block-preprocessor #1695
• Track the bundle header and the bundle author in the consensus chain state #1730
• Enforce the bundles contain ER that pointing to the last domain block or extend the head receipt #1731

Add auxiliary data to ER

• invalid_bundles Introduce invalid_bundles in receipt #1752
• domain_block_hash Migrate domain v1 primitives to v2 #1684
• domain_block_extrinsics_root Add domain_block_extrinsics_root field to the ExecutionReceipt #1866

Invalid ER fraud proof

Invalid ER fraud proof for any invalid data field in ER, some auxiliary data of the ER (i.e. domain_block_hash, domain_block_extrinsics_root, etc) are used in the verification of other fraud proofs, thus the operator should first check and generate the fraud proof if needed for each auxiliary data to ensure their integrity at first.

• Invalid Bundle fraud proof for ER::invalid_bundles #1887
• Invalid Extrinsic Ordering fraud proof for ER::domain_block_extrinsics_root #1888
• ER::domain_block_hash #1889
• Invalid state transition fraud proof for ER::execution_trace #1890
• Invalid Reward Info fraud proof for ER::total_rewards #1891
• Add tests that ensure a strict order for the Invalid ER fraud proof #1892
• Invalid valid_bundles fraud proof for ER::valid_bundles #1962
• Invalid Bundle fraud proof for executive::set_code and timestamp extrinsic #2133

Invalid bundle fraud proof

• Bundle equivocation #1893
• OutOfRange Tx #1894
• Illegal Tx #1895
  • Checking all the transaction validity of a bundle within one runtime api call #2184
• Invalid timestamp extrinsic #1896
• Invalid domain runtime upgrade extrinsic #1897
• Invalid XDM #1898
• Excessive transaction Metering storage size for fraud proof #1596. Implement a custom trie backend which will return an error when the storage access during the runtime API execution surpasses the maximum storage proof limit.
• Undecodable tx fraud proof #2322
• Add invalid bundle fraud proof for the estimated_bundle_weight field from the bundle header #2609

Fraud proof processing

• Remove only invalid ER instead of all ERs at specific block height when a fraud proof is valid #1529
• Enable slashing #1899
• Only slash the funds that participated the misbehavior #1928
• Give submit_fraud_proof extrinsic Operational dispatch class #2522

Misc

• Fraud proof is not verified in the block import pipeline #1527
• Enable fraud proof tests #2169