感谢 @tcoratger (EF 研究员),他在我学习 leanVM 及其他 lean Ethereum 元素背后的密码学和设计哲学方面给予了我巨大的帮助!