Georgios "George" Kadianakis（希腊语：Γιώργος Καδιανάκης）是一位希腊密码学家，也是以太坊基金会的核心协议研究员。^{[1] [2]} 他因在零知识证明 (ZKPs)、核心以太坊基础设施的开发以及Equihash工作量证明算法的共同创建方面的工作而闻名。Kadianakis还为Tor匿名网络的安全性和可扩展性做出了重大贡献。^{[1] [3]}

教育

Kadianakis获得了雅典国立技术大学电气与计算机工程文凭。后来他进入伦敦大学学院 (UCL)，在那里他获得了信息安全理学硕士 (M.Sc.) 学位和计算机科学博士 (Ph.D.) 学位，专攻密码学。^[2]

职业生涯

在学术任期内，Kadianakis曾担任伦敦大学学院的研究助理。完成博士学位后，他成为卢森堡大学的博士后研究员，是CryptoLux研究小组的成员。^[2] 在此期间，他积极为Tor项目做出贡献，这是一个专注于实现匿名通信的开源计划。^[1]

2018年10月，Kadianakis加入以太坊基金会，担任密码学家和协议研究员。^[1] 他是以太坊基金会核心密码学团队以及Go Ethereum (Geth) 团队的成员，专注于以太坊共识层的安全性和效率以及高级密码学原语的实现。^{[1] [2]}

主要作品和研究

截至2026年初，Kadianakis已撰写和合著了大量学术论文，累计被引用超过1300次。他的研究涵盖工作量证明系统、匿名网络和零知识证明结构。^[3]

以太坊之前的研究

Equihash算法

2016年，Kadianakis与Alex Biryukov和Dmitry Khovratovich合著了论文“Equihash：基于广义生日问题的非对称工作量证明”。该论文介绍了Equihash，这是一种内存硬工作量证明算法，旨在抵抗专用ASIC硬件的性能优势。该算法随后被以隐私为中心的加密货币Zcash和其他数字货币采用。^{[2] [3]}

Tor项目贡献

Kadianakis是Onionbalance的创建者和主要开发者，该系统为Tor onion服务提供负载平衡和高可用性，从而增强了它们的可靠性和弹性。他对该网络的学术研究包括合著论文，这些论文确定了潜在的漏洞和需要改进的领域。值得注意的作品包括“Vanguards：Tor中长期去匿名化攻击的框架”（2016年），该框架分析了随着时间的推移损害用户匿名性的方法，以及“Torsk：一种可扩展地指纹Tor隐藏服务的工具”（2017年）。^{[1] [3]}

Zcash匿名性分析

继他在Equihash上的工作之后，Kadianakis于2018年合著了“关于Zcash协议的匿名性”。该论文对Zcash协议提供的隐私保证进行了学术分析，确定了潜在的链接启发式方法，这些方法可能会在某些条件下损害用户的匿名性。^{[2] [3]}

以太坊协议开发

在以太坊基金会，Kadianakis的工作对于扩展网络和提高其长期安全性的技术的研究和开发至关重要。

零知识证明 (ZKPs)

Kadianakis一直专注于推进ZKP的状态，以便在以太坊生态系统中使用。2025年，他与Dankrad Feist和Vitalik Buterin合著了论文“有界深度参数的递归友好型SNARK”。该工作提出了一种新的SNARK 结构，该结构针对递归进行了优化，递归是构建可扩展zk-Rollups和zkEVMs的关键特性。该设计优先考虑快速证明者和较小的证明大小，使其非常适合区块链应用程序。^[2]

他在该领域的其他贡献包括创建soundcalc，这是一个用于分析基于哈希的zkEVM的健全性的通用计算器，以及开发Curdleproofs，这是一种新颖而高效的零知识混洗参数，于2022年发布，并在匿名投票等保护隐私的系统中应用。^{[1] [3]}

核心基础设施和升级

Kadianakis参与了以太坊协议的几个关键升级和战略转变。

• EIP-4844 (Proto-Danksharding): 他是c-kzg-4844的关键贡献者，这是Proto-Danksharding所需的密码学API的最小C语言实现。这项关于Kate-Zaverucha-Goldberg (KZG) 多项式承诺的工作是Deneb升级的基础，该升级旨在通过引入一种称为“blobs”的新数据交易类型来显着降低Layer 2 rollups的交易费用。^{[1] [2]}
• Verkle树： Kadianakis参与了Verkle树的实施研究和规划，Verkle树是一种数据结构升级，旨在实现以太坊上的无状态性。他公开支持对其部署采取有节制的措施，强调长期稳定性。在一次公开讨论中，他说：“为了一个坚实的verkle功能，它将在未来10年为我们服务，推迟一年是一个很好的交易。”^[1]
• 共识层安全： 在2025年1月发表的一篇论文“Peer-evaluations and DA for better attestation aggregation”中，Kadianakis和他的合著者提出了一种新机制，以提高以太坊共识层上证明聚合的效率和安全性。该提案使用对等评估和基于数据可用性的黑名单来创建一个更强大的“聚合器市场”，并减轻潜在的时间攻击。^[5]

zkEVM安全路线图

2025年末，Kadianakis在公开场合发挥了核心作用，宣布以太坊基金会对zkEVM开发的优先事项进行了战略转变，从关注速度转向强调可证明的安全性。2025年12月12日，他宣布了zkEVM的新的2026年路线图，他称之为“2026年的boss：128位可证明的安全性”。^{[4] [2]}

该路线图为zkEVM团队设定了到2026年底要实现的三个里程碑，最终实现128位安全性，证明大小小于300千字节。在许多团队成功实现实时证明之后，该计划被视为zkEVM的下一个主要挑战。Kadianakis在一份声明中解释了这项工作的长期愿景：“一旦团队达到了这些目标并且zkVM架构稳定下来，我们一直在投资的形式验证工作就可以充分发挥其潜力。”^[2]