protolambda

*Fixed the TOC in the docs

@Nashatyrev Thank you for the suggestion, but I think just containers should be sufficient, we can add it for other types later if necessary (better than removing later if unused/unwanted)....

> do we have any other types of commitments that we might use this on? @djrtwo Not that I am aware of, but some examples of popular ones: - Simple...

I'll look into Mypy for remerkleable. The tricky part here is that integers in generics don't work in python without the verbosity of `Literal` or other workarounds. And Mypy only...

Thanks for bringing this up, I just stumbled on similar concerns with aggregation modeling. > Look back to the fork choice. If a possible case of future committee changes can...

This is a weird case where forks are longer than an epoch, and committees split. The question (at least my understanding) is now; how should the validators of forked committees...

> E.g. if a state is partially updated and later an assertion is failed, the partial state update should be kept. This is wrong. If an assertion (or index error)...

After re-reading the EIP, and the `Blob gasprice update rule` text, I do think your implementation is correct, but I think the thing in question for me is this part...

In favor of less complexity, let's go ahead with this PR. Pruning/batching incentives are interesting to me, but don't have to block this PR, and may just make it worse....

@mratsim Make sure to copy this critical bugfix if you ever end up implementing the same as Go: https://github.com/golang/go/commit/1e1fa5903b760c6714ba17e50bf850b01f49135c (Found by Go ethereum team) (and context: https://twitter.com/peter_szilagyi/status/1332047468004077569)