“Mutable Forest” Reminiscence Mannequin for blockchain specs — Alex Vlasov : ethereum

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.

Leave a Reply

Your email address will not be published. Required fields are marked *

Back to top button