个人简介
Avihu Levy 是以色列区块链技术领域的资深专家，现任 StarkWare 首席产品官。他毕业于以色列理工学院（Technion），拥有深厚的技术背景。在加入 StarkWare 之前，他曾在网络安全公司 KayHut 担任安全研究员。在 StarkWare，Levy 专注于零知识证明（ZK Proofs）技术的商业化应用，特别是在比特币生态系统的扩展性解决方案方面。他是 ColliderVM 协议的主要设计者之一，该协议旨在通过状态计算实现比特币与 Layer 2 网络之间的信任最小化桥接。Levy 在 M31 乘法算法优化方面取得了重大突破，将比特币上的乘法成本降低了 70%，为 STARK 验证在比特币 signet 上的实现奠定了基础。他还积极参与行业会议，在布拉格等欧洲城市的面板讨论中分享关于 S-two 和 zk 证明的见解。
主要成就
- 主导设计 ColliderVM 协议：与 StarkWare 研究员 Victor I. Kolobov 和魏茨曼科学研究院 Moni Naor 教授共同设计，实现比特币上的有状态计算，支持比特币与 Layer 2 网络（如 Starknet）之间的信任最小化桥接
- M31 乘法算法重大突破：开发新算法将比特币上的 M31 乘法成本降低 70%（从 1418 降至 476 再优化至 402），为 STARK 验证在比特币 signet 上的实现奠定基础
- 推动 OP_CAT 到契约（Covenants）的比特币扩展方案：在香港等行业会议上发表演讲，阐述比特币扩展技术路线
- 发表区块链安全研究文章：在 Geektime 发表关于区块链安全风险及开发者/用户应对策略的专业文章
- 为 AlgoREIT 提供技术顾问服务：2015 年帮助构建结合经济分析与机器学习预测算法的房地产投资核心模型
成长历程
求学以色列理工学院
毕业于以色列理工学院（Technion），获得技术相关学位，奠定扎实的工程和数学基础
KayHut 安全研究员
加入网络安全公司 KayHut，担任安全研究员，专注于网络安全技术研究
2015年2月
AlgoREIT 技术顾问
作为顾问帮助 AlgoREIT 构建核心模型，结合经济分析与机器学习预测算法，用大数据聚合替代传统享乐回归分析
加入 StarkWare
加入区块链扩展技术公司 StarkWare，担任首席产品官，负责产品战略和技术商业化
2024年6月-2025年3月
比特币扩展产品推进
从 2024 年 6 月首次宣布到 2025 年 3 月产品推出，推动比特币扩展能力的重大变革
2024年
ColliderVM 协议发布
与 Victor I. Kolobov 和 Moni Naor 教授共同发布 ColliderVM 协议论文，提出基于哈希碰撞谜题的状态计算方案
2024年8月
M31 乘法优化突破
提出 M31 乘法新算法，通过团队协作在 4 天内将乘法成本从 1418 优化至 402，实现 70% 的成本降低
2024-2025年
欧洲行业会议演讲
在布拉格等欧洲城市的面板讨论中发表关于 S-two 和 zk 证明技术的演讲
相关文章
经典观点
"比特币本身不会改变，但你能用它做什么刚刚发生了改变。"
— StarkWare 产品发布相关 LinkedIn 动态
"区块链安全需要开发者和用户共同关注，通过技术手段和最佳实践来应对风险。"
— Geektime 发表文章
"通过有效性证明（ZK proof）而非欺诈证明，可以实现比特币与 Layer 2 之间更高效的信任最小化桥接。"
— ColliderVM 协议论文