Henri

Yikes... 7 crypto-years is a long time.

The following doc makes a proposal for full EC parametrization for the Filecoin Testnet, including recommendations for modulating them in Testnet. It depends on other docs detailed below. - [Parameter...

[Attack] Lookback period grinding

5

Counting null blocks in your lookback parameter for committee selection (N-L in the spec), an attacker could choose to grind null blocks in order to move through to the power...

Patch/ts

1

Spot check please: we had made a mistake in how the sim treated tipsets, whereby null blocks were used as tipsets (breaking the abstraction that they are just more tickets...

Local Predictability's effect on attacks

1

This conversation came up in discussion with @whyrusleeping, discussing tradeoffs related to lookback parameters in the current EC construction and specifically the loss of local unpredictability (i.e. with a k...

Using TLA+ to prove EC

1

@jbenet and @porcuquine talked about TLA+ and the utility of checking EC, PoReps and other algorithms with TLA+. Here's some about TLA+ if the idea seems attractive. From Lamport: -...

- This epic will hopefully help resolve a lot of the underlying GH issues related to specific attacks - Through this epic, we work through a more formal model for...

This is basically a reminder to check out Grandpa from Parity as a potential tool for finality https://github.com/paritytech/finality-grandpa https://medium.com/polkadot-network/grandpa-block-finality-in-polkadot-an-introduction-part-1-d08a24a021b5

Seal and PoST security hardness discussion

1

This writeup should ultimately find a home elsewhere, but given this came up in a quick conversation with @jbenet and @ZenGround0 and may deserve a follow up conversation (not to...

So whoever put this site together forgot to mention what Interplanetary Linked Data is. We should simply add that in the homepage so people know what IPLD means :b