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…6d ago6d ago
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
Published inVeridiseA16Z hosts Isil Dillig: Formal Methods for Zero-Knowledge SystemsIsil Dillig, President and Co-founder of Veridise, took the stage at an a16z crypto event to deliver a comprehensive presentation on Formal…Jan 7Jan 7
Published inVeridiseDevcon 2024 week recap: Veridise’s presentations in BangkokDevcon is the highlight of the year for us at Veridise, and 2024 was no exception.Dec 5, 2024Dec 5, 2024
Published inVeridiseVeridise’s Zero-Knowledge Research: Split Gröbner Bases for Satisfiability Modulo Finite FieldsIntroductionNov 20, 2024Nov 20, 2024
Published inVeridiseAnnouncing Veridise AuditHub: Comprehensive Audit PlatformStreamline your security auditing experienceNov 5, 2024Nov 5, 2024
Published inVeridiseMeet Our Team: 10 questions for Shankara Pailoor“Meet Our Team” is a blog series where we introduce you to the people behind Veridise. Today, we sit down with our Head of ZK Research…Oct 29, 2024Oct 29, 2024
Published inVeridiseExploring ZK frameworks: Mastermind game in 5 different ZK languagesAt Veridise, we continuously explore new frontiers in zero-knowledge cryptography and frameworks. In addition to our security auditing and…Oct 15, 2024Oct 15, 2024