Logo

    CryptoNet is a Protocol Labs initiative.

    Proof of Space Efforts
    🔭

    Proof of Space Efforts

    What is Proof of Space?

    A Proof of Space (PoS, see for example: eprint 2013/796) is a protocol that allows a prover  to convince a verifier that he has a minimum specified amount of space (ie, used storage).

    Effort 1: Proof of Space Educational Material

    DRI: Anca

    We are building the entrypoint for theory and practice on Proof of Space

    See effort here: https://proofofspace.org

    Effort 2: New Proof of Space Constructions

    DRI: Matteo

    We are formalizing Proof of Space, review existing design and propose new constructions.

    See effort here: No access

    👥 Team

    Team: Matteo&Anca (main effort)

    Advisors (external): Leo Reyzin (Q2), Carla Rafols

    Advisors (internal): Luca & Irene

    ‣

    🚨 Pain points in current PoS

    Persona
    Story
    Current issue
    Pain Level
    Client
    I want to get my data back quickly when I need it (sub-second ideally).
    Slow unsealing
    High
    I want to be able to store small files.
    Sector sizes
    Medium
    I want to be able to store very large files
    Sector sizes
    Low
    I want flexibility in extending my storage deal.
    Deal duration
    Medium
    I want the ability to request that my data is deleted.
    Sectors/Termination Fee
    Medium
    I want to “put” my data and get confirmation that stored quickly (sub-second ideally)
    Sealing
    Low
    Storage Provider
    I do not want to have to store both sealed and unsealed copies.
    Slow and complex unsealing
    High
    I do not want intermittent unsealing workloads interrupting my data onboarding.
    Unsealing
    Medium
    I want miner operations to be low maintenance.
    Complex sealing workflow/ Can’t buy pre-sealed drives
    High
    I want to be able to accept a deal extension without having to do a lot of work.
    Deal duration/Need to reseal
    Medium
    I want to be able to move my physical operations if necessary (including selling my operations to a buyer) without failing WindowPost.
    Proving window
    Low/Infrequent
    I want to minimize/streamline messages being sent to make a deal.
    PSD/Pre-Commit/Prove Commit all have to be orchestrated
    Medium
    I want to minimize the movement of data.
    Current steps limit modularization of processes
    Medium
    Core Dev/Maintainer of network
    I want to be able to make changes to the proofs quickly if there is a vulnerability discovered. I do not want to be have to wait months for a new trusted setup to be established.
    Trusted setup/parameters file
    Medium
    I want the flexibility to create a new circuit for a new proof without delays/obstacles.
    Trusted setup/parameters file
    Low
    I want to have long term security assumptions so we do not have to change frequently.
    Missing longevity
    High
    Retrieval Network/CDN
    I want to get the data back from the local region.
    Lack of locality
    Low
    ‣

    🚩 Milestones and roadmap

    Name
    Status
    Quarter
    DRI
    Date
    🎒 Team backlog ㊙️
    Pebbling PoS: SDR and NSE improvements and tighter analysis
    🔵
    2023Q3
    April 1, 2023 → June 30, 2023
    No accessNo accessNo accessNo accessNo accessNo accessNo accessNo accessNo accessNo accessNo accessNo accessNo access
    PoS: new page for educational material
    ✅
    2023Q2
    May 8, 2023 → May 26, 2023
    No accessNo accessNo access
    Outreach: talk on Proofs of Space @ Latincrypt affiliated event
    🔵
    2023Q3
    September 4, 2023 → October 3, 2023
    Bring content from Proof of Space days online
    ⚪️
    Complete Background and Generic Proof of Space
    🔵
    2023Q3
    No access
    ✅
    2023Q3
    D
    Deleted User
    June 5, 2023 → July 21, 2023
    No access
    ✅
    2023Q2
    D
    Deleted User
    June 5, 2023 → July 6, 2023
    No accessNo accessNo access
    Updated home page
    ✅
    2023Q2
    June 14, 2023 → July 6, 2023
    Outreach
    ✅
    2023Q2
    May 22, 2023 → August 4, 2023
    No accessNo accessNo access
    Possible avenues to radical New PoS (and new space-hardness assumptions)
    🔵
    2023Q3
    May 15, 2023 → July 31, 2023
    No access
    2nd iteration of the PoS website
    ✅
    2023Q2
    May 29, 2023 → June 7, 2023
    No access
    New paper with new results (includes Proof of Space Model and Technical Primer)
    🔵
    2023Q3
    July 23, 2023 → October 15, 2023
    No accessNo accessNo accessNo accessNo access
    🔭
    🛠️New Proof of Space Constructions
    🔵
    2023Q3
    March 1, 2023 → September 30, 2023
    🔭
    Proof of Space: educational material
    🔵
    2023Q3
    April 17, 2023 → May 26, 2023