Welcome to Proof of Talk 2025, the premier gathering at the intersection of Web3 and AI! This year’s summit will take place between June 10 and 11 at the iconic Musée des Arts Décoratifs, nestled within the historic Louvre Palace in Paris.
As the largest Web3 security company and a Platinum Sponsor of the summit, CertiK warmly invites builders from around the world to join us in Paris. Meet us in person to explore cutting-edge security research and engage in in-depth conversations on some of the industry’s most pressing topics, including Web3 data security, DeSci, DePIN, and decentralized AI. Together, let’s build a safer future for the Web3 ecosystem.
This guide offers a comprehensive overview of CertiK’s presence at Proof of Talk 2025, helping you make the most of your time and plan your interactions with us effectively.
Headquartered in New York and founded in December 2017 by two professors from Yale University and Columbia University, CertiK is the largest Web3 security company. CertiK utilizes cutting-edge formal verification technology and AI to provide the highest level of security for blockchain, operating systems, and cloud computing systems. CertiK’s products and services span the entire lifecycle of project development—from startup to growth, expansion, and maturity—supporting the long-term strategy of Web3 enterprises and ecosystems.
At Proof of Talk 2025, CertiK invites you to visit our dedicated booth (as shown in the image). Discover how CertiK secures more than 4,700 blockchain projects worldwide and continues to lead innovation in Web3 security. Whether you’re interested in security best practices, data protection, compliance challenges, or cutting-edge technological advancements, our expert team will be available to discuss your needs and provide tailored insights.
At CertiK’s booth, you can:
Location: the Musée des Arts Décoratifs, 107 Rue de Rivoli, 75001 Paris
Date: 10th & 11th June, 2025
Tips: Follow CertiK’s X account @CertiK to get real-time updates on booth activities and special announcements!
Co-hosted by CertiK and XVentures, this exclusive VIP & Speaker Dinner—curated specifically for Proof of Talk 2025—is designed to bring together thought leaders, trailblazing innovators, and key decision-makers from across the Web3 space.
In an elegant and intimate setting, the evening will foster high-quality networking and meaningful dialogue, sparking forward-looking insights and collaborative inspiration as we explore and shape the future of the industry together.
Date: 10th June, 2025
Time: 20:00 - 22:30 (GMT+2)
Interested in Web3 security? Don’t stop at the smart contract layer. While smart contracts are often in the spotlight, the ultimate line of defense lies in the underlying hardware and system software.
CertiK invites you to join a special roundtable at Proof of Talk, led by our CTO Dr. Kang Li. He will be joined by experts from IBM, DeepComputing, Crossbar, and Securosys for a deep dive into one of foundations of Web3 security.
The panelists in this session will discuss the latest architecture level developments in Web3 key custodian and wallets at the hardware and system level, from RISC-V core, to hardware MPC implementation and confidential computing solutions.
Location: Tuileries Gallery Workshop Room, Musée des Arts Décoratifs
Date: 10th June, 2025
Time: 10:45-11:30 (GMT+2)
Host: Kang Li, CTO of CertiK
Panelists: Jean-Yves Girard, Principal, Head of delivery for IBM Digital Asset Infrastructure Yuning Liang, Founder & CEO of DeepComputing & MetaComputing Mark Davis, CEO of Crossbar Robert Rogenmoser, CEO of Securosys
Registration link: https://lu.ma/f3d5rcyh
Building trust in Web3 takes more than an audit report.
When “security audit” becomes just another marketing buzzword, how can Web3 projects build real, lasting trust? Jason Jiang, Chief Business Officer of CertiK, will join a panel of security ecosystem builders to tackle a core industry challenge: How can we ensure long-term security for Web3?
This discussion will explore multidimensional approaches to building trust, examining how strategies like open-source transparency and thoughtful community governance can drive meaningful impact. Join us and gain practical insights into what it really takes to build a trustworthy Web3.
Location: DaVinci Stage, Musée des Arts Décoratifs
Date: 11th June, 2025
Time: 14:00-14:35 (GMT+2)
Host: Thomas Menard, White Hat Hacker
Panelists: Jason Jiang, CBO of CertiK Oliver Quie, Co-Founder & CEO of Innerworks Denis Ivanov, CPO of Hacken
CertiK is honored to be a platinum sponsor of Proof of Talk 2025! We warmly invite you to visit our booth, join conversations with industry experts, and explore the future of blockchain security together. See you in Paris!
CertiK – Elevate Your Web3 Journey.