Proofs of Space
1. Next Concretely Usable Constructions for Proofs of Space
Estimate: Q3 with some parts in Q2
Team: Anca&Matteo, Carla Rafols, Leo Reyzin, (Luca&Irene?)
2. Stake-and-Consensus-Compatible Retrievability in Filecoin
Retrievability is not guaranteed at the moment. Understanding this problem from a cryptographic perspective could be useful, e.g. switching to proofs of retrievability.
[Still a stub, but in progress] (NB: not happening. )
Team: @Anca Nitulescu @Matteo Campanelli @Irene Giacomelli @Luca Nizzardo @Leo
3. Proofs of Space Educational Material
Team: Anca&Matteo
Goal: have a webpage and basic resources on PoS in general and new directions for PoS improving Filecoin in particular
4. Proofs of Space from Polynomial-based techniques
(NB: related to grant from late 2022. See below)
Estimate: lower effort and longer term
Goal: dramatically decreasing the number of challenges at auditing time keeping the security high (and actually increasing it)
Context: Grant to Ioanna Karantaidou
Team: Matteo, Giuseppe Ateniese, Foteini Baldimtsi, Danilo Francati, Ioanna Karantaidou
5. Lookup arguments for an Upgradable Filecoin
TODO: clarify connection of project with others. Not quite a new project (it’s related to advisorship of Dario C., for example)
Goal: solve the low hanging fruits for Testudo and lookups
Team: Matteo&Rosario, Dario Catalano, Dario Fiore
6. Curve Translation between systems
7. Vector Commitments for Filecoin State (with FIL+ simplification and exportability goals)
Part 1: Figuring out what others are doing
Part 2: Solve FIL problems
Part 3: export Filecoin