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 Commitments
Caulk: 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
ReSnap: Repeatable SnapDealsSuperseeded
Misc
SnapDeal v2On-chain Storage ProductsFilecoin Plus premiumFilecoin as Data Availability LayerData Persistance