New Directions for Proof of Space

Coming soon..

Problem 1: Erosion

• better tuning (intuition: static, upgrade done once or unfrequently)
• option: windowpost more frequent (but this is complicated, not a solution in the long term)
• option: find stronger parameters keeping the frequency
• for SDR there are not many options
• maybe starting from a primitive with better “bounds we are aware of”
• Better EE is in this item in this sense.

Problem 2: Tunability

• hard to define but here is an example
• suppose you want to upgrade frequently and you do need to change graph, SNARK setup size, etc.
• this is non-tunable
• something “tunable” is something that does not have this issue

Problem 3: Retrieval

• two problems now:
• retrieval is slow (← this is the one we can work in a PoS project of course)
• Saturn may mitigate the priority of this requirement somewhat but the bottleneck remains in the retrieval-from-SP
• there are no incentives to do retrieval (hard to solve cryptographically; we ignore this)

• New Directions for Proof of Space
• Problem 1: Erosion
• Problem 2: Tunability
• Problem 3: Retrieval