IF Prototype Stage 1A Implementation in Leap

[arhag]

We are using https://github.com/AntelopeIO/leap/tree/if_prototype_preview as the integration branch for Stage 1A of the prototype.

Unification

Preview Give feedback

1. IF: Unification: Modify quorum_certification to support strong and weak QCs #1881
   👍 lgtm +1
   
2. IF: Unification: Deprecate proposal and new_block messages #1910
   👍 lgtm +1
   
3. IF: Unification: Implement block_header_state_core and new algorithm to support transitions of that core #1912
   👍 lgtm +1
   
4. IF: New incremental merkle tree #1913
   OCI 👍 lgtm +2
   
5. IF: Use merkle calculation for transaction_mroot and action_mroot that does not use bitflip implementation #1942
   OCI 👍 lgtm +2
   
6. IF: Unification: Create new block_header_state and block_state #1941
   👍 lgtm +1
   
7. IF: Re-enable reference-contract tests #2033
   OCI 👍 lgtm +2
   
8. IF: use the same way to determine if instant finality is active #2028
   👍 lgtm +1
   
9. IF: remove unneeded files #2044
   👍 lgtm +1
   
10. IF: Unification: Changes in controller to complete unification #2034
    👍 lgtm +1
    
11. IF: Unification: Implement block_header_state::next and related functions #2047
    👍 lgtm +1
    
12. IF: Unification: Integrate vote message signatures into new fork database #2046
    👍 lgtm +1
    
13. IF: Unification: implement get_best_qc in block_state #2075
    👍 lgtm +1
    
14. IF: Unification: Add block header extension #1911
    👍 lgtm +1
    
15. IF: Add block extension to include latest commit QC known to proposer #1586
    👍 lgtm +1
    
16. IF: Unification: IF transition of fork database usage #2045
    OCI 👍 lgtm +2
    
17. IF: signature-provider for BLS keys #2060
    OCI 👍 lgtm +2
    
18. IF: Unification: Sign finalizer_digest of received block header and send out vote #2069
    👍 lgtm +1
    

Pre-unification

Preview Give feedback

1. IF: Update BLS integration to use HotStuff version from main #1509
   👍 lgtm +1
   
2. IF: Host function to set active finalizer set #1511
   👍 lgtm +1
   
3. IF: Implement string serialization for bls_* types #1532
   👍 lgtm +1
   
4. IF: Create alternative fork_database for use after hs activation #1585
   👍 lgtm +1
   
5. IF: Use finalizers keys as identifiers instead of producer name #1610
   👍 lgtm +1
   
6. IF: Modify producer schedule promotion under hotstuff #1631
   OCI 👍 lgtm +2
   
7. IF: Support transition from legacy consensus to HotStuff consensus #1523
   OCI 👍 lgtm +2
   
8. IF: HotStuff finality should drive LIB in controller #1522
   👍 lgtm +1
   
9. IF: Fix failing test bls_sig_verif_string_multi #1531
   👍 lgtm +1
   
10. IF: Fix deepmind unittests #1533
    OCI 👍 lgtm +2
    
11. IF: add multi-hop networking to test_pacemaker #1658
    👍 lgtm +1
    
12. IF: propagate hs_*_messages #1548
    👍 lgtm +1
    
13. IF: Fix threading issues in qc_chain & chain_pacemaker #1541
    👍 lgtm +1
    
14. IF: Safely persist HotStuff state #1521
    👍 lgtm +1
    
15. IF: Hotstuff proposal messages should be signed by appropriate proposer key #1642
    +0
16. IF: Switch encoding for BLS keys and signatures to base64 #1584
    👍 lgtm +1
    
17. Use raw Affine little-endian form of g1 encoded for PoP prove/verify bls12-381#10
    👍 lgtm +1
    
18. Use raw Affine little-endian form of g1/g2 for encoding to BLS public key / signature #1596
    👍 lgtm +1
    
19. IF: Generate BLS key pairs in leap-util #1525
    👍 lgtm +1
    
20. IF: hs_*_message types - review #1547
    OCI 👍 lgtm +2
    
21. IF: Redefine view number and add generation number to the finalizer set #1589
    👍 lgtm +1
22. IF: Switchover custom logging in HotStuff code over to fc log #1513
    👍 lgtm +1
    
23. IF: Remove usage of emit from HotStuff code #1519
    OCI 👍 lgtm +2
    
24. IF: Use empty() instead of NULL_BLOCK_ID, NULL_PROPOSAL_ID #1545
    OCI 👍 lgtm +2
    
25. IF: net_plugin lib<->head catchup transistion change #1546
    👍 lgtm +1
    
26. IF: Remove recursive implementation of commit in qc_chain #1553
    👍 lgtm +1
    
27. IF: Address abstraction leakage in HotStuff library #1518
    👍 lgtm +1
    
28. IF: P2P request of needed hs messages received too early or joining network #1597
    discussion +1
29. IF: HS network message filtering infrastructure (net plugin <-> IF engine) #1605
    👍 lgtm +1
    
30. IF : Extra padding is added to the hs_bitset when constructing a quorum_certificate from a quorum_certificate_message #1626
    👍 lgtm +1