PinnedPublished inVeridiseIntroducing AuditHub: Next-generation blockchain security platform for Web3 teamsIn web3, code builds empires — but one overlooked vulnerability can bring everything crashing down.Sep 25Sep 25
Veridise advancing ZK security: Two new publications presented at CAV 2025 conferenceVeridise at CAV 2025: Advancing the science of zero-knowledge verificationSep 2Sep 2
Published inVeridiseAnnouncing LLZK: A unified, open-source intermediate representation (IR) for zero-knowledge…We’re excited to announce that LLZK, our open-source intermediate representation (IR) for zero-knowledge circuits, is now officially…Aug 19Aug 19
Published inVeridiseInside Stellar’s proactive security approach with Tomer Weller: The Soroban Security Audit BankIn a recent fireside chat, we sat down with Tomer Weller (Chief Product Officer) from the Stellar Development Foundation to discuss the…Aug 12Aug 12
Published inVeridiseDon’t get hacked: Ask these 7 questions before hiring a blockchain security auditorChoosing the right security auditor is one of the most critical decisions your team will make. With so much at stake, a single…Jul 30Jul 30
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.Jul 16Jul 16
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
