IF Prototype Stage 1B Implementation in Leap

[arhag]

We are using https://github.com/AntelopeIO/leap/tree/hotstuff_integration as the integration branch for the prototype.

Important test coverage

Preview Give feedback

1. IF: Extend Boost test to show finality advancing #2095
   👍 lgtm +1
   
2. IF: Refactor integration tests to support legacy & IF consensus in parallel #1510
   OCI 👍 lgtm +2
   
3. IF: Fix SIGSEGV when create_and_send_vote_msg processes its own vote #2184
   👍 lgtm +1
   
4. IF: update tests for producer_schedule_if_tests #2167
   👍 lgtm +1
   
5. IF: investigate and fix ship_streamer_if_test #2172
   OCI 👍 lgtm +2
   
6. IF: Investigate auto_bp_peering_if_test failure #2173
   OCI 👍 lgtm +2
   
7. IF: Investigate and fix trx_finality_status_forked_if_test #2189
   OCI 👍 lgtm +2
   
8. IF: Enable tests after they are stable #2175
   👍 lgtm +1
   
9. IF: add more flexibility for IF transition to Boost libtester #2193
   👍 lgtm +1
   
10. IF: Add integration test for transition from legacy consensus to IF consensus #1512
    OCI 👍 lgtm +2
    
11. IF: port tests using qc_chain and chain_pacemaker to work with the new implementation #2147
    👍 lgtm +1
    
12. IF: Test failure: trx_finality_status_forked_if_test #2256
    OCI 👍 lgtm +2
    
13. IF: add unit tests for finality_core #2259
    👍 lgtm +1
    
14. IF: Add more extensive tests for finalizer voting behavior #2233
    👍 lgtm +1
    

Post-unification

Preview Give feedback

1. IF: Bring back is_needed to avoid adding redundant QCs to blocks; enforce sensible finalizer policy in setfinalizers #2136
   👍 lgtm +1
   
2. IF: make qc_info in instant_finality_extension non-optional #2128
   👍 lgtm +1
   
3. IF: Update finalizer safety information and rules for how a finalizer signs #2070
   👍 lgtm +1
   
4. IF: Reject blocks with unsupported claims of last QC in block header extension #2071
   👍 lgtm +1
   
5. IF: copy new eosio.bios from reference-contract repo to Leap libtester and add more validations to set_finalizers host function #1987
   👍 lgtm +1
   
6. IF: Validate proposals before voting on them #1632
   👍 lgtm +1
7. IF: Update integration test that checks LIB advances after IF transition #2100
   OCI 👍 lgtm +2
   
8. IF: Persist post-IF fork database to disk on shutdown #2048
   OCI 👍 lgtm +2
   
9. IF: fork database transition not thread safe #2083
   OCI 👍 lgtm +2
   
10. IF: sign blocks and verify signature of blocks #2142
    OCI 👍 lgtm +2
    
11. IF: accumulated weight calculation #2084
    👍 lgtm +1
    
12. IF: Ensure confirmed count in block header is zero after HotStuff transition #1580
    OCI 👍 lgtm +2
    
13. IF: unifying set_finalizers interface with CDT and BIOS Contract #1992
    OCI 👍 lgtm +2
    
14. IF: Integrate new finality core algorithm #2244
    👍 lgtm +1
    
15. IF: Finalize network protocol for HotStuff #1657
    👍 lgtm +1
    
16. IF: Verify net messages for validity #1569
    👍 lgtm +1
    
17. IF: Implement proposer policy changes #1980
    OCI 👍 lgtm +2
    
18. IF: make constant members of block_state and block_header_state const. Make block_header_state a member. of block_state. #2082
    👍 lgtm +1
19. IF: BLS key/signature encoding #2061
    👍 lgtm +1
    
20. IF: Update fork-choice rule for fork database #2125
    OCI 👍 lgtm +2
    
21. IF: Don't drop late blocks #2159
    OCI 👍 lgtm +2
    
22. IF: Implement correct compute_finality_digest #2080
    👍 lgtm +1
    
23. IF: Add new snapshot version to hold consensus Savanna state #1558
    👍 lgtm +1
    
24. IF: replay from before instant-finality transition #2141
    OCI 👍 lgtm +2
    
25. IF: Change Fork_db root to store block state #2283
    👍 lgtm +1
    
26. IF: Support Leap 5 Fork Database disk format and new Savanna disk format. #2285
    👍 lgtm +1
    

Complete prototype

Preview Give feedback

1. IF: Genesis block state finality digest correction #2348
   OCI 👍 lgtm +2
   
2. IF: SHiP changes to support IBC services #2235
   👍 lgtm +1
   
3. IF: add get_blocks_result_v1 to SHiP #2340
   👍 lgtm +1
   
4. IF: Implement finalizer policy change at appropriate time #1618
   👍 lgtm +1
   
5. IF: Implement proper IF transition #2057
   OCI 👍 lgtm +2
   
6. IF: Support irreversible read-mode under Savanna #2286
   OCI 👍 lgtm +2