Goal

We want to move a sector from one proof and specific curve to another proof system and/or curve. This would allow us to rely on the effort from the ecosystem to push for better and better SNARKs and enables faster development of new features on Filecoin.

Technically: The SP should be able to prove that he has two sectors, one encoded with former curve A and the new one encoded with new curve B that encodes the same data. To do this, we ask him to reveal randomly X positions on both sectors (his commR) and verify that the leaf, the actual encoded data, is the same on both.

Strategies

These are the potential strategies currently being worked on:

Direct translation: Translate directly from the Poseidon hashing in one curve to the poseidon hashing in another curve using non native arithmetics.

Pros: A SP can directly take advantage of another proof system, no need for change on current proof system

Cons: costly + translation is only useful for one other proof system/curve, not for all

“Curve agnostic hash”: Take the commR in Poseidon, make a translation proof on sha256 / blake2 etc. Then any curve / proof system can directly translate from this hash function to the “snark friendly hash function” they want to use for this proof system.

Pros: Once translation is done for a “curve agnostic” hash function, then it can be re-used for multiple proofs system → multitude of proof systems/curve available at once

Cons: extra cost for SP that needs to do this intermediate step, “2 proofs” instead of 1 per sector now.

New Vector Commitment: Changing proof system and curves also allows us to change vector commitment at the same time ! Depending on which VC we use the translation cost may be acceptable !

Challenges:

Bit Sizes: challenge is to embed the data inside another scalar field of the other curve. We need 255 bits however the major curves out there are 252 or 254 bits !
Non Native / Common inputs: We need to make sure the same data are input to both proof system , there needs to be a “link” between the two !

Overview

	Constraint Costs	Using SnarkPack
Separate Proofs w/ Blake2 w/ 377	47M (381) + 64M (377 - 40s)
Direct Translation w/ Poseidon	26 B	26M w/ 1k proofs
Curve Agnostic w/ SHA256	3.6 B	36M w/ 100 proofs
Curve Agnostic w/ Blake2	2.25 B	22.5M w/ 100 proofs
Separate proofs w/ Blake2 w/ 377 w/ Anemoi	47M (381) + 40M(377)

Ongoing exploration code repository

Cost of Poseidon hashing in Filecoin

Using Poseidon Natively:

8-arity Hash = 565 constraints

Detailling all additions / multiplications:

The following describes the number of field additions and multiplications one needs to do to evaluate a poseidon with 8 arity without optimizations.

Field additions  = 5850
Field multiplications  = 5652

‣

Details from Jake

First general formula

// "Width" (or "capacity").
t = arity + 1

// Number of full and partial rounds.
rf, fp = lookup round numbers for `t` in table:
    https://github.com/lurk-lab/neptune/blob/master/parameters/round_numbers.txt

// Total number of rounds.
r = rf + rp

// The number of field operations required to an sbox: x^5 = (x^2)^2 * x.
muls_per_sbox = 3

// Number of sbox field multiplications per full/partial round.
sbox_muls_per_rf = t * muls_per_sbox
sbox_muls_per_rp = muls_per_sbox

// Number of field additions per round for adding round constants into `state`.
rc_adds_per_round = t

// Number of field operations per matrix-vector multiplication (of MDS matrix with `state` vector).
mds_adds_per_round = t^2
mds_muls_per_round = t^2

// Total number of field operation:
total_adds = r * (rc_adds_per_round + mds_adds_per_round)
total_muls = r * mds_muls_per_round + rf * sbox_muls_per_rf + rp * sbox_muls_per_rp

Then applied to Filecoin’s case

t = arity + 1 = 9
rf, rp = 8, 57
r = rf + rp = 65
sbox_muls_per_rf = 3 * t = 27
sbox_muls_per_rp = 3
rc_adds_per_round = t = 9
mds_mixing_adds_per_round, mds_mixing_muls_per_round = t^2 = 81

total_adds = 65 * (9 + 81) = 5850
total_muls = 65 * 81 + 8 * 27 + 57 * 3 = 5652

Cost of translation proof

One needs to realize on the order of 3000 merkle tree inclusion proofs on both curves.

Each inclusion proof on the current Filecoin system (curve and setting) is about 10 * 8-arity Poseidon hashes.

In total, we can say a translation proof requires at least evaluating 30k 8-arity Poseidon hashes + the cost of 3000 “inclusion proof” on the other proof system.

Milestones and roadmap

‣

📖 Research Enablers

Name	Status	Quarter	DRI	Date	OKR
Design & analysis for consensus changes for interop	Not started	2023Q3	Alex North		KR10: Concrete proposal to enable Export Filecoin into other chains
Fil-PoA FIP out	Not started
Fil-PoA FIP discussion out	Not started
‣ Understand if Fil-PoA is worth Pursuing	Not started
Analyze of SaaS benefits	Not started
Estimate gas costs compared with today	Not started
Estimate proving costs wrt today considering SN improvements and NI Proving overhead	Not started
Deploy NI-PoRep	Not started
Doc clarifying PoA and FIL+ interaction	Not started
Determine a killer application for PoA	Not started
NI-PoRep FIP	Not started
NI-PoRep FIP discussion	Not started
‣ NI-PoRep technical analysis	Not started
Estimating Proving costs overhead	Not started
Optimistic Commitment Translation	Not started	2023Q4	Kubuxu	August 1, 2023 → December 29, 2023
alignment on Broker ↔ SP side of the market	Not started	2023Q2	Kubuxu	June 5, 2023 → June 16, 2023	KR9: Remove the top bottleneck for data onboarding via ready to deploy FIPs by reducing costs and reduce complexity (we will decide based on prioritization: e.g. early deal activation, separation of deals from sectors)
‣ Replacement Sealing Forcing Function & PoRep Security Policy (FIP-47prime)	🔵	2023Q3	Kubuxu	October 1, 2022 → June 19, 2023	KR1: No known unaddressed high severity protocol and cryptography issues (including Cron safety) KR3: An updated security model for Proof of Space and QAP pricing security is published
‣ 🎯 Direct data onboarding & FIL+ technical design	🔵	2023Q3	Alex North		KR9: Remove the top bottleneck for data onboarding via ready to deploy FIPs by reducing costs and reduce complexity (we will decide based on prioritization: e.g. early deal activation, separation of deals from sectors)
Estimate input blowup	🔵
CryptoEcon Feedback	🔵
‣ Analyze NI-PoRep risks	🔵
Doc on NI-PoRep with Nova (by FilCrypto)	🔵
‣ Explore NI-PoRep w/ ad hoc circuits	🔵
Align with Fil-Crypto on circuit compatibility	🔵
‣ Fil-PoA: Filecoin Proof of Access	🔵	2023Q4	Luca
‣ ⭕ Non Interactive PoRep	🔵	2023Q4	Luca
Define the mechanism for charging fees	🔵	2023Q3	Kubuxu
Align on the purpose of batch balancer and onboarding fees	🔵	2023Q3	Kubuxu
Proposal/FIP for direct FIL+	🔵	2023Q3	Alex North
‣ Removal of Batch Balancer through Onboarding Fees	🔵	2023Q3	Kubuxu	June 12, 2023 → July 25, 2023	KR9: Remove the top bottleneck for data onboarding via ready to deploy FIPs by reducing costs and reduce complexity (we will decide based on prioritization: e.g. early deal activation, separation of deals from sectors)
Document for L2 Deal Market	🔵	2023Q2	Kubuxu	May 15, 2023 → June 6, 2023	KR9: Remove the top bottleneck for data onboarding via ready to deploy FIPs by reducing costs and reduce complexity (we will decide based on prioritization: e.g. early deal activation, separation of deals from sectors)
Support Lighthouse integration	🔵	2023Q2	Kubuxu	May 29, 2023 → June 17, 2023	KR11: 3 players using verifiable off-chain data aggregation and market for subpieces
‣ Support integration of PoDSI	🔵	2023Q3	Kubuxu	May 15, 2023 → June 29, 2023	KR9: Remove the top bottleneck for data onboarding via ready to deploy FIPs by reducing costs and reduce complexity (we will decide based on prioritization: e.g. early deal activation, separation of deals from sectors)
Support FVM via On-chain Aggregator	🔵	2023Q3	Kubuxu	May 15, 2023 → June 29, 2023	KR11: 3 players using verifiable off-chain data aggregation and market for subpieces
Support DagHouse integration	🔵	2023Q2	Kubuxu	March 15, 2023 → June 15, 2023	KR11: 3 players using verifiable off-chain data aggregation and market for subpieces
Implementation of direct FIL+	🔵	2023Q3	Alex North
Deploy PoRep safety mechanism to Filecoin (= being accept as FIP)	🔵	2023Q3	Alex North		KR3: An updated security model for Proof of Space and QAP pricing security is published KR1: No known unaddressed high severity protocol and cryptography issues (including Cron safety)
‣ 🤝 Filecoin cross-chain interoperability	🟡	2023Q4	Alex North		KR10: Concrete proposal to enable Export Filecoin into other chains
Background research on consensus/snapshot/finality options	🟡	2023Q2	Alex North		KR10: Concrete proposal to enable Export Filecoin into other chains
‣ L2 Deal Market	🟡	2023Q4	Kubuxu	May 8, 2023 → October 31, 2023	KR9: Remove the top bottleneck for data onboarding via ready to deploy FIPs by reducing costs and reduce complexity (we will decide based on prioritization: e.g. early deal activation, separation of deals from sectors)
Implement a first version for concrete benchmarks	🟣	2022Q3
‣ Scaling FIL+ VC Allocation	🟣	2023Q3		May 1, 2023 → June 30, 2023
Implement it (MVP)	✅	2023Q1	Kubuxu	February 20, 2023 → February 24, 2023
Integration with existing libraries	✅	2023Q2	Kubuxu
User Friendly API	✅	2023Q1	Kubuxu	February 27, 2023 → March 10, 2023
First prototype for inclusion proofs during computation of CommP	✅	2023Q1	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	✅	2023Q2	Kubuxu	February 12, 2023 → March 24, 2023
‣ Support for verifying data segment inclusion proofs on-chain	✅	2023Q1	Kubuxu	February 12, 2023 → March 17, 2023
Built-in actors API for user-programmed actors	✅	2022Q4	Kubuxu
‣ (security) Short term fix for Cron	✅	2023Q1	Alex North		KR1: No known unaddressed high severity protocol and cryptography issues (including Cron safety)
‣ Verifiable Off-chain Data Aggregation	✅	2023Q2	Kubuxu		KR11: 3 players using verifiable off-chain data aggregation and market for subpieces
FIP for Synthetic PoRep	✅	2023Q1	Irene	March 31, 2023 → April 7, 2023
Draft ideas to make SnapDeal cheaper	✅	2023Q1	Luca	February 10, 2023
‣ 🦿 Synthetic PoRep	✅	2023Q2	Irene	March 24, 2023 → June 30, 2023
FIP-0047 and code are ready	✅	2022Q4	Kubuxu	October 1, 2022 → December 22, 2022	KR1: No known unaddressed high severity protocol and cryptography issues (including Cron safety)
Create the model for cost/profit to compare CC sector upgrade with deal sector strategy	✅	2023Q1	Luca	March 20, 2023 → April 1, 2023	KR7: Leverage CC-Sector upgrade pipeline to onboard XXX storage (via SaaS, Snapdealv2, etc)
Report about model and findings	✅	2023Q2	Luca	May 1, 2023 → June 12, 2023	KR7: Leverage CC-Sector upgrade pipeline to onboard XXX storage (via SaaS, Snapdealv2, etc)
Gather initial feedback about the design for deals larger than sectors	✅	2023Q2	Irene	April 3, 2023 → May 1, 2023
Identify opportunities	✅	2023Q2	Irene	February 1, 2023 → May 22, 2023
Technical design for deal collateral / data termination	✅	2023Q2	Alex North
Technical design for direct FIL+	✅	2023Q2	Alex North
SP ROI calculator connected to data sources	✅	2023Q3	Nicola	March 20, 2023 → June 30, 2023	KR5: Launch Cryptonet Intelligence and publish 3 reports on Filecoin to align opportunities in the network
Publish blog post	✅	2023Q2	Deleted User	May 8, 2023 → June 9, 2023
proposal	✅	2023Q2	Deleted User	May 2, 2023 → June 2, 2023	KR5: Launch Cryptonet Intelligence and publish 3 reports on Filecoin to align opportunities in the network
Working group kickoff	✅	2023Q2	Deleted User	May 29, 2023 → June 5, 2023	KR5: Launch Cryptonet Intelligence and publish 3 reports on Filecoin to align opportunities in the network
Support Delta (ex-Estuary) integration	✅	2023Q2	Kubuxu	May 29, 2023 → June 2, 2023	KR11: 3 players using verifiable off-chain data aggregation and market for subpieces
Proposal/FIP for deal collateral (discuss #719)	✅	2023Q2	Alex North
Publish specs for public discussion	✅	2023Q2	Alex North	April 12, 2023 → May 20, 2023
Implement the model	✅	2023Q2	Luca	April 10, 2023 → May 1, 2023	KR7: Leverage CC-Sector upgrade pipeline to onboard XXX storage (via SaaS, Snapdealv2, etc)
Synthetic PoRep is ready to be deployed	✅	2023Q2	Irene	May 8, 2023 → June 30, 2023
Obtain cost estimation for the different solutions	✅	2023Q2	Luca	April 3, 2023
Documentation	✅	2023Q2	Kubuxu
Publish FIP-0047 replacement (FIP-47’)	✅	2023Q2	Kubuxu	April 10, 2023 → June 19, 2023	KR3: An updated security model for Proof of Space and QAP pricing security is published KR1: No known unaddressed high severity protocol and cryptography issues (including Cron safety)
Figure out design to avoid FIP-0047 after all	✅	2023Q1	Kubuxu	January 10, 2023 → March 15, 2023	KR1: No known unaddressed high severity protocol and cryptography issues (including Cron safety)
Code	✅	2023Q1	Alex North
Gather initial feedback from SPs	✅	2023Q2	Luca	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	Alex North	May 17, 2023 → May 24, 2023
Resolve int overflow TODOs	✅	2023Q2	Kubuxu
Export Format	✅	2023Q2	Kubuxu
Storage Format	✅	2023Q2	Kubuxu	February 27, 2023 → March 10, 2023
Testing	✅	2023Q2	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	Alex North	March 19, 2023 → May 31, 2023
Generate test vectors for solidity implementation	✅	2023Q1	Kubuxu	February 20, 2023 → February 24, 2023
Lib and docs	✅	2023Q1
‣ Decoder for boost	✅	2023Q1	Kubuxu	February 13, 2023 → February 17, 2023
Negative tests and test vectors	✅	2023Q2	Kubuxu
Draft a new concrete proposal w/ analysis of impact	✅	2023Q1	Alex North	March 27, 2023 → April 28, 2023
Synthetic PoRep shipping effort	✅	2023Q2	Irene	March 24, 2023 → March 31, 2023
FRC is reviewed and approved (continuing with minor edits and chasing people)	✅		Kubuxu	February 13, 2023 → February 24, 2023
Data Prepapers API Standard	🔴	2023Q1	Kubuxu
SubPieceCID Registry smart contract with Merkle trees verification	🔴	2023Q2	Kubuxu
Planning session to understand timeline	🔴	2023Q1	Kubuxu
‣ 🏦 Pledge Collateral Shortfall	🔴	2023Q2	Alex North	March 17, 2023 → June 30, 2023	KR6: Short-term liquidity issue addressed (pledge shortfall)
‣ Data Onboarding Pipeline	🔴	2023Q2	Irene		KR9: Remove the top bottleneck for data onboarding via ready to deploy FIPs by reducing costs and reduce complexity (we will decide based on prioritization: e.g. early deal activation, separation of deals from sectors)
FIP for Deal Pre-activation (based on ad-hoc collateral)	🔴	2023Q2	Irene

‣

🔮 Protocol Opportunities

Name	Status	Quarter	DRI	Date	OKR
Minimal changes to Groth16 to make Signature of knowledge	Not started		Anca Nitulescu
Bring content from Proof of Space days online	Not started
Pebbling PoS: SDR and NSE improvements and tighter analysis	🔵	2023Q3	Matteo Campanelli	April 1, 2023 → June 30, 2023	KR2: A new team is assembled to propose a formal model, gather requirements and ship an early design for a new Proof of Space to de-risk SDR aging
‣ 🔭 🛠️ New Proof of Space Constructions	🔵	2023Q3	Matteo Campanelli	March 1, 2023 → September 30, 2023	KR2: A new team is assembled to propose a formal model, gather requirements and ship an early design for a new Proof of Space to de-risk SDR aging
‣ 🔭 Proof of Space: educational material	🔵	2023Q3	Anca Nitulescu	April 17, 2023 → May 26, 2023	KR4: A new proof of space website with educational material attracts 10 different groups
Outreach: talk on Proofs of Space @ Latincrypt affiliated event	🔵	2023Q3	Matteo Campanelli	September 4, 2023 → October 3, 2023
Paper: more efficient rational proofs (grant)	🔵	2023Q3	Matteo Campanelli	June 1, 2023 → October 31, 2023
Paper: Polynomial Evaluation for PoUS Execution Stage (grant)	🔵	2023Q3	Matteo Campanelli	April 1, 2023 → October 31, 2023
‣ Research explorations	🔵
Complete Background and Generic Proof of Space	🔵	2023Q3	Anca Nitulescu
Interviews planning and video production setup	🔵	2023Q2	Deleted User	May 30, 2023 → July 31, 2023
‣ Possible avenues to radical New PoS (and new space-hardness assumptions)	🔵	2023Q3	Matteo Campanelli	May 15, 2023 → July 31, 2023	KR2: A new team is assembled to propose a formal model, gather requirements and ship an early design for a new Proof of Space to de-risk SDR aging
New paper with new results (includes Proof of Space Model and Technical Primer)	🔵	2023Q3	Matteo Campanelli	July 23, 2023 → October 15, 2023	KR2: A new team is assembled to propose a formal model, gather requirements and ship an early design for a new Proof of Space to de-risk SDR aging
Check future directions for how to apply VDF with Nicola	🟡			September 25, 2023 → October 5, 2023
Have 5 Network Grants	✅	2022Q4	Deleted User
‣ Testudo77 v0.1: Initial performance prediction	✅	2022Q4	Deleted User
‣ Testudo77 v0.2: Basic research done	✅	2022Q4	Deleted User
‣ Testudo81 v0.3: De-risking Filecoin deployment	✅	2023Q1	Deleted User
Paper is public	✅	2023Q2	Deleted User	March 1, 2023 → June 19, 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)	✅	2023Q2	Deleted User	February 28, 2023
Establish if the protocol can be used to replace current FIL proofs	✅	2022Q4
Compare protocol to other SNARKS with universal trusted setup	✅	2022Q4
‣ Design of foundational Vector Commitment schemes	✅	2022Q3	Anca Nitulescu
PoS: new page for educational material	✅	2023Q2	Anca Nitulescu	May 8, 2023 → May 26, 2023	KR4: A new proof of space website with educational material attracts 10 different groups
‣ 🛡️ Testudo	✅	2023Q2	Deleted User
‣ Network Grants Program paused	✅	2023Q1	Deleted User
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
Blog post on Testudo	✅	2023Q1	Deleted User	February 27, 2023 → March 27, 2023
	✅	2023Q3	Deleted User	June 5, 2023 → July 21, 2023	KR4: A new proof of space website with educational material attracts 10 different groups
	✅	2023Q2	Deleted User	June 5, 2023 → July 6, 2023	KR4: A new proof of space website with educational material attracts 10 different groups
Updated home page	✅	2023Q2	Anca Nitulescu	June 14, 2023 → July 6, 2023	KR4: A new proof of space website with educational material attracts 10 different groups
Outreach	✅	2023Q2	Anca Nitulescu	May 22, 2023 → August 4, 2023	KR4: A new proof of space website with educational material attracts 10 different groups
2nd iteration of the PoS website	✅	2023Q2	Anca Nitulescu	May 29, 2023 → June 7, 2023	KR4: A new proof of space website with educational material attracts 10 different groups
➿ Curve Agnostic Hash Translation	✅	2023Q2	Deleted User	April 24, 2023 → May 10, 2023	KR12: Demo of verifiable computation over Filecoin data
➰ Direct Translation Exploration	✅	2023Q2	Deleted User	April 24, 2023 → May 10, 2023	KR12: Demo of verifiable computation over Filecoin data
Paper	✅	2023Q2	Deleted User	March 27, 2023 → May 31, 2023
‣ Outreach And Collaboration	✅	2023Q2	Deleted User	March 26, 2023 → April 7, 2023
New formal Research Statement	✅	2022Q3	Anca Nitulescu
Theory: Computational commitment de-risked	✅	2023Q1	Matteo Campanelli	February 24, 2023
Theory: Aggregation protocol	✅	2023Q2	Deleted User
Have 5 more Network Grants and 1 External Event	🔴	2023Q1	Deleted User
Have 5 more Network Grants and 1 more External Event	🔴	2023Q2	Deleted User
Have 5 more Network Grants	🔴	2023Q3	Deleted User
‣ Testudo81 v1: Ready for writing proofs	🔴	2023Q2	Deleted User
‣ Testudo81 Filecoin Proofs live on testnet	🔴	2023Q2	Deleted User
‣ Testudo81 Filecoin Proofs live on mainnet	🔴	2023Q3	Deleted User
Testudo is audited	🔴	2023Q4		August 31, 2023
Testudo is launched into Filecoin	🔴	2023Q4		September 30, 2023
Filecoin Proofs are written for Testudo	🔴			May 31, 2023
FIP for adding support to Testudo Proofs	🔴			May 31, 2023
New proofs are live in Filecoin Testnet	🔴			June 30, 2023
Add Ability to support circuits	🔴	2023Q1		March 31, 2023
Verification circuit for Testudo	🔴	2023Q1		March 31, 2023
More optimizations if needed	🔴	2023Q2		April 30, 2023
Aggregation feature implemented	🔴	2023Q2		June 30, 2023
Trusted setup is finalized	🔴	2023Q2		May 31, 2023
Will the final proof size and verification time be acceptable for Filecoin?	🔴	2023Q2	Deleted User	March 31, 2023
Small universal trusted setup	🔴	2023Q1		January 31, 2023
‣ Efficient SNARKs over Vector Committed data	🔴	2023Q2
Make portions of the Filecoin state proof friendly ❓	🔴	2023Q4
Efficient data updatability inside sectors ❓	🔴	2023Q4
Replace Merkle trees with VC in Filecoin PoRep ❓	🔴	2023Q4
Solve BDSC for Plonk with Caulk/Muppets/Baloo	🔴	2022Q4	Anca Nitulescu
Solve BDSC for Groth16(+Testudo) with Caulk	🔴	2022Q4
	🔴	2023Q1	Anca Nitulescu
Implementation of the Lookup Table	🔴	2023Q2	Anca Nitulescu
‣ Vector Commitments for Proof of Space and Merkle Trees	🔴	2023Q4	Anca Nitulescu
‣ 🔍 Lookup SNARK (for SHA)	🔴	2023Q4	Anca Nitulescu
‣ Privacy-Preserving Content Routing	🔴	2022Q4	Anca Nitulescu
‣ ⚖️ Translations Proofs	🔴	2023Q2	Deleted User	March 24, 2023 → May 30, 2023	KR12: Demo of verifiable computation over Filecoin data
🖇️ New Vector Commitment	🔴		Deleted User
‣ 🛠️ Enabling Filecoin Client Data Usage	🔴	2023Q3		May 20, 2023 → June 30, 2023	KR12: Demo of verifiable computation over Filecoin data
Onboarding devs on Testudo	🔴	2023Q2	Deleted User
The new doc needs feedback https://drive.google.com/file/d/1cuOeos7MT7ZAJWtPB3OS8us0v25fsHdp/view?usp=sharing	🔴	2022Q3	Nicola
Testudo77: Implementation: Batching + Aggregation	🔴	2023Q2
Create open problem page to open the problem to the community	🔴	2023Q1	Matteo Campanelli	March 13, 2023 → March 13, 2023
Code documentation	🔴	2023Q1	Mara Mihali	February 17, 2023

‣

🏗️ Product Builders

Name	Status	Quarter	DRI	Date
Public Decryption (Timelock example) + Randomness Beacon	Not started	2023Q2	Deleted User
Permissionless network	Not started	2023Q2	Deleted User
Rebrand demo application	Not started
Select partners to run independent nodes	Not started	2023Q2	Deleted User
Security audit	Not started	2023Q2	Deleted User
Secret Resharing (on pause)	Not started	2023Q2	Deleted User
Cryptoeconomic model and implementation	Not started	2023Q2	Deleted User
‣ Mainnet ready	Not started	2023Q2	Deleted User
New cofounder	🔵	2023Q2	Jonathan Easterman
Applications use Medusa	🔵	2023Q2	Deleted User
Medusa v0.1.1: Minor features (gas, revoke, etc)	🔵	2023Q1	Deleted User	February 28, 2023 → February 28, 2023
Pitch deck v2 in progress with external feedback	🔵	2023Q1	Deleted User
New website with new production branding	🔵	2023Q1	Deleted User
Improve network ops	🔵	2023Q1	Jonathan Easterman
‣ Launch Retriev	🟡	2023Q2	Deleted User
Derisking	🟡	2023Q2	Deleted User
Deploy a concrete Access Control application	✅	2022Q3	Deleted User
‣ Feature complete with all cryptographic proofs	✅	2022Q4	Deleted User
‣ Production ready testnet on Filecoin & Arbitrum (TBD)	✅	2023Q1	Deleted User
‣ Spin off and real customers	✅	2023Q1	Deleted User
Two storage products reach testnet (Retriev.org, Web3bounty.app)	✅	2022Q4	Irene
Arbitrum testnet deployed	✅	2022Q4	Deleted User
‣ Medusa is now on FVM Launch (Announced at Spacewarp)	✅	2023Q1	Deleted User
‣ Public Launch Announcements (est. 10 Feb) with Branding + Documentation	✅	2023Q1	Deleted User	February 15, 2023 → February 15, 2023
Developers + Project documentation	✅	2023Q1	Jonathan Easterman
Pitch deck v1	✅	2023Q1	Deleted User
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	✅
‣ 🐙 Medusa	✅	2023Q1	Deleted User
Entity formation	✅
Nucleate Medusa	✅	2023Q2	Deleted User
Onchain.Storage data wallet dashboard	🔴	2022Q4	Deleted User
‣ 🗃️ Retriev.org	🔴	2023Q2	Deleted User

Translation proof for curve agnostic Filecoin proofs

Goal

Strategies

Challenges:

Overview

Cost of Poseidon hashing in Filecoin

Cost of translation proof

Milestones and roadmap

🚩
Milestones

Translation proof for curve agnostic Filecoin proofs

Goal

Strategies

Challenges:

Overview

Cost of Poseidon hashing in Filecoin

Cost of translation proof

Milestones and roadmap

🚩Milestones

🚩
Milestones