After reading Week 1 material on SSF[1], I conclude that the two-tier staking approach[2][3][4] can have real positive externalities for the Ethereum network, in the SSF scenario, but not limited to that as I will show further in my update.
Syntax: try...except
Assertions[6] are a way to debug and test code. Python assert
is the statement used in sanity-checks when writing pyspec tests.
Syntax: assert expression[, assertion_message]
After learning about Python error handling and code testing, I switched to practical application, created the environment to run the first tests[7].
Using the consensus-specs resources, I'm learning how to write and run new tests against the formal specifications, in order to perform sanity-checks on specs changes during the project.
Got in contact with Geode finance, a permissionless staking framework provider, we're going to have a call next week and meet at ETHCC.
Discussion points:
I concluded my Week 1 research on timing games[1:1] with the realization that it's not trivial, or ideal to tweak the existing PoS consensus to defend against exogenous incentives (both remunerative i.e. MEV and coercive i.e. regulatory pressure to censor). Best practice would be to assume honest-but-rational as opposed to honest type of consensus participation in designing economically fair blockchain protocols.
I am currently writing an ethresearch post on the subject, as this has implications in my project proposal process.