[1.0.4] Finality violation tests 1.0.0#610

Open

systemzax wants to merge 83 commits intorelease/1.0from

finality_violation_tests_1.0.0

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

misc
systemzax
committed

Commits on Aug 21, 2024

Commits on Aug 26, 2024

Commits on Aug 27, 2024

Commits on Aug 28, 2024

Merge branch 'release/1.0' into finality_violation_tests_1.0.0
systemzax
authored

Commits on Sep 22, 2024

Modified _check_qc function to accomodate optional weak QC verification
systemzax
committed

Commits on Sep 30, 2024

Commits on Dec 8, 2024

Commits on Dec 9, 2024

Commits on Dec 15, 2024

Fixed savanna finality_violation contract evaluation of rule 2 and rule 3
systemzax
committed

Commits on Dec 26, 2024