🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Join us for an insightful fireside chat with Rami Khalil (Rami), Senior Protocol Engineer at RISC Zero and Boundless, to discuss the design space for building applications using the RISC Zero zkVM. Hosted by Jon Stephens from Veridise. Timestamps: 0:00 - What

💡 Why formal verification matters in blockchain: Testing finds bugs that exist. Formal verification proves certain bugs can’t exist. When securing millions in DeFi, math is king.

Discover Olivier's Olivier Bégassat insights, as he shares his experience working with Veridise on the security audit of Linea's ZK-VM. Olivier works as Arithmetization Lead at Linea.eth.

Learn Florian🪶 (httpz)'s (Engineer Team Lead at o1Labs (httpz)) experience working with Veridise, and how we've supported Mina Protocol (httpz) 🪶 community.

Congrats Cubist! With their solution, you can enforce your own key management policies inside a TEE, and get cryptographic proof that your code is what’s running