We work on cryptography and protocol design heavy projects.
We have three lines of work: Protocols, Research, Products.
Protocols
Improve Data onboarding pipeline
Synthetic PoRepNon Interactive PoRepStorage Utilization
Storage Market Programmability
Make Filecoin easy to program with better standards and programmable storage markets features
Filecoin storage/data programmabilityFVM Capabilities & StandardsEnabling Filecoin Client Data UsageCross-Chain Interoperability
Export Filecoin storage to other Web3 systems, making it useful from anywhere.
Filecoin cross-chain interoperabilityEconomic Stability & Robustness
Pledge Collateral Scarcity
Reduce pledge collateral requirements when tokens are hard to lease.
Pledge Collateral ShortfallNetwork value capture
Align Filecoin network fees with value provided to participants.
Network Security
Security
Monitor the network, detect issues and propose immediate solutions.
Research
Proof of Space
Find a replacement for Filecoin current proof of space with faster retrieval and cheaper proof generation.
Proof of Space EffortsFilecoin client data usage
Enable verifiable computation over data stored on Filecoin
Previous work
Launched
SnapDeal
SnapDeal unlocked over 10EiB+ of committed capacity in Filecoin by making it possible to update the date embedded in Proof of Space.
SnapDeals ProjectData Preparers Markets
A large majority of users onboard data onto the Filecoin network via an aggregator. This FRC makes aggregatorsβ work verifiable.
Verifiable Off-chain Data AggregationSnark Aggregation
Filecoin Proofs of Space are Groth16 proofs and their rate is linear to the amount of storage proven. This poses a limit to the network growth. By aggregating Groth16 proofs with SnarkPack, we removed this limit allowing for superlinear scaling.
SnarkPack: Practical Groth16 AggregationVector Commitments
Find a replacement for Merkle trees that is proof-friendly so that it can be used for (1) better proof of space, (2) a provable Filecoin state that can be used for computing over data and for exporting Filecoin to other chains.
Muppets: Maintainable Updatable Tree-based Vector CommitmentsCaulk: Lookup Arguments in Sublinear TimeCheaper SNARKS
Testudo is a proof system designed to be cheap to generates proofs on with universal trusted setup. The goal is to have 4-20x faster to generate proofs.
TestudoCurve agnostic Filecoin proofs
The ability to move a sector from one proof and specific curve to another proof system and/or curve.
Translation proof for curve agnostic Filecoin proofsSpinoffs
Retriev provides a cryptoeconomic guarantee of retrieval. Storage providers can make a retriev deal by putting down collateral that will be slashed in case they failed at serving the file to a user and a third party committee.
Medusa: Programmable Access Control for Data
Create a decentralized access control network so that data stored on IPFS and Filecoin can have privacy functionalities.
Medusa: Scalable Threshold Network on-chainPaused
Lookup Arguments for SHA
Filecoin Storage Proofs circuits are for more than 90% SHA. By making SHA cheaper to prove, massively reduce the cost for proofs.
Lookup SNARK (for SHA)Filecoin Neutron
Storage Providers run their mining book-keeping on-chain (reporting faults, proving storage, calculating power, etc.). The Neutron proposal shows how it can be done offchain using SNARKs
Neutron: Off-chain miner stateVerifiable Databases
If Web3 is to replace Web2 then it needs to be able to handle large datasets and queries on those. Can we have verifiable Databases for Web 3?
Verifiable Data Queries for Web3Private Content Routing
Improve privacy in IPFS network through private content routing.
Privacy-Preserving Content RoutingVerifiable Computation over large committed vectors
Big Data, Small ComputationsSuperseeded
Misc
SnapDeal v2On-chain Storage ProductsFilecoin Plus premiumFilecoin as Data Availability LayerData PersistanceRational Proofs for Proofs of Space and BeyondWeb3 ExplorationAreas of work
Storage Protocols
Research and design protocols that improves the quality of storage services provided by Filecoin, unlock data uses in Filecoin and export Filecoin to other chains.
Storage ProtocolsMaximise Data Utility
Further the utility of data onboarded onto Filecoin and the onboarding process itself by focused changes to protocols used by Filecoin ecosystem.
Maximise Data Utility