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.3d ago3d ago
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
Published inVeridiseMeet Our Team: 10 questions for Alp Bassa“Meet Our Team” is a blog series where we introduce you to the people behind Veridise. Today, we sit down with our Head of Cryptography Alp…Sep 27, 2024Sep 27, 2024
Published inVeridiseAcademic research: Findings from our zero-knowledge researchAt Veridise, we combine cutting-edge academic research with the latest industry experience.Sep 10, 2024Sep 10, 2024
