# CryptoNet - Problem Dependency Graph

CryptoNet runs interviews with several teams to collect problems dependencies on a quarterly basis.

This is 2022 Q3.

Legend:
* Dashed arrow: optional
* Solid arrow: required
* Green node: done
* Orange node: in progress
* Red node: dead end
* White node: icebox due to difficulty

flowchart LR;
    classDef solved fill:lightgreen;
    classDef progress fill:GoldenRod;
    classDef paused fill:lightcoral;
    classDef icebox fill:white, stroke:#dfdfdf, color: #aaa;
    security[[Security of Filecoin]]
    tokenlocking[[More Long-term Token Locking]]
    feespaid[[More Fees Paid]]
    morestorageusage[[More storage usage]]
    storageonboarding[Cheaper Sector on-boarding]
    onchainstorage[On-Chain Storage]
    cheaperporep[Cheaper PoRep]
    avail[[Data Availability]]
    retriev[[Better Retrievability guarantees]]
    retriev
    snarkpack[Snarkpack extraction proof]
    drandremove[Removing drand]
    hashing[Hash function security]
    coststoragedown[[Cheaper FIL Storage Cost]]
    filplus[Fil+]
    noPCD[Removing PCD]
    NIporep[Non-Interactive PoRep]
    alternativeporep[Plan B PoRep]
    newporep[New PoRep Construction]
    NOposeidon[Removing Poseidon]
    speedingupsha[Cheaper Circuit SHA]
    booleansnark[Boolean SNARK gadget]
    booleansnark:::icebox
    rationalproofs[Rational Proof for SHA]
    rationalproofs:::paused
    lookuptable[SHA via Lookup tables]
    lookuptable:::paused
    halo2[Halo 2]
    changehash[Replace SHA-Encoding]
    bettervc[Better Vector Commitment]
    snarkcompatiblevc[Snark-compatible VC]
    linkablevc[Linkable VC]
    vcsnark[VectorCommit-and-Prove SNARK]
    tradeoffvc[Tradeoff VC]
    storageproducts[More Storage Products]
    crosschainfil[Export Filecoin Storage Cross-chain]
    ETHIPFSPinning[Pin IPFS on ETH]
    merkletreetranslation[Merkle Tree Translation]
    ETHFILdatabridge[FIL Storage Market Bridge for Ethereum]
    fildealoracle[Oracle for Fil Deals]
    perpetualstorage[Perpetual Storage]
    crowdstorage[Crowd-funded Storage]
    bountycontract["On-chain Pinning (Bounty Contract)"]
    bountycontract:::progress
    insurancefees[Retrieval Insurance]
    insurancefees:::solved
    RetrievOracle[Retrieval Oracle]
    RetrievOracle:::solved
    ObjectiveTruth[Objective Truth Reporting Protocol]
    incentives[Reward honest retrival nodes]
    improvingsdr[Cheaper Sealing]
    improvingsdr:::icebox
    reducingsoundness[Reducing PoRep soundness]
    reducingsoundness:::icebox
    changelayers[Reduce number of layers]
    changelayers:::icebox
    changegraphs[Change PoRep graphs]
    changegraphs:::icebox
    inputhidingaggregation[Hide Aggregated PoRep inputs]
    VCporep[PoRep based on VC]
    cheaperproving[Cheaper Proof Generation]
    changehashfunction[CommP without SHA]
    bettersnark[Prover-cheap SNARK]
    fastOnboarding[Faster Deal Confirmation]
    decentralizedacl[Decentralized Access Control]
    thresholdcryptonetwork[Threshold Crypto Network]
    thresholdcryptonetwork:::progress
    onchaindkg[On-Chain DKG]
    moreweb3primitives[Better Web3 Apps/Primitives]
    bettereconpolicy[Better Economic Policies]
    verifiabledb[On-chain Verifiable DB]
    verifiabledb:::progress
    fastretrieval[Fast Retrieval]
    extracopy[Incentives for Storing Extra Copy]
    extracopyproof[Proof for Extra Copy]
    MetricDao:::icebox
    noreqsonseclifetime[Unlimited Sector Lifetime]
    easytoupgrade[Easy to upgrade Proofs]
    
    subgraph FIL Goals
        security
        ltviability
        selfresilient
        computechain
    end
    subgraph SecureEcon
        secureecon
        tokenlocking
        feespaid
        earningnetwork
        filrewards
    end
    tokenlocking --> morestorageusage
    feespaid --> morestorageusage

    feespaid --> alternativefilusage[More Demand for Blockspace]
    alternativefilusage --> fvm[FVM]
    programmablestoragemarket[Programmable Storage Market] --> fvm[FVM m2]:::solved
    alternativefilusage --> betterprogrammability[Better Programmability]
    betterprogrammability --> predictablecontractaddress[FIPXXXX - Predictable Actor Address Generation]:::progress
    betterprogrammability --> CallingConvention[FIP0042 - Calling Convention]:::progress

    morestorageusage --> storageproducts
    morestorageusage --> coststoragedown
    morestorageusage --> moreweb3primitives
    morestorageusage --> unboundedstorage[Unbounded storage on-boarding]
    unboundedstorage --> snarkpackagg[Proof Aggregation via SnarkPack]
    fastretrieval --> newporep
    filplus -.-> extracopy
    moreweb3primitives -.-> decentralizedacl
    coststoragedown --> storageonboarding
    coststoragedown --> filplus:::solved
    tokenlocking --> storageonboarding
    tokenlocking --> bettereconpolicy
    bettereconpolicy -.-> sectorDurationmultiplier[Sector Duration Multiplier]:::progress
    bettereconpolicy -.-> wrFIL
    bettereconpolicy --> EIP1559:::solved
    storageonboarding -.-> cheaperporep
    NOposeidon -.-> bettervc
    subgraph PoRep Improvements
        cheaperporep -.-> improvingsdr
        improvingsdr -.-> changegraphs
        improvingsdr -.-> changelayers
        improvingsdr -.-> reducingsoundness
        cheaperproving -.-> bettervc
        subgraph VC
        bettervc --> tradeoffvc --> MuppetsVC:::solved
        bettervc --> snarkcompatiblevc
        snarkcompatiblevc --> vcsnark --> linkablevc --> CaulkVC:::solved
        end
        subgraph Snarks
            testudo
            halo2
            lookuptable -.-> halo2
            bettersnark -.-x halo2:::solved
            universaltrustedsetup -.-> halo2
        end
        cheaperporep -.-> cheaperproving
        cheaperproving -.-> bettersnark
        cheaperporep -.-> newporep
        cheaperproving -.-> changehashfunction
        cheaperproving -.-> speedingupsha
        speedingupsha -.-> rationalproofs
        speedingupsha -.-> lookuptable
        speedingupsha -.-> booleansnark
        speedingupsha -.-> changehash --> MiMC
        newporep -.-> NSE:::solved
        newporep -.-> VCporep --> bettervc
    end

    ETHIPFSPinning --> merkletreetranslation
    merkletreetranslation -.-> fraudproofmerkletree[Fraud Proof on-chain for Merkle Tree Translation]
    merkletreetranslation -.-> offchaininteractivemerkle["Interactive Protocol for Merkle Tree Translation (deal making)"]
    changehashfunction --> merkletreetranslation
    subgraph Storage Products
        storageproducts --> programmablestoragemarket
        programmablestoragemarket --> forwardcomp[FIP0041 - Forward Compatibility for PreCommit Replica Update]:::solved
        crosschainfil --> ETHIPFSPinning
        onchainstorage --> crosschainfil
        storageproducts --> onchainstorage
        onchainstorage -.-> crowdstorage
        onchainstorage -.-> perpetualstorage
        storageproducts -.-> retriev
        storageproducts -.-> avail
        onchainstorage -.-> verifiabledb
        onchainstorage -.-> insurancefees
        avail --> layer2miner 
        avail --> fastOnboarding
        avail --> archivalStorage 
        retriev -.-> incentives
        incentives -.-> MetricDao
        retriev -.-> insurancefees --> RetrievOracle
        perpetualstorage --> bountycontract
        ETHFILdatabridge --> fildealoracle
        ETHFILdatabridge --> bountycontract
        ETHIPFSPinning --> bountycontract
        ETHIPFSPinning --> ETHFILdatabridge
        crowdstorage -- 100% --> bountycontract
        fastretrieval -.-> extracopy
        extracopy --> RetrievOracle
        extracopy --> extracopyproof
        retriev -.-> fastretrieval
    end
    extracopyproof --> changehashfunction 
    MetricDao --> ObjectiveTruth
    RetrievOracle --> ObjectiveTruth
    
    subgraph Security
        security --> snarkpack
        security --> drandremove
        security --> alternativeporep
        security --> hashing --> NOposeidon
        security --> easytoupgrade --> universaltrustedsetup
        security --> staticPCD["FIP 0034 - Static PCD"]:::solved
    end
    universaltrustedsetup -.-> testudo
    bettersnark -.-> testudo:::progress

    
    alternativeporep -.-> newporep
    fastOnboarding --> NIporep
    NIporep -.-> bettervc
    NIporep -. 100% .-> inputhidingaggregation
    noPCD -- 100% --> NIporep
    storageonboarding -.-> noPCD
    noreqsonseclifetime -- 100% --> noPCD
    subgraph Medusa
        decentralizedacl --> thresholdcryptonetwork
        thresholdcryptonetwork --> onchaindkg:::solved
    end
    

ltfil[Long term Filecoin]
ltviability[Long term economic  viability]
filrewards[Rewards after FIL mining subsidy]
earningnetwork[Network Earns]
secureecon[Secure Economic Value]
ecosystem[Ecosystem of participants]
permissionlessinnov[Fast Permissionless innovation]
ltfil --> ltviability --> filrewards
selfresilient --> ecosystem
ltfil  -->  selfresilient[Self-resiliant system] --> knowledgesharing[knowledge sharing both human and technological]
ltviability --> secureecon
secureecon --> earningnetwork
earningnetwork --> feespaid
secureecon --> tokenlocking
ltfil --> security
selfresilient --> permissionlessinnov


subgraph Resilience
    knowledgesharing
    permissionlessinnov
    ecosystem
end
fastupgrade[Fast upgradeability]
fvmfil[Filecoin in Smart Contracs]
permissionlessinnov --> fastupgrade --> easytoupgrade
fastupgrade --> fvmfil --> fvm

ltfil --> computechain
computechain[Blockchain for Computation and storage]
computeoverdata[Compute over data]

computability[Cross chain computability]
interop[Interoperability with other chains]
verifiablestate[Provable Filecoin State]
backupchains[Backup other chains]
subgraph Computing
    computeoverdata
    computability
end
computechain --> computeoverdata
computechain --> computability
computability --> interop
computability --> backupchains
backupchains --> interop
backupchains --> avail
backupchains --> crosschainfil
crosschainfil --> interop

interop --> verifiablestate
interop --> fildealoracle
computability --> ipldcompliance[Convince other networks to be IPLD-compliant]

Secure economic value

High amount of data stored in FIL
-> High amount of capacity in FIL
-> Filecoin wants more hardware committed to Fil

-> Generating new economic value external to filecoin economy
-> Data utilized in the network
-> Computation
-> High amount of data retrieved

Amount of computation/interaction over the data