PoSt Stamps: proposal for removing VDF

Assign

Terrible Interactive PoSt

Intuition: A miner submits a PoSt proof at every block i, using the seed at block i-1.

Problem: The on-chain footprint is 192bytes * number of miners, this is completely impractical.

Next steps: Can we avoid everyone submitting a proof at every block?

Improvement 1: We can submit a commitment to the proof at every block, and generating a snark that proves that all the commitments open to correct proofs! (The on-chain footprint is still very impractical 32bytes * number of miners at every block)!

Improvement 2: We can submit commitments to the proof at every block to a special node which collects all the commitments and puts them in a merkle tree. At the end of the proving period a miner generates a snark showing that at every block they had a valid inclusion proof for their proof. (The on-chain footprint will be a minimum of 32 bytes for the entire network!)

PoSt Stamps

Stamp: A PoSt stamp Stamp_t is a commitment to an online PoRep proof (a single PoSt epoch).
Aggregator: A PoSt Aggregator is a special node that collects

Intuition:

At every block:

Each miner runs a single PoSt step (online Proof of Replication) using the seed from the previous block
Each miner submits a stamp to the Aggregator
The Aggregator build an accumulator and sends an inclusion proof to each miner

After the proving period:

Each miner submit a SNARK that prove that there is a commitment at every block (by proving that it's included in the accumulator block) and that every commitment opens to a correct Proof of Spacetime step

New problems:

What if the aggregator is offline? Ideally each miner sends their PoSt to multiple aggregators and multiple aggregators submit the proofs on chain.
What's the incentive for an aggregator to aggregato proofs? Unclear!
What if an aggregator does not include a proof? A miner should make sure they send it to multiple aggregators :(

PoSt Stamps

Stamp: A PoSt stamp Stamp_t is a commitment to an online PoRep proof (a single PoSt epoch).

Aggregator: A PoSt Aggregator is a special node that collects

Intuition:

At every block:

Each miner runs a single PoSt step (online Proof of Replication) using the seed from the previous block
Each miner submits a stamp to the Aggregator
The Aggregator build an accumulator and sends an inclusion proof to each miner

After the proving period:

Each miner submit a SNARK that prove that there is a commitment at every block (by proving that it's included in the accumulator block) and that every commitment opens to a correct Proof of Spacetime step

New problems:

What if the aggregator is offline? Ideally each miner sends their PoSt to multiple aggregators and multiple aggregators submit the proofs on chain.

What's the incentive for an aggregator to aggregato proofs? Unclear!

What if an aggregator does not include a proof? A miner should make sure they send it to multiple aggregators :(