Tristan de Kerautem's Highlights on 'Ethereum Yellow Paper: a formal specification of Ethereum, a programmable blockchain - paper.pdf' | Glasp