# Victor Maia - Updates on Ethereum’s Moon Project (Highlights) ![rw-book-cover|256](https://readwise-assets.s3.amazonaws.com/static/images/article2.74d541386bbf.png) ## Metadata **Cover**:: https://readwise-assets.s3.amazonaws.com/static/images/article2.74d541386bbf.png **Source**:: #from/readwise **Zettel**:: #zettel/fleeting **Status**:: #x **Authors**:: [[Victor Maia]] **Full Title**:: Updates on Ethereum’s Moon Project **Category**:: #articles #readwise/articles **Category Icon**:: 📰 **URL**:: [medium.com](https://medium.com/p/535f8c0497ef) **Host**:: [[medium.com]] **Highlighted**:: [[2021-02-11]] **Created**:: [[2022-09-26]] ## Highlights - Formal proofs can be described as non-probabilistic unit-tests.