Ismael Hishon-Rezaizadeh 是 Lagrange 的联合创始人兼首席执行官，该公司专注于 Rollup 的去中心化证明生成和可验证 AI。凭借在人工智能和区块链领域的背景，他在 21 岁时便领导了 John Hancock 的加密业务，开发了去中心化保险和再保险解决方案。 ^{[1] [3]}​

教育背景

Hishon-Rezaizadeh 获得了麦吉尔大学（McGill University）的计算机科学学士学位。 ^[3]

职业生涯

Ismael Hishon-Rezaizadeh 自 2022 年 4 月起担任 Lagrange Labs 的联合创始人兼首席执行官。Lagrange Labs 专注于可验证 AI 和零知识机器学习（zk-ML），开发利用零知识证明（ZKP）使人工智能在链上可证明的技术。该公司开发了“DeepProve-1”，这被描述为一个能够证明完整 GPT-2 推理过程的 zkML 系统。Lagrange Labs 已与 Oracle 合作伙伴网络（Oracle Partner Network）合作，将其可验证 AI 应用于国防、航空航天和政府系统，并正将其 DeepProve 技术引入 Base 区块链。 ^[3]​

在加入 Lagrange 之前，Hishon-Rezaizadeh 于 2021 年 1 月至 2022 年 4 月担任 Renegade Partners 的数据主管。2019 年 6 月至 2021 年 1 月，他担任 John Hancock 的加密工程负责人，利用 zk-SNARKs 等技术开发去中心化保险和再保险产品。他还创办了 Quantitative Ventures（2019 年 4 月 – 2021 年 1 月），这是一个通过数据挖掘和深度学习自动寻找早期风险投资交易的平台。此前，他创办了 Simple Manic Phase Monitoring（2017 年 11 月 – 2019 年 6 月），这是一家利用机器学习检测躁狂发作的心理健康初创公司，并于 2015 年 10 月至 2016 年 11 月在麦吉尔大学免疫学系从事数据分析工作。 ^[3]​

Hishon-Rezaizadeh 拥有麦吉尔大学的计算机科学学士学位。他在 区块链 和 AI 领域的专业知识通过麻省理工学院斯隆高管教育学院（MIT Sloan Executive Education）的“区块链技术：商业创新与应用”认证以及来自 R3 的“Corda 认证开发人员”认证得到了进一步证明。他还曾担任企业 以太坊 联盟（Enterprise Ethereum Alliance）金融服务工作组（Financial Services IG）的副主席，在区块链科学会议（Science of Blockchain Conference）上展示了关于动态 zk-SNARKs 的研究，并在 Olympia 研究峰会上受邀发表了关于 zk-ML 的演讲。 ^[3]​

出版物

Ismael Hishon-Rezaizadeh 撰写了多篇讨论 AI 影响及可验证输出必要性的文章。

• "黑匣子问题：为什么 AI 需要证明而非承诺" (The Black Box Problem: Why AI Needs Proof, Not Promises) ^[2] - 本文讨论了 AI 在关键社会部门中日益增加的整合，并主张 AI 系统必须提供可证明的输出，以确保其运作符合用户的最佳利益 ^[2]。

媒体亮相

在本期节目中，主持人 Sebastian Couture 与 Ismael Hishon-Rezaizadeh 探讨了零知识（ZK）密码学在传统加密用例之外不断演变的角色。讨论重点在于 ZK 证明如何从主要支持区块链应用转变为在国家安全和国防背景下被探索应用。