个人简介
Liam Eagen 是一位专注于零知识证明(Zero-Knowledge Proofs)和密码学协议研究的密码学家。他毕业于德克萨斯大学奥斯汀分校(University of Texas at Austin),此前在 Blockstream 担任密码学工程师,从事与比特币和密码学相关的研究工作。他是 Bulletproofs++ 的主要提出者和实现者之一,该协议在 Bulletproofs 和 Bulletproofs+ 的基础上进一步优化了证明大小和验证效率。目前,他是 Alpen Labs 的创始密码学家,致力于将先进的密码学技术应用于区块链和加密货币领域。
主要成就
- 提出并实现 Bulletproofs++ 协议,显著减小了零知识范围证明的证明大小(相比 Bulletproofs 减少约 38%,相比 Bulletproofs+ 减少约 28%)
- 在 Blockstream 期间参与比特币相关的密码学研究与开发
- 与 Ariel Gabizon 合作提出 cqlin 协议,实现了 KZG 承诺上高效线性操作,证明者计算复杂度显著优于之前的 lincheck 协议
- 作为 Alpen Labs 创始密码学家,推动零知识证明技术在区块链隐私和扩展性方面的应用
- 在 GitHub 上开源了 Bulletproofs++ 的 Haskell 实现,为学术界和工业界提供了参考代码
成长历程
不详
求学于德克萨斯大学奥斯汀分校
在德克萨斯大学奥斯汀分校(University of Texas at Austin)完成学业,获得相关学位,期间专注于密码学和计算机科学领域的研究。
约 2020-2022
加入 Blockstream 担任密码学工程师
加入 Blockstream Research 团队,担任密码学工程师,参与比特币生态系统的密码学研究与协议开发工作,期间深入研究零知识证明技术。
2022-2023
提出 Bulletproofs++ 协议
在 Blockstream 工作期间,提出 Bulletproofs++ 协议,通过引入范数论证(Norm Arguments)和倒数论证(Reciprocal Arguments),将 64 位范围证明的大小从 Bulletproofs 的 672 字节和 Bulletproofs+ 的 576 字节降低至 416 字节。
2021
发表 cqlin 协议研究
与 Ariel Gabizon(Zeta Function Technologies)合作,在密码学 ePrint 档案(eprint.iacr.org/2021/1167)上发表 cqlin 协议,实现了 KZG 承诺上的高效线性操作,证明者仅需 O(n) 的域和群操作,显著优于此前需要拟线性时间的方案。
2023-至今
创立并加入 Alpen Labs
作为创始密码学家加入 Alpen Labs,致力于开发基于零知识证明的区块链扩展和隐私解决方案,推动密码学技术的实际应用。
相关文章
经典观点
"Bulletproofs++ 通过范数论证和倒数论证,可以在不牺牲安全性的前提下,显著降低零知识范围证明的证明大小和验证计算量。"
— Bulletproofs++ 论文及 GitHub 实现
"在 KZG 承诺方案中,通过缓存商(cached quotients)技术,可以实现高效的线性操作,使得证明者的运行时间与矩阵非零元素数量成线性关系。"
— cqlin 论文(eprint.iacr.org/2021/1167)
