tldr; Ethereum PoS Consensus pyspecs are expressed utilizing harmful (i.e. in-place) reminiscence updates. Aliasing can break invariants and assumptions all through all the codebase, so it’s necessary to restrict aliasing – ideally, one ought to make updates by way of unique references solely. Such “unique mutable reference” kind could be translated to a pure kind with out a lot code blowup (as there is no such thing as a aliases to propagate updates to).
This abstract is auto generated by a bot and never meant to interchange studying the unique article. As at all times, DYOR.