Assign
Category
DRI
Dependency
Description
Goal
practical application
Impact
Priority (Nicola)
Size
Solution?
Status
people
who requested it
Background
If the post soundness is high (like in NSE #215), then FF can be 0 (at least from red team side of cryptoecon), then SP can also be very small.
This means that:
- if cryptoecon team has no requirement on FF and SP: we could remove fault reporting penalties FF and SP (and also fault declaration)
- if cryptoecon team has requirements on FF and SP: then we could lower to the minimum both FF and SP
Currently SDR does not have high soundness for PoSt because we allow for fault reporting per sector. However, if we change the way fault reporting works (e.g. if a sector is faulty a set of 50-80 sectors that its associated with will also be marked as faulty)
Proposed next steps:
- Have cryptoecon give requirements for FF and SP that are unrelated to proofs security
- Propose an FIP for a protocol upgrade
Note: FF is set to BR due to the analysis in this doc (from which we chose scenario 2): https://docs.google.com/document/d/1wkOcr8iYqTqgxc2U-z5rIxGdy95DLqsfn7LPASzDGwQ/edit#bookmark=id.c168ry5ug