Veridise | Blockchain security blog

Address: [go: up one dir, main page]

Include Form Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Skip to content

Services
AuditHub
- Tools
  - Vanguard
  - OrCa
  - ZK Vanguard
  - Picus
Resources
Blog
About
- Our team
- Careers

Audit Request
AuditHub
Audits
Audits archive
Blog
Careers
Client testimonials
Contact us
Our team
Privacy Policy
Publications
Request Audit
Security
Services
Smart Contract Audit and Security By Veridise
Terms of Service

Hardening blockchain security
with formal methods

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

smart contract audit cloud

insolvency-vulnerability-euler-finance-exploit

Insolvency Vulnerability: The Euler Finance $197M Exploit

An insolvency vulnerability drained $197M from Euler Finance: one function added in a later upgrade skipped the solvency check every other function ran.

Jul 28

| 7 min read

Jul 28

| 7 min read

Jul 28

| 7 min read

Search

insolvency-vulnerability-euler-finance-exploit

Insolvency Vulnerability: The Euler Finance $197M Exploit

An insolvency vulnerability drained $197M from Euler Finance: one function added in a later upgrade skipped the solvency check every other function ran.

Jul 28

| 7 min read

Jul 28

| 7 min read

flash_loan_governance_vulnerability_beanstalk_182m_Jon_Stephens

Flash Loan Governance Attacks: How Borrowed Voting Power Drains a Protocol

How Beanstalk’s emergencyCommit allowed borrowed capital to satisfy a governance supermajority threshold and drain $182M in one transaction.

Jul 21

| 6 min read

Jul 21

| 6 min read

Please enable JavaScript in your browser to complete this form.

Name *

Name Email

Email *

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.

bridge misconfiguration vulnerability

Bridge Misconfiguration Vulnerabilities: How One Zero Value Cost $190M

Jul 15

| 6 min read

Jul 15

| 6 min read

zksync_airbender_security_formal_verification

Proving the Absence of Soundness Bugs in ZKsync Airbender

Shankara Pailoor

Jun 30

| 3 min read

Shankara Pailoor

Jun 30

| 3 min read

smart contract access control vulnerability

Access Control Bugs in Smart Contracts: How a Negated Check Cost $730K

Jun 29

| 5 min read

Jun 29

| 5 min read

The Audit Habit That Would Have Caught Resupplyfi’s $9.6m Bug: The Auditor’s Take

The Audit Habit That Would Have Caught Resupplyfi’s $9.6m Bug: The Auditor’s Take

May 13

| 5 min read

May 13

| 5 min read

cover blog post about LLZK Funding Round on Giveth

LLZK Joins Ethereum Security Quadratic Funding Round on Giveth

Apr 28

Apr 28

LLZK

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

Shankara Pailoor

Apr 8

| 7 min read

Shankara Pailoor

Apr 8

| 7 min read

Please enable JavaScript in your browser to complete this form.

Name Email

Name *

Email *

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.

Veridise EthCC 2026

Veridise EthCC 2026: Meet the Team Pushing Blockchain Security Forward

Mar 24

Mar 24

Tamir Hemo and Ben Sepanski

Inside SP1 with Tamir Hemo: Succinct’s Approach to ZK-VM Performance & Security

Feb 23

| 8 read

Feb 23

| 8 read

Common pitfalls when handling records in Aleo: Validations, parity, and privacy

Jan 20

| 15 read

Jan 20

| 15 read

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

Jan 13

| 12 read

Jan 13

| 12 read

Alexander Hicks and Kostas Ferles, fireside chat about Ethereum L1 transition to zkVMs

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

Dec 11

| 6 read

Dec 11

| 6 read

Proximity Gap and Correlated Agreement

Nov 19

| 15 min read

Nov 19

| 15 min read

Blog post cover for "AuditHub launch" article

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

Fireside chat thumbnail with Jon Stephens and Alp on advancing zero-knowledge verification

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

Sep 2

| 4 min read

Sep 2

| 4 min read

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

Shankara Pailoor

Aug 19

Shankara Pailoor

Aug 19

Fireside chat thumbnail with Kostas and Tomer from Stellar

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

Aug 12

| 6 min read

Aug 12

| 6 min read

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

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

Blog post cover for the zkVM security series part 2 on common zkVM vulnerabilities

Identifying common vulnerabilities in zkVMs

Jul 1

| 10 min read

Jul 1

| 10 min read

Blog post cover for introduction to zero-knowledge virtual machines

An introduction to zero-knowledge virtual machines (zkVMs)

Jun 20

| 7 min read

Jun 20

| 7 min read

Fireside chat thumbnail with Rami Khalil from RISC Zero

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

Jun 4

| 8 min read

Jun 4

| 8 min read

Blog post cover for verifying Succinct SP1 ZK circuits using Picus

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

Shankara Pailoor

May 17

| 4 min read

Shankara Pailoor

May 17

| 4 min read

Fireside chat thumbnail with Michael Klein from Aztec

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 thumbnail with Jacob Weightman from RISC Zero

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

Blog post cover for "Building on Soroban" article

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

Alberto Gonzalez

Apr 9

| 4 min read

Alberto Gonzalez

Apr 9

| 4 min read

Blog post cover for RISC Zero ZK VM security

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

Shankara Pailoor

Mar 27

| 10 min read

Shankara Pailoor

Mar 27

| 10 min read

Blog post cover for Veridise securing an Ethereum Foundation grant for LLZK

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

Shankara Pailoor

Mar 12

| 6 min read

Shankara Pailoor

Mar 12

| 6 min read

Blog post cover for "Mastering o1js on Mina" article

Mastering o1js on Mina: Four key strategies for secure development

Feb 19

| 9 min read

Feb 19

| 9 min read

Blog post cover for highlights from the Veridise o1js audit

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

Feb 4

| 10 min read

Feb 4

| 10 min read

Blog post cover for formal methods for zero-knowledge

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

Shankara Pailoor

Oct 30

| 8 min read

Shankara Pailoor

Oct 30

| 8 min read

Blog post cover for "Exploring ZK frameworks" article

Exploring ZK frameworks: Mastermind game in 5 different ZK languages

Oct 16

| 15 min read

Oct 16

| 15 min read

Blog post cover for "Meet Our Team: Alp Bassa" team introduction

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

Aug 7

| 6 min read

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

Alberto Gonzalez

Mar 16

| 5 min read

Alberto Gonzalez

Mar 16

| 5 min read

Blog post cover for the proof systems article

ZK fundamentals: Proof systems

Feb 22

| 12 min read

Feb 22

| 12 min read

Blog post cover for the intermediate representations article

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

Blog post cover for the succinctness article

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

Blog post cover for the Fiat-Shamir transform article

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

Industry-leading blockchain security audits and tools contact@veridise.com

SERVICES

Zero knowledge audits
zkVM application audits
Smart contract audits
DeFi audits
L1/L2 blockchain audits
Web3 wallets and integrations
NFT security audits
Security proofs
Security research
Architecture review

Zero knowledge audits
zkVM application audits
Smart contract audits
DeFi audits
L1/L2 blockchain audits
Web3 wallets and integrations
NFT security audits
Security proofs
Security research
Architecture review

CHAINS

Soroban audits
Arbitrum audits
Optimism audits
Base chain audits
Polygon audits
Solidity audits
Dapp audits
EVM audits

Soroban audits
Arbitrum audits
Optimism audits
Base chain audits
Polygon audits
Solidity audits
Dapp audits
EVM audits

AUDITHUB

AuditHub

AuditHub

AUDITHUB TOOLS

Tools overview
Vanguard
OrCa
Picus
ZK Vanguard

Tools overview
Vanguard
OrCa
Picus
ZK Vanguard

RESOURCES

Blog
Resources
Audits archive
Blockchain Security
Publications
Client testimonials

Blog
Resources
Audits archive
Blockchain Security
Publications
Client testimonials

COMPANY

About
Our team
Careers
Contact
Media kit

About
Our team
Careers
Contact
Media kit

Industry-leading blockchain security audits and tools contact@veridise.com

X-twitter Linkedin Youtube Github

Terms of service

Copyright© 2025 Veridise

Contact us for a security audit quote

Secure an earlier audit slot by reaching out early.

First Name

Last Name

Company / project name

Email

Additional notes

* mandatory fields

Services
AuditHub
- Tools
  - Vanguard
  - OrCa
  - ZK Vanguard
  - Picus
Resources
Blog
About
- Our team
- Careers
Request Audit