Luca Zanolini 是一位专门从事分布式系统、密码学和区块链技术的计算机科学家和研究科学家。他因对 以太坊 共识协议的研究贡献而闻名，特别是在异步网络条件下的快速最终性和共识安全性领域。Zanolini 在 以太坊基金会 和剑桥大学担任研究职位，此前曾任职于伯尔尼大学和 Chainlink Labs。^[1]​

教育经历

Zanolini 在数学领域接受了高等教育，于 2012 年至 2015 年在意大利圣心天主教大学获得理学学士学位，并于 2015 年至 2017 年获得理学硕士学位。他的硕士研究方向包括抽象代数和密码学。随后，他就读于伯尔尼大学，并于 2019 年至 2023 年完成了计算机科学博士学位，并以优异成绩毕业。他的博士研究是在 Christian Cachin 教授的指导下进行的。他的论文题目为《分布式系统中的非对称信任》（Asymmetric Trust in Distributed Systems），重点关注密码学、分布式系统、区块链技术和共识协议。^[2]​

职业生涯

Zanolini 的职业生涯始于 2017 年至 2019 年在 Interlogica 担任 区块链 开发人员，在那里他积累了 以太坊 和 Solidity 编程语言的经验。2018 年，他获得了 ConsenSys 认证的 以太坊 开发人员证书。在 2019 年至 2023 年于伯尔尼大学攻读博士学位期间，他还担任过助教。在此期间，他教授了密码学（2019 秋季）、离散数学（2020 秋季和 2022 秋季）以及隐私和数据安全（2021 秋季）课程。2021 年夏季，Zanolini 在 Chainlink Labs 完成了研究实习，其工作重点是密码学和分布式系统。2022 年，他加入 以太坊基金会 担任研究员，专注于 以太坊 共识协议的长期改进，特别强调开发更快的最终性协议。2025 年，Zanolini 成为剑桥大学计算机科学与技术系的访问学者。^[2]

演讲报告

快速确认 (Fast Confirmation)

在 2024 年 11 月的 Devcon SEA 上，Zanolini 和 Roberto Saltini 介绍了他们为 以太坊 共识协议设计的快速确认规则概览，这是一个包括 Adia、Francesco 和 Chene 贡献在内的合作项目。他们将规范链定义为诚实验证者所遵循的链。他们解释说，他们的算法使节点能够识别在良好网络条件下将保留在规范链上的区块。引入快速确认规则是为了解决目前协议中长达 13 分钟的最终确定时间，这阻碍了用户体验和交易可靠性。该规则提供了安全性（safety）和单调性（monotonicity）等属性，旨在为小额交易提供更快的确认，提高钱包的可靠性并增强用户体验。研究人员讨论了其确认规则的技术结构，包括关于验证者行为和委员会权重的假设，并分享了实验的初步结果，表明新算法具有强大的安全性和性能表现。在问答环节中，他们鼓励大家对该确认规则的进一步测试和实施保持关注。^[3]

GHOST

在 2023 年 10 月的 a16z crypto 研究研讨会上，Zanolini 展示了他最近关于一种名为 air lmd ghost 的共识协议的研究工作，该协议可以取代 以太坊 中现有的 lmd ghost 协议。在伯尔尼大学获得博士学位后，Zanolini 与 Franchesco Damato 合作开发了这种动态适应的共识协议，旨在解决异步网络条件带来的挑战。他讨论了动态可用性与异步弹性之间的权衡，描述了 air lmd ghost 如何建立在 sleepy 模型概念之上，并整合了广义投票过期机制，以增强针对对抗性攻击的安全性。通过这项工作，他们旨在提高分布式系统的安全性和活跃性，同时探索不同投票策略的影响以及与部分同步协议集成的潜力。最终，这些发现有助于加深对 区块链 技术中 共识机制 的理解，突显了在平衡异步弹性和动态参与方面的复杂性。^[4]