Tags
F3Open Problem
Extremely rough guesstimate (days)
10days
F3 has a state: the Power Table, keys and any summary data to reduce the computation.
A format for committing to these is required, it needs to be nice to compute in EVM and other environments.
It also cooperates with Finality Certificate Format as the FCF includes delta(newState, oldState).