Top stories published by Veridise in 2023

Homepage

Open in app

Top Stories published by Veridise in 2023

2023

April

Aug 24, 2023

Zero Knowledge for Dummies: Introduction to ZK Proofs

Do you have zero knowledge about zero knowledge…

Recursive SNARKs and Incrementally Verifiable Computation (IVC)

PART I: Recursive SNARKs and Incrementally Verifiable Computation

Veridise in Veridise

Sep 14, 2023

Intro to Nova & ZK Folding Schemes: Folding and Nova

This is part 3 of a blog series in which we…

Veridise in Veridise

Jan 2, 2023

Circom-Pairing: A Million-Dollar ZK Bug Caught Early

This blog post is also available in the following languages: 简体中文.

A Gentle Introduction to ZKPs and Circom

One of our favorite things to do at Veridise is to perform security audits of…

Veridise in Veridise

Aug 10, 2023

Intro to Nova & ZK Folding Schemes: Halo and Accumulation

This is a blog series in which we explore ZK…

ZK Fundamentals: What is a proof?

This is the first article from our series exploring ZK fundamentals, zero knowledge proofs and…

Introduction to MetaMask Snaps

The Road to ERC-4337 and Account Abstraction

Veridise in Veridise

Jan 27, 2023

Breaking the Tree: Violating Invariants in Semaphore

Veridise in Veridise

Dec 22, 2023

ZK Fundamentals: The Fiat-Shamir Transform

Today we explore interactive ZK proofs without interaction

2022

2024

These were the top 10 stories published by Veridise in 2023. You can also dive into monthly archives for 2023 by using the calendar at the top of this page.

About

Veridise

Our mission in to harden blockchain security with formal methods. We write about blockchain security, zero-knowledge proofs, and our bug discoveries.

More information