Finality violation tests#501

Closed

systemzax wants to merge 58 commits intomainfrom

finality_violation_tests

Commits on Aug 1, 2024

Changed pending_finalizer_policy to last_pending_finalizer_policy in savanna contract for clarity
systemzax
committed
Updated finality violation tests to reflect new name
systemzax
committed
Renamed last_pending_finalizer_policy_generation to pending_finalizer_policy_generation in savanna smart contracts and tests for clarity
systemzax
committed
Removed temporary checkpoints from svnn_ibc_tests
systemzax
committed
Small refactor of finality violation tests
systemzax
committed
Prepared test for rule #2
systemzax
committed
Implemented rule #2 verification in savanna contracts, improved proof
systemzax
committed
Added savanna contract interface for weak QCs
systemzax
committed
Completed savanna contract support for weak QCs
systemzax
committed
Reordered proof generation to ensure only the most recent information collected by the light client is used
systemzax
committed
WIP
systemzax
committed
Replaced policy digests and generations returned by process_result function with full policies
systemzax
committed
Modified tests to use light client data cache only
systemzax
committed
Removed leftover comments
systemzax
committed
Minor code reorganization plus added comments for clarity
systemzax
committed
Fixed incorrect assignement in savanna contract, recompiled contract
systemzax
committed
Corrected order and names of sub rules
systemzax
committed
Desambiguated rule2 (now rule2a and rule2b) to differentiate between scenarios where the fake block's timestamp is lower vs higher than block with conflicting range
systemzax
committed

Commits on Aug 6, 2024

Commits on Aug 7, 2024

Commits on Aug 8, 2024

Commits on Aug 9, 2024

Merge branch 'main' into finality_violation_tests
systemzax
authored

Commits on Aug 10, 2024

Merge branch 'main' into finality_violation_tests
systemzax
authored

Commits on Aug 12, 2024

Merge branch 'main' into finality_violation_tests
systemzax
authored

Commits on Aug 13, 2024

Merge branch 'main' into finality_violation_tests
systemzax
authored

Commits on Aug 14, 2024

Merge branch 'main' into finality_violation_tests
systemzax
authored

Commits on Aug 15, 2024

Merge branch 'main' into finality_violation_tests
systemzax
authored

Commits on Aug 19, 2024

Resolved merge conflict, merged main
systemzax
committed