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