Hardening blockchain security with formal methods

Sep 23

| 5 min read

Sep 23

| 5 min read

Sep 23

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

Mikko Ikola

Oct 5

| 5 min read

Mikko Ikola

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

Jan 28

| 10 min read

Jan 28

| 10 min read

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

Kostas Ferles

Jan 3

| 6 min read

Kostas Ferles

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

Jul 22

| 13 min read

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