Hardening blockchain security
with formal methods

We write about blockchain security,
zero-knowledge proofs, and our bug discoveries

LLZK V1.0: A New Phase for ZK Shared Infrastructure

Shankara Pailoor

Apr 8

| 7 min read

Shankara Pailoor

Apr 8

| 7 min read

Shankara Pailoor

Apr 8

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

Introduction to MetaMask snaps

Sep 8

| 6 min read

Sep 8

| 6 min read

Meet our team: 10 questions for Alex Ozdemir

Aug 31

| 3 min read

Aug 31

| 3 min read

Zero knowledge for dummies: Introduction to ZK proofs

Aug 24

| 6 min read

Aug 24

| 6 min read

Satisfiability modulo finite fields: Unlocking SMT for ZK verification

Aug 17

| 3 min read

Aug 17

| 3 min read

Intro to Nova & ZK folding schemes: Halo and accumulation

Aug 11

| 9 min read

Aug 11

| 9 min read

Recursive SNARKs and incrementally verifiable computation (IVC)

Jul 28

| 8 min read

Jul 28

| 8 min read

Using formal verification on ZK systems: Our CTO Jon Stephens in conversation with Anna Rose

Jul 22

| 8 min read

Jul 22

| 8 min read

Unleashing the power of OrCa: A workshop by Veridise and Secureum

Jun 15

| 5 min read

Jun 15

| 5 min read

ZK vulnerabilities: Sharp rocks hidden in deep water

May 2

| 6 min read

May 2

| 6 min read

A gentle introduction to ZKPs and Circom

Mar 17

| 5 min read

Mar 17

| 5 min read

Saving millions in 2023 with specification-guided fuzzing

Feb 15

| 8 min read

Feb 15

| 8 min read

Breaking the tree: Violating invariants in Semaphore

Shankara Pailoor

Jan 28

| 10 min read

Shankara Pailoor

Jan 28

| 10 min read

Circom-Pairing: A million-dollar ZK Bug caught early

Jan 3

| 6 min read

Jan 3

| 6 min read

Introducing the [V] specification language

Oct 21

| 6 min read

Oct 21

| 6 min read

Veridise raised $4.7 million in seed round to advance blockchain security

Jul 27

| 2 min read

Jul 27

| 2 min read

Medjai: Protecting Cairo code from bugs

Shankara Pailoor

Jul 22

| 13 min read

Shankara Pailoor

Jul 22

| 13 min read

A gentle introduction to program verification

Jun 29

| 6 min read

Jun 29

| 6 min read

Detecting smart contract vulnerabilities with static analysis

Jun 14

| 6 min read

Jun 14

| 6 min read

How does static analysis work?

May 5

| 4 min read

May 5

| 4 min read

What is program analysis?

May 1

| 5 min read

May 1

| 5 min read