Proof: Power Table (Filecoin) is equivalent to Proof of Stake

[bvohaska]

Prove/Disprove

[nicola]

In a proof of stake protocol:

• state: there is a stake table that describes an amount of allocated stake for each public key
• adding stake: users can add stake by submitting special transactions and locking money
• keeping stake: this is implicit, if stake is still locked, then stake is still valid
• removing stake: users can remove stake by submitting special transactions and unclocking their money OR they misbehave and the protocol removes stake

In our storage based consensus:

• state: there is a power table that describes amount of allocated stake for each public key
• adding power: users can add power by submitting a proof of replication with a special transaction
• keeping stake: users keep on submitting proofs of spacetime to guarantee that the power is still available to them
• removing stake: users can remove power by finishing to submit proofs, transfering their sectors to someone else OR they misbehave and the protocol removes their power

Let me know if this help

[nicola]

A proper "proof" should end up in a possible SPC paper

[sternhenri]

Closing for now.