Roberto Saltini
Roberto Saltini
List types limited to 0 values, i.e. `List[type, 0]`, are not included in the list of [illegal types in the SSZ specification](https://github.com/ethereum/eth2.0-specs/blob/dev/ssz/simple-serialize.md#illegal-types). However, [line 177 of the py-ssz reference implementation](https://github.com/ethereum/py-ssz/blob/master/ssz/sedes/basic.py#L177),...
## Introduction The objective of this PR is to introduce a Confirmation Rule for the Ethereum protocol. A confirmation rule is an algorithm run by nodes, outputting whether a certain...
To allow a better mapping between the Python code and the actual BN APIs, I suggest modifying the `bn_get_genesis_validators_root()` function to return the entire dataset returned by the `/eth/v1/beacon/genesis` API...
This PR builds on PR #17 and is alternative to PR #18. This PR uses that [nagini specification langauge](https://github.com/marcoeilers/nagini/wiki) to express some of the postconditions for the `consensus_on_*` functions.
Currently, the consensus module of a node is expected to communicate with the BN to retrieve the data to propose when the node becomes the leader of the current consensus...
The [Anti-Slashing Measures at the DVC](https://github.com/ethereum/distributed-validator-specs/blob/dev/src/dvspec/README.md#anti-slashing-measures-at-the-dvc) section of the [Ethereum Distributed Validator Specification](https://github.com/ethereum/distributed-validator-specs/blob/dev/src/dvspec/README.md) requires that DVCs initialises its anti-slashing DB to the VC's anti-slashing DB. Currently, the specification is open...
If [nagini](https://github.com/marcoeilers/nagini) is eventually adopted to express pre and postconditions (see PR #20 ), then the documentation must indicate that nagini has been used for specification purposes only. The spec...