Hardening blockchain security with formal methods

Jan 13

| 12 read

Jan 13

| 12 read

Jan 13

| 12 read

How records work in Aleo: The foundation of private state in Leo

Jan 13

| 12 read

Jan 13

| 12 read

Ethereum’s zkEVM Formal Verification Project: Securing the Ethereum L1 Transition to zkVMs with Alexander Hicks

Dec 11

| 6 read

Dec 11

| 6 read

Subscribe to our blog

Be the first to get the latest from Veridise — including educational articles on ZK and smart contracts, audit case studies, and updates on our tool development. Delivered twice a month.

Proximity Gap and Correlated Agreement

Nov 19

| 15 min read

Nov 19

| 15 min read

AuditHub Launches Platform for Professional Blockchain Audit Firms

Nov 14

| 3 min read

Nov 14

| 3 min read

Introducing AuditHub: Next-generation blockchain security platform for Web3 teams

Sep 23

| 5 min read

Sep 23

| 5 min read

Veridise at CAV 2025: Advancing the science of zero-knowledge verification

Isil Dillig

Sep 2

| 4 min read

Isil Dillig

Sep 2

| 4 min read

Announcing LLZK: A unified, open-source intermediate representation (IR) for zero-knowledge languages

Aug 19

Aug 19

Inside Stellar’s proactive security approach with Tomer Weller: The Soroban Security Audit Bank

Aug 12

| 6 min read

Aug 12

| 6 min read

Subscribe to our blog

Be the first to get the latest from Veridise — including educational articles on ZK and smart contracts, audit case studies, and updates on our tool development. Delivered twice a month.

Don’t get hacked: Ask these 7 questions before hiring a blockchain security auditor

Jul 30

| 7 min read

Jul 30

| 7 min read

How to write and audit a secure zkVM application: A practical example with RISC Zero

Jul 16

| 10 min read

Jul 16

| 10 min read

Identifying common vulnerabilities in zkVMs

Jul 1

| 10 min read

Jul 1

| 10 min read

An introduction to zero-knowledge virtual machines (zkVMs)

Jun 20

| 7 min read

Jun 20

| 7 min read

Designing secure zkVM applications: A fireside chat with Rami Khalil (RISC Zero)

Jun 4

| 8 min read

Jun 4

| 8 min read

Verifying SP1 circuit determinism with Picus: A collaboration between Veridise and Succinct

May 17

| 4 min read

May 17

| 4 min read

Fireside chat with Michael Klein: Inside Noir — Aztec’s ZK language, security and tools explained

May 13

| 2 min read

May 13

| 2 min read

Fireside chat with Jacob Weightman: How RISC Zero achieves provable & continuous zkVM security with Veridise’s Picus tool?

Apr 24

| 2 min read

Apr 24

| 2 min read

Building on Stellar Soroban? Grab this security checklist to avoid vulnerabilities

Apr 9

| 4 min read

Apr 9

| 4 min read

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

Mar 27

| 10 min read

Mar 27

| 10 min read

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

Mar 12

| 6 min read

Mar 12

| 6 min read

Mastering o1js on Mina: Four key strategies for secure development

Feb 19

| 9 min read

Feb 19

| 9 min read

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

Feb 4

| 10 min read

Feb 4

| 10 min read

A16Z hosts Isil Dillig: Formal methods for zero-knowledge systems

Jan 8

| 7 min read

Jan 8

| 7 min read

Devcon 2024 week recap: Veridise’s presentations in Bangkok

Dec 7

| 4 min read

Dec 7

| 4 min read

Veridise’s zero-knowledge research: Split Gröbner bases for satisfiability modulo finite fields

Nov 20

| 4 min read

Nov 20

| 4 min read

Announcing Veridise AuditHub: Comprehensive audit platform

Nov 5

| 3 min read

Nov 5

| 3 min read

Meet our team: 10 questions for Shankara Pailoor

Oct 30

| 8 min read

Oct 30

| 8 min read

Exploring ZK frameworks: Mastermind game in 5 different ZK languages

Ian Neal

Oct 16

| 15 min read

Ian Neal

Oct 16

| 15 min read

Meet our team: 10 questions for Alp Bassa

Sep 27

| 8 min read

Sep 27

| 8 min read

Academic research: Findings from our zero-knowledge research

Sep 10

| 6 min read

Sep 10

| 6 min read

Academic research: Findings from our smart contract security research

Aug 28

| 6 min read

Aug 28

| 6 min read

Lessons from the auditing trenches: “What do ZK developers get wrong?”

Kostas Ferles

Aug 7

| 6 min read

Kostas Ferles

Aug 7

| 6 min read

Breakdown of 100 security audits: Key insights from 1605 vulnerability findings

Jul 23

| 9 min read

Jul 23

| 9 min read

Meet our team: 10 questions for Ben Sepanski

Jul 11

| 7 min read

Jul 11

| 7 min read

Developing securely on Aleo blockchain: Common vulnerability patterns

Jun 26

| 3 min read

Jun 26

| 3 min read

Veridise enhances Soroban security: Breaking our teeth on stale dependencies

Evgeniy Shishkin

Jun 13

| 7 min read

Evgeniy Shishkin

Jun 13

| 7 min read

Meet our team: 10 questions for Jon Stephens

May 14

| 5 min read

May 14

| 5 min read

Prep guide: 7 essential tips to prepare for a blockchain audit

Apr 18

| 5 min read

Apr 18

| 5 min read

ZK security workshop recap: Winners and presentations

Mar 26

| 5 min read

Mar 26

| 5 min read

How to develop securely on Soroban? Storage types with unbounded data

Mar 16

| 5 min read

Mar 16

| 5 min read

ZK fundamentals: Proof systems

Feb 22

| 12 min read

Feb 22

| 12 min read

ZK fundamentals: Intermediate representations

Feb 2

| 13 min read

Feb 2

| 13 min read

Elevating Veridise: A fresh look and feel for blockchain security

Jan 25

| 3 min read

Jan 25

| 3 min read

Zero knowledge for dummies: Demystifying ZK circuits

Jan 20

| 4 min read

Jan 20

| 4 min read

ZK fundamentals: Succinctness

Jan 13

| 10 min read

Jan 13

| 10 min read

Veridise teams up with Chainlink Labs

Jan 10

| 2 min read

Jan 10

| 2 min read

ZK fundamentals: The Fiat-Shamir transform

Dec 22

| 9 min read

Dec 22

| 9 min read

Meet our team: 10 questions for Kostas Ferles

Dec 7

| 4 min read

Dec 7

| 4 min read

ZK fundamentals: Zero-knowledge proofs

Dec 2

| 9 min read

Dec 2

| 9 min read

Devconnect 2023: A festival of innovation

Nov 24

| 3 min read

Nov 24

| 3 min read

ZK fundamentals: Interactive proofs

Nov 9

| 9 min read

Nov 9

| 9 min read

What are bug bounties and why are they important for Web3

Nov 4

| 5 min read

Nov 4

| 5 min read

ZK fundamentals: What is a proof?

Oct 28

| 9 min read

Oct 28

| 9 min read

Veridise and Secureum to team up for a ZK security workshop

Oct 20

| 3 min read

Oct 20

| 3 min read

Intro to Nova & ZK folding schemes: The nuts and bolts of folding

Oct 13

| 13 min read

Oct 13

| 13 min read

Meet our team: 10 questions for Andreea Buterchi

Oct 5

| 5 min read

Oct 5

| 5 min read

Ensuring trust and security: The importance of smart contract audits in Web3

Sep 29

| 8 min read

Sep 29

| 8 min read

Meet our team: 10 questions for Işil Dillig

Sep 22

| 5 min read

Sep 22

| 5 min read

Intro to Nova & ZK folding schemes: Folding and nova

Sep 15

| 9 min read

Sep 15

| 9 min read