Stake-Weighted F3 Finality

A draft Filecoin Improvement Proposal and its supporting analyses. The discussion is on the FIPs repo: https://github.com/filecoin-project/FIPs/discussions/1288.