Round 1 / Future PoRep Research

First, we de-risked the SDR to be secure in the cost model (after the Supranational improvement, the security margin was thought to be 2x - which would make SDR with current parameters only secure in the cost model for a few more years). We showed that there are tighter bounds which lead to a more concrete cost calculation, showing that the current security margin is instead 168x (this is a 84x improvement!). This means not only that SDR is secure for many years, but also that there is a large margin of improvement for new PoReps. - Better cost analysis via adding costs for storage https://www.notion.so/pl-strflt/Better-Cost-Analysis-via-Adding-Costs-of-Storage-and-Computation-532e034e9389412099368ac0da22bf8c

Second, we wrote the first summarized paper about SDR and designed SPR, a tighter construction with better bounds, which could be a stepping stone for future PoRep - Proofs of Space with Maximal Hardness https://eprint.iacr.org/2023/1530

Third, we produced several design documents for potential constructions - Why Better Predecessor Robustness or Depth Robustness are crucial: https://www.notion.so/pl-strflt/Why-Better-Predecessor-Robustness-or-Depth-Robustness-are-Crucial-3237d78ed700402abb774d2628024cae?pvs=4 - Unsealing vs Storing a second copy https://www.notion.so/pl-strflt/Unsealing-vs-Storing-a-Second-Copy-5f9020e052164765887a5a77cf0fcad2