Closed ranchalp closed 4 months ago
Following https://github.com/filecoin-project/FIPs/pull/983, the pseudocode will require some conflict resolution.
In the future, please include the FIP number in the title, otherwise this shared repo rapidly becomes confusing.
Please rebase now #985 has merged.
Done.
@anorth @jsoares could we get this merged?
Update to using max ticket instead of min ticket and adjust by power. See here for the analogous in the implementation.
Also specify that there is no need to store equivocating messages.
Built upon the first round of audits #985 , so merge that other PR first.