Published inVeridiseHow to write and audit a secure zkVM application: A practical example with RISC ZeroThis is the third article in our series exploring the security of zkVMs and the applications built on top of them.1d ago1d ago
Published inVeridiseIdentifying common vulnerabilities in zkVMsCommon vulnerabilities in zkVMsJul 1Jul 1
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.Jun 17Jun 17
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
