Audit insights

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

Picture of Shankara Pailoor
Shankara Pailoor

May 17

| 4 min read

Read

Picture of Shankara Pailoor
Shankara Pailoor

May 17

| 4 min read

Read

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

Picture of Veridise
Veridise

May 13

| 2 min read

Read

Picture of Veridise
Veridise

May 13

| 2 min read

Read

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

Picture of Veridise
Veridise

Apr 24

| 2 min read

Read

Picture of Veridise
Veridise

Apr 24

| 2 min read

Read

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

Picture of Alberto Gonzalez
Alberto Gonzalez

Apr 9

| 4 min read

Read

Picture of Alberto Gonzalez
Alberto Gonzalez

Apr 9

| 4 min read

Read

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

Picture of Shankara Pailoor
Shankara Pailoor

Mar 27

| 10 min read

Read

Picture of Shankara Pailoor
Shankara Pailoor

Mar 27

| 10 min read

Read

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

Picture of Ben Sepanski
Ben Sepanski

Feb 4

| 10 min read

Read

Picture of Ben Sepanski
Ben Sepanski

Feb 4

| 10 min read

Read

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

Picture of Mikko Ikola
Mikko Ikola

Jul 23

| 9 min read

Read

Picture of Mikko Ikola
Mikko Ikola

Jul 23

| 9 min read

Read

Veridise enhances Soroban security: Breaking our teeth on stale dependencies

Picture of Evgeniy Shishkin
Evgeniy Shishkin

Jun 13

| 7 min read

Read

Picture of Evgeniy Shishkin
Evgeniy Shishkin

Jun 13

| 7 min read

Read

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

Picture of Ben Sepanski
Ben Sepanski

Apr 18

| 5 min read

Read

Picture of Ben Sepanski
Ben Sepanski

Apr 18

| 5 min read

Read