Veridise – Medium

Veridise

Published in
Veridise

RISC 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 26

RISC Zero’s ZK-VM security: How Veridise enabled RISC Zero to achieve provable & continuous ZK…

Mar 26

Published in
Veridise

Veridise 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 11

Veridise secures Ethereum Foundation grant to develop LLZK: A new Intermediate Representation (IR)…

Mar 11

Published in
Veridise

Mastering o1js on Mina: Four key strategies for secure development

If you’re building on the Mina blockchain, this blog post is a must-read.

Feb 19

Mastering o1js on Mina: Four key strategies for secure development

Feb 19

Published in
Veridise

Highlights from the Veridise o1js v1 audit: Three zero-knowledge security bugs explained

In 2024, the Veridise team conducted a comprehensive security audit of o1js, a crucial TypeScript library that powers zero-knowledge…

Feb 3

Highlights from the Veridise o1js v1 audit: Three zero-knowledge security bugs explained

Feb 3

Published in
Veridise

A16Z hosts Isil Dillig: Formal Methods for Zero-Knowledge Systems

Isil Dillig, President and Co-founder of Veridise, took the stage at an a16z crypto event to deliver a comprehensive presentation on Formal…

Jan 7

A16Z hosts Isil Dillig: Formal Methods for Zero-Knowledge Systems

Jan 7

Published in
Veridise

Devcon 2024 week recap: Veridise’s presentations in Bangkok

Devcon is the highlight of the year for us at Veridise, and 2024 was no exception.

Dec 5, 2024

Devcon 2024 week recap: Veridise’s presentations in Bangkok

Dec 5, 2024

Published in
Veridise

Veridise’s Zero-Knowledge Research: Split Gröbner Bases for Satisfiability Modulo Finite Fields

Introduction

Nov 20, 2024

Veridise’s Zero-Knowledge Research: Split Gröbner Bases for Satisfiability Modulo Finite Fields

Nov 20, 2024

Published in
Veridise

Announcing Veridise AuditHub: Comprehensive Audit Platform

Streamline your security auditing experience

Nov 5, 2024

Announcing Veridise AuditHub: Comprehensive Audit Platform

Nov 5, 2024

Published in
Veridise

Meet 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, 2024

Meet Our Team: 10 questions for Shankara Pailoor

Oct 29, 2024

Published in
Veridise

Exploring ZK frameworks: Mastermind game in 5 different ZK languages

At Veridise, we continuously explore new frontiers in zero-knowledge cryptography and frameworks. In addition to our security auditing and…

Oct 15, 2024

Exploring ZK frameworks: Mastermind game in 5 different ZK languages

Oct 15, 2024

Veridise

Veridise

Hardening blockchain security with formal methods. We write about blockchain & zero-knowledge proof security. Contact us for industry-leading security audits.

Lists

Veridise news

Bug discoveries

Education

Help
Status
About
Careers
Press
Blog
Privacy
Rules
Terms
Text to speech