Published inVeridiseAn introduction to zero-knowledge virtual machines (zkVMs)This is the first article in our series exploring the security of zkVMs and the applications built on top of them.3d ago3d ago
Published inVeridiseDesigning secure zkVM applications: A fireside chat with Rami Khalil (RISC Zero)In this fireside chat, we invited Rami Khalil, Senior Protocol Engineer at RISC Zero, to discuss the design space for building applications…Jun 3Jun 3
Published inVeridiseVerifying SP1 circuit determinism with Picus: A collaboration between Veridise and SuccinctVeridise recently completed a preliminary engagement with Succinct to evaluate the use of Picus — our tool for formally verifying the…May 16May 16
Published inVeridiseFireside chat with Michael Klein: Inside Noir — Aztec’s ZK language, security and tools explainedWe invited Michael Klein (Software Engineer at Aztec) to join a fireside chat with Jon Stephens (CEO & Co-founder of Veridise) to talk…May 12May 12
Published inVeridiseFireside chat with Jacob Weightman: How RISC Zero achieves provable & continuous zkVM security with…We invited Jacob Weightman (Compiler Engineer at RISC Zero) to join a fireside chat with Shankara Pailoor (Head of ZK Tooling at Veridise)…Apr 23Apr 23
Published inVeridiseBuilding on Stellar Soroban? Grab this security checklist to avoid vulnerabilitiesPreparing for a Soroban Security Audit?Apr 8Apr 8
Published inVeridiseRISC Zero’s ZK-VM security: How Veridise enabled RISC Zero to achieve provable & continuous ZK…Since July 2024, Veridise has closely collaborated with RISC Zero, a company developing the RISC Zero zkVM — a zero-knowledge virtual…Mar 26Mar 26
Published inVeridiseVeridise secures Ethereum Foundation grant to develop LLZK: A new Intermediate Representation (IR)…In a significant step forward to address fragmentation in the zero-knowledge space, Veridise has been awarded a grant from the Ethereum…Mar 11Mar 11
Published inVeridiseMastering o1js on Mina: Four key strategies for secure developmentIf you’re building on the Mina blockchain, this blog post is a must-read.Feb 19Feb 19
Published inVeridiseHighlights from the Veridise o1js v1 audit: Three zero-knowledge security bugs explainedIn 2024, the Veridise team conducted a comprehensive security audit of o1js, a crucial TypeScript library that powers zero-knowledge…Feb 3Feb 3
