F3 integration

Creator

Kubuxu

Created

Jan 9, 2024 4:04 PM

High-level overview of components:

• CertStore - chainstore but for certificates, new certs pass through it, maintains a persistent state of last verified state, disseminates certificate information to other components, triggers sync/exchange if new cert cannot be directly verified
• Finality Certificate Exchange Protocol - network protocol facilitating initial sync of certs and resyncs, much simpler than chain sync due to linear nature of finality certs
• F3/PubSub - facilitates communication between remote granite participants as well as the formation of new certificates based on received traffic (passive mode)

Open problems

• State Format
• Finality Certificate Exchange Protocol
• Finality Certificate Format

Open questions

Misc Notes

High level needs:

• Tipsets from EC HEAD to Granite HEAD
• ChainNotify
• Notification when the chain gets finalized
• Lotus might have to change forks given this
• listen only participants
• Broadcast
• libp2p pubsub
• Sign messages

• Power table (which may be beyond 900 epochs)