Instant Finality Prototype

[bhazzard]

Antelope core protocol developers are implementing a working prototype of Instant Finality to uncover potential implementation challenges quickly and adjust the design as necessary.

---

Goals

• Finalize IF algorithms and test in target environments.
• Quickly complete IF implementation and identify issues
• Code not for final product release, but reuse in production version is expected
• Explore features beyond what Leap currently provides to uncover unknown challenges

Deliverables

Completion of the prototype stage requires the following deliverables to be met:

• Design Document
• Prototype Implementation in Leap
• Prototype Implementation in Reference Contracts
• Prototype Implementation of Finalizer Client
• Prototype implementation of finality advancement proof validation in IBC contracts
• Prototype implementation of finality violation proofs contracts
• Test transition from the old consensus algorithm to IF on 2 testnets
• Demonstrate IBC between two testnets
• Mathematical proofs

Tasks

Beta Give feedback

1. IF Prototype Stage 1A Implementation in Leap AntelopeIO/leap#1508
   48 of 48
   +0
   

   
2. IF Prototype Implementation in CDT AntelopeIO/cdt#245
   3 of 3
   triage +1
3. Add bios contract action to support Instant Finality AntelopeIO/reference-contracts#26
   👍 lgtm +1
   
4. IF: Update reference contract tests to work with changes to CDT and Leap AntelopeIO/reference-contracts#37
   👍 lgtm +1
   
5. Update base64 implementation and BLS encoding/decoding AntelopeIO/cdt#271
   👍 lgtm +1
   
6. IF Prototype Stage 1B Implementation in Leap AntelopeIO/leap#2110
   46 of 46
   👍 lgtm +1
   
7. Instant Finality Design and Proofs AntelopeIO/spring#92
   3 of 10
   👍 lgtm +1