Simplifying FF and SP by increasing PoSt soundness

Assign

Category

DRI

Irene

Dependency

Description

Goal

practical application

Impact

Priority (Nicola)

Size

Solution?

Status

icebox

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