We work on major high impact upgrades for the Filecoin network that have complex protocol design or cryptographic components.
These are the milestones that CryptoNet is planning to work.
Filecoin Protocol Improvements
User-programmed actors on the FEVM (and later FVM native) can interact with the built-in actors via an API that is friendly for them and that we are fairly confident can remain stable indefinitely. This may exclude some data and functionality that we expect to change soon.
Currently handed over to @Aayush Rajasekaran
A Standardised format for batched Merkle Proofs and library for their creation and verification
A library for on- and off-chain use implementing Merkle tree construction and inclusion proof generation and verification, batching proofs for the same root and defining Merkle inclusion proof format in the Filecoin ecosystem. Its primary uses are sub-deal inclusion proofs, a requested enchantment to Filecoin dealmaking; a standardised format for proving off-chain state to be used by Actor developers and enabling highly optimized Merkle proof verification endpoint within FVM.
Status: Ready and waiting to ship
We are not aware of any PoRep issues at this time, but it is crucial to have a plan to deal with any possibility. This proposal introduces a concrete mechanism for processing all sectors, and describes (but does not implement) a policy that uses the mechanism.
User-programmed actors can function as storage markets, interacting with data stored in sectors, and with Filecoin Plus verified allocations. These markets can implement different policies for terms, fees etc, as well as new functionality like replication, deal extension, deal transfer. The built-in market actor is removed from the network-critical trusted code base. More details in FIP Discussion #298.
SnapDeals today allows Storage Providers to put data into Committed Capacity sectors, while this is great capacity, due to system constraints the ability to repeat that process on the same sector was removed from the roadmap of SnapDeals. This system constraint is removed with FIP-0045 going into effect. Repeated SnapDeals on one sector is one of the last pieces required to unlock the full utility of latent replicas in the Filecoin network.
These are the FIPs CryptoNet members worked on.