# Victor Maia - Updates on Ethereum’s Moon Project (Highlights) ![rw-book-cover|256](https://readwise-assets.s3.amazonaws.com/static/images/article2.74d541386bbf.png) ## Highlights - Formal proofs can be described as non-probabilistic unit-tests.