# 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