🚩

Milestones

⚠️ The following db is synced automatically with our current weekly SitRep Open the arrows to discover more ⚪️ TBD 🔵 In Progress 🟡 Needs attention ✅ Done 🔴 Stopped

‣

🔮 Protocol Opportunities

Name	Status	Quarter	DRI	Date
Implement it (MVP)	✅		Kubuxu	February 20, 2023 → February 24, 2023
Integration with existing libraries	Not started		Kubuxu
User Friendly API	✅		Kubuxu	February 27, 2023 → March 10, 2023
First prototype for inclusion proofs during computation of CommP	✅		Kubuxu	February 20, 2023 → February 24, 2023
Kuba will complete the two sections (security and design reasoning)	✅		Kubuxu
Commitment Scheme format agreement	✅	2022Q4	Kubuxu	March 19, 2023 → March 19, 2023
Software for generation of data segments inclusion proof	🔵	2023Q1	Kubuxu	February 12, 2023 → March 24, 2023
Support for verifying data segment inclusion proofs on-chain	🔵	2023Q1	Kubuxu	February 12, 2023 → March 17, 2023
Data Prepapers API Standard	Not started	2023Q1
SubPieceCID Registry smart contract with Merkle trees verification	⚪️	2023Q2
Built-in actors API for user-programmed actors	✅	2022Q4	Kubuxu
Verifiable Off-chain Data Aggregation	🔵	2023Q2	Kubuxu
🐞 FIP47: PoRep Bug Policy	🔵	2023Q2	Kubuxu	April 30, 2023 → April 30, 2023
Externally-verifiable consensus and state checkpoints for Filecoin	🔵	2023Q2	Alex North
Filecoin state verification into Ethereum	Not started	2023Q2
Write the FIP for Synthetic PoRep	✅	2023Q1	Irene	March 31, 2023
Research the best solution to make SnapDeal cheaper	✅	2023Q1	Luca	February 10, 2023
🦿 Synthetic PoRep	🔵	2023Q1	Irene	March 31, 2023
🥁 Optimistic SnapDeal	🔵	2023Q1	Luca	March 31, 2023
SubPieceCID Registry smart with SNARK verification (potentially dropped)	Not started	2023Q2
FIP and code are ready	✅	2022Q4	Kubuxu
Proof Friendly data structure for exportable Filecoin state	Not started	2023Q4
Planning session to understand timeline	Not started	2023Q1	Kubuxu
(advising) 🍝 FilFil: PeSto and Filecoin Archive	🔵	2023Q1	Irene	March 31, 2023
(security) Short term fix for Cron	🔵	2023Q1	Alex North
(security) Cost of PoRep	🔵	2023Q1	Irene
	🔵	2023Q1	Alex North
🤝 Filecoin cross-chain interoperability	🟡	2023Q4	Alex North
User-programmable storage markets (with Lotus)	Not started	2023Q2	Alex North
Repeatedly updatable storage ("Re-snap")	Not started	2023Q2	Kubuxu
Code	Not started		Alex North
Create the FIP for Optimistic SnapDeal	Not started	2023Q2	Luca	April 2, 2023
Propose the chosen solution (Optimistic SnapDeal)	🔵	2023Q1	Luca	March 31, 2023
Report on the new security margin and propose fix (if needed)	Not started	2023Q1	Irene
Review the model	🔵	2023Q1	Irene	March 6, 2023 → March 31, 2023
Short-term FIP is shipped	🔵	2023Q1	Alex North
Short-term FIP is in the public	✅	2023Q1	Alex North
Gather initial feedback from SP	✅	2023Q1	Nicola
Resolve int overflow TODOs	🔵
Export Format	Not started
Storage Format	🔵		Kubuxu	February 27, 2023 → March 10, 2023
Testing	🔵		Kubuxu	February 27, 2023 → March 10, 2023
FRC merged (waiting on Kaitlyn to assign number and merge)	🔵		Kubuxu	February 27, 2023 → March 3, 2023
Find parameters and alternative proposals and sync with CEL	🔵	2023Q2	ZX Zhang
Generate test vectors for solidity implementation	✅			February 20, 2023 → February 24, 2023
Agree and implement on changes to simplify implementation	🔵	2023Q1	Alex North	February 19, 2023 → March 6, 2023
Lib and docs	✅	2023Q1
Decoder for boost	✅	2023Q1	Kubuxu	February 13, 2023 → February 17, 2023
Negative tests and test vectors	⚪️
Draft a new concrete proposal w/ analysis of impact	✅	2023Q1	Alex North
Create Synthetic PoRep shipping effort	🔵	2023Q1	Irene	March 24, 2023 → March 31, 2023
Deploy to Filecoin	Not started	2023Q2	Alex North
FRC is reviewed and approved (continuing with minor edits and chasing people)	✅		Kubuxu	February 13, 2023 → February 24, 2023

‣

📖 Research Enablers

Name	Status	Quarter	DRI	Date
Have 5 Network Grants	✅	2022Q4	Rosario Gennaro
Have 5 more Network Grants and 1 External Event	🔴	2023Q1	Rosario Gennaro
Have 5 more Network Grants and 1 more External Event	🔴	2023Q2	Rosario Gennaro
Have 5 more Network Grants	🔴	2023Q3	Rosario Gennaro
Testudo77 v0.1: Initial performance prediction	✅	2022Q4	nikkolasg g
Testudo77 v0.2: Basic research done	✅	2022Q4	nikkolasg g
Testudo81 v0.3: De-risking Filecoin deployment	🟡	2023Q1	nikkolasg g
Testudo81 v1: Ready for writing proofs	Not started	2023Q2	nikkolasg g
Testudo81 Filecoin Proofs live on testnet	Not started	2023Q2	nikkolasg g
Testudo81 Filecoin Proofs live on mainnet	Not started	2023Q3	nikkolasg g
Testudo is audited	Not started	2023Q4		August 31, 2023
Testudo is launched into Filecoin	Not started	2023Q4		September 30, 2023
Filecoin Proofs are written for Testudo	Not started			May 31, 2023
FIP for adding support to Testudo Proofs	Not started			May 31, 2023
Paper is public	Not started			May 31, 2023
New proofs are live in Filecoin Testnet	Not started			June 30, 2023
Add Ability to support circuits	Not started	2023Q1		March 31, 2023
Verification circuit for Testudo	Not started	2023Q1		March 31, 2023
More optimizations if needed	Not started	2023Q2		April 30, 2023
Aggregation feature implemented	Not started	2023Q2		June 30, 2023
Trusted setup is finalized	Not started	2023Q2		May 31, 2023
Can we design a Trusted Setup for Testudo?	✅	2023Q1		February 28, 2023
Backward compatible solution BLS12-381 designed	✅	2023Q1		February 28, 2023
Can Bellperson speed ups make Testudo 4x faster than Groth16? (blst+GPU) (low risk)	🔵	2023Q1		February 28, 2023
Will the final proof size and verification time be acceptable for Filecoin?	🔵	2023Q1		March 31, 2023
Small universal trusted setup	🔵	2023Q1		January 31, 2023
Establish if the protocol can be used to replace current FIL proofs	✅	2022Q4
Compare protocol to other SNARKS with universal trusted setup	✅	2022Q4
Efficient SNARKs over Vector Committed data	🔵	2023Q2
Make portions of the Filecoin state proof friendly ❓	Not started	2023Q4
Efficient data updatability inside sectors ❓	Not started	2023Q4
Replace Merkle trees with VC in Filecoin PoRep ❓	Not started	2023Q4
Solve BDSC for Plonk with Caulk/Muppets/Baloo	🔵	2022Q4	Anca Nitulescu
Solve BDSC for Groth16(+Testudo) with Caulk	🔵	2022Q4
Design of foundational Vector Commitment schemes	✅	2022Q3	Anca Nitulescu
	🟡	2023Q1	Anca Nitulescu
Implementation of the Lookup Table	🔴	2023Q2	Anca Nitulescu
🔭 Proof of Space Exploration	🔵	2023Q2
🛡️ Testudo	🟡	2023Q4	nikkolasg g
Vector Commitments for Proof of Space and Merkle Trees	🔴	2023Q4	Anca Nitulescu
Network Grants Program paused	🔴	2023Q3	Rosario Gennaro
Linear-map VC: unify all the great properties of different VC	✅	2022Q2	Anca Nitulescu
Caulk: Vector commitments that can have linkability property	✅	2022Q2	Anca Nitulescu
Muppets: Vector commitment that has trade-offs between computation and space	✅	2022Q3	Anca Nitulescu
First results for lookup sha	✅	2022Q4	Anca Nitulescu
Get access to Groth16 SHA verification (with FilCrypto team)	✅	2023Q1	Anca Nitulescu
Compare to SHA and estimate whether non-lookup constraints are substantial or not (Matteo had some code running and new benchmarks)	🔴	2023Q1	Matteo Campanelli	March 3, 2023
Start conversation channel with Zcash engineers, Ethereum, etc. to ask for feedback	✅	2023Q1	Nicola
Muppets Implementation	🔴	2022Q4
Caulk Implementation	🔴	2022Q4
Blog post on Testudo	🟡	2023Q1	Rosario Gennaro	February 27, 2023 → March 25, 2023
🔍 Lookup SNARK (for SHA)	🟡	2023Q4	Anca Nitulescu
Implementation: Batching + Aggregation ?	Not started
Write a PoS Explainer “from the ground up-post	🔵	2023Q1	Matteo Campanelli	March 13, 2023
Check VDF based solutions wrt current technology advancements (did something changed in the last 2y?)	Not started
Review the 2021Q2 solutions, in light of new Snark Tool not available back then (SnarkPack, Snark generic efficiency improvements)	Not started
Review NSE and potentially update its cost in light of SnarkPack	Not started
Write SDR and list of current problems (or just find the open problems that we have)	Not started
Review existing solutions	Not started	2023Q2	Irene Luca	March 24, 2023
Start thinking of a new scheme that satisfies the definition	Not started	2023Q2
Finish modeling and understanding requirements	🔵	2023Q1		March 31, 2023
Review for the cost assumption in the new notations from last stable document	🔵	2023Q1	Irene	March 7, 2023
Document with new directions for an external audience Overleaf	🔵	2023Q2	Anca Nitulescu	March 31, 2023
First discussions: Proof of space – New Directions	✅	2023Q1		February 24, 2023
New Definitions and Scheme	🔵	2023Q2	Anca NitulescuIrene Luca Matteo Campanelli	May 31, 2023
Share the page with relevant researchers and communities	Not started	2023Q2	Anca Nitulescu	March 24, 2023
Collect feedback	Not started	2023Q2	Matteo CampanelliNicola	March 20, 2023
Finalize the project page and produce new slides/ figures/educational material if needed	Not started	2023Q2	Anca Nitulescu	March 13, 2023
New skeleton for the PoS page	Not started	2023Q1	Nicola	March 9, 2023
Set a new project page	🔵	2023Q1	Anca Nitulescu	March 9, 2023
Create open problem page to open the problem to the community	🔵	2023Q1	Matteo Campanelli	March 13, 2023 → March 13, 2023
Proof of Space New page for educational material	🔵	2023Q2	Matteo Campanelli	March 17, 2023 → March 17, 2023
Theory: Computational commitment de-risked	✅	2023Q1	Matteo Campanelli	February 24, 2023
Theory: Aggregation protocol	🔵	2023Q1
Code documentation	🔵	2023Q1	Mara Mihali	February 17, 2023

‣

🏗️ Product Builders

Name	Status	Quarter	DRI	Date
Deploy a concrete Access Control application	✅	2022Q3	nikkolasg g
Feature complete with all cryptographic proofs	✅	2022Q4	nikkolasg g
Production ready testnet on Filecoin & Arbitrum (TBD)	🔵	2023Q1	nikkolasg g
Spin off and real customers	🔵	2023Q1	Max
Public Decryption (Timelock example) + Randomness Beacon	Not started	2023Q2	nikkolasg g
Permissionless network	Not started	2023Q2	nikkolasg g
Two storage products reach testnet (Retriev.org, Web3bounty.app)	✅	2022Q4	Irene
Onchain.Storage data wallet dashboard	🔴	2022Q4	Max
Launch Retriev	🟡	2023Q2	Max
New cofounder	🔵	2023Q1	Jonathan Easterman
Applications use Medusa	🔵	2023Q1	nikkolasg g
Arbitrum testnet deployed	✅	2022Q4	nikkolasg g
Medusa is now on FVM Launch (Announced at Spacewarp)	✅	2023Q1	nikkolasg g
Public Launch Announcements (est. 10 Feb) with Branding + Documentation	✅	2023Q1	nikkolasg g	February 15, 2023 → February 15, 2023
Medusa v0.1.1: Minor features (gas, revoke, etc)	🔵	2023Q1	nikkolasg g	February 28, 2023 → February 28, 2023
Developers + Project documentation	✅	2023Q1	Jonathan Easterman
Pitch deck v1	✅	2023Q1	Max
Pitch deck v2 in progress with external feedback	🔵	2023Q1	Max
New website with new production branding	🔵	2023Q1	Max
Rebrand demo application	Not started
Handle RPC outages gracefully	✅
Present a Medusa Workshop to Spacewarp builders	✅
At least 2 people are using Medusa in Spacewarp projects	✅
DKG proofs - testing phase now	✅
“Just” need to merge PR	✅
Retriev to be integrated in Estuary as first large scale deployment	🟡	2023Q2	Max
🗃️ Retriev.org	🟡		Max
🐙 Medusa	🔵		nikkolasg g
Select partners to run independent nodes	Not started	2023Q2	nikkolasg g
Security audit	Not started	2023Q2	nikkolasg g
Secret Resharing (on pause)	Not started	2023Q2	nikkolasg g
Cryptoeconomic model and implementation	Not started	2023Q2	nikkolasg g
Mainnet ready	Not started	2023Q2	nikkolasg g
Improve network ops	🔵	2023Q1	Jonathan Easterman
Nucleate Medusa	🔵	2023Q1	Max