s/o @tcoratger (výzkumný pracovník EF), který mi velmi pomohl dozvědět se o kryptografii a filozofii designu za leanVM a dalšími prvky lean Ethereum!