欢迎加入Proof of Talk 2025——Web3与AI领域最具影响力的盛会！本次峰会将于6月10日至11日在巴黎标志性地标卢浮宫装饰艺术博物馆盛大开幕。

CertiK作为最大的Web3安全公司、本次峰会的的白金赞助商，诚邀全球Web3建设者共赴盛会！与我们面对面，探索前沿安全研究，并就Web3数据安全、DeSci、DePIN及去中心化AI等峰会关键议题展开深度交流，携手共建更安全的行业未来。

这份指南将为您全景呈现CertiK在Proof of Talk 2025的精彩活动，助您高效安排与我们的互动日程。

CertiK是最大的Web3安全公司，由来自耶鲁大学和哥伦比亚大学的两位教授于2017年联合创办，总部位于美国纽约。我们利用全球顶尖的形式化验证技术、独特的AI应用，为区块链、操作系统和云计算系统提供最高级别的安全保障。CertiK为Web3行业提供全周期产品和服务，产品链跨越从初创、成长到扩张、成熟的全生命周期，支持Web3企业和生态的长期发展战略。

1. 探访CertiK展位

在Proof of Talk 2025，CertiK诚邀您造访我们的专属展位（如图所示）。在这里，您可以了解到CertiK如何为超过4700个区块链项目构筑坚实的安全防线，并持续引领区块链安全的创新方向。无论您关注Web3安全实践、数据安全、合规挑战，还是前沿技术突破，CertiK专家团队都恭候您的垂询，随时为您剖析安全需求、解答技术难题。

莅临CertiK展位，您将收获：

• 深度对话安全专家：与CertiK核心团队成员零距离交流，全方位掌握我们业界领先的全生命周期安全解决方案。

• 领取专享限量好礼：获取CertiK品牌周边和限量赠品，先到先得！

• 拓展高价值人脉：连接CertiK高管团队、重要合作伙伴及优质客户网络，碰撞思想火花，探寻潜在合作机遇。

3.[Panel Workshop] Web3钱包与托管安全：从底层硬件与系统角度审视安全性

关注Web3安全？别把目光只停留在智能合约，底层硬件和系统软件才是资产真正的最后防线！CertiK首席技术官Li Kang博士将主持Proof of Talk圆桌论坛，携手来自IBM、DeepComputing、Crossbar和Securosys的技术专家，一同勘探Web3安全的“基石层”。

本场圆桌将聚焦Web3密钥托管与钱包架构的底层创新，探讨RISC-V设计、硬件级MPC实现和机密计算等关键技术，以专业的技术视角，拆解底层系统对资产安全的影响。

• 主持人：

  Li Kang（CertiK CTO）

• 嘉宾：

  Jean-Yves Girard（IBM 数字资产基础设施负责人）

  Yuning Liang（DeepComputing & MetaComputing创始人兼CEO）

  Mark Davis（Crossbar CEO）

  Robert Rogenmoser（Securosys CEO）

4.[Panel] 构建Web3协议中的信任

想构建Web3的信任，一份审计报告远远不够。

当“安全审计”变成了营销话术，Web3项目该如何建立真实、可持续的信任？CertiK首席商务官Jason Jiang将在圆桌讨论中，携手多位安全生态建设者直击行业痛点——如何长期为Web3安全保驾护航？

本次会议将剖析如何用实时监控、社区协作和去中心化信任机制，为Web3项目构建灵活可靠的安全防护。欢迎加入讨论，一起重塑Web3信任的基石。

• 主持人：

  Thomas Menard（白帽黑客）

• 嘉宾：

  Jason Jiang（CertiK CBO）

  Oliver Quie（Innerworks 联合创始人兼CEO）

  Denis Ivanov（Hacken CPO）

• 探访展位：莅临展位，与CertiK团队见面，了解我们的产品与服务。

• 关注社交媒体：通过X获取CertiK活动动态及边会活动的最新消息。

• 查看Proof of Talk官网：了解活动日程、欢迎派对详情等，请访问https://www.proofoftalk.io/

• 联系我们：有兴趣与CertiK探讨合作？请通过certik.com或[email protected]联系我们。

CertiK非常荣幸作为CertiK Proof of Talk 2025的白金赞助商参与这一盛会！我们诚邀您莅临我们的展位，参与行业专家的讨论，共同探索区块链安全的未来。期待在巴黎与您相会！

CertiK——全线护航，成就不凡。