Trading off proving time for reduced fees and protocol complexity

Creator

Nicola

Created

May 10, 2023 4:28 AM

The main reasons why we have complex fees is because our proofs are not secure in a cryptographic sense and we secure them with rational games (which requires these fees).

Since we have a massive improvement in proof costs (either via supranational or via testudo), we could increase the prover costs to completely remove the need for some of the fees.

Potential fees that can be removed from our analysis (note fees can remain for non-security reasons, e.g. for Storage Market SLA)

• PCD can be removed from our analysis by increasing ~8x more challenges in PoRep
• Also: PreCommit/ProveCommit step could be merged in a single step with NI-PoRep
• Fault Fees can be removed from our analysis by increasing the WindowPoSt challenges by ~60x
• SP/IPC could be removed from our analysis in similar ways
• Termination fees can be reduced and potentially removed from our analysis