s/o @tcoratger (investigador de EF) que ha sido de gran ayuda para mí al aprender sobre la criptografía y la filosofía de diseño detrás de leanVM y otros elementos de lean Ethereum!