Skip to content

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

A smart contract audit means blockchain security
Audit Request
AuditHub
Audits
Audits archive
Blog
Careers
Client testimonials
Contact us
Our team
Privacy Policy
Publications
Request Audit
Security
Services
Terms of Service

Isil Dillig

President & Co-founder

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

Sep 2

| 4 min read

Sep 2

| 4 min read

Introducing the [V] specification language

Oct 21

| 6 min read

Oct 21

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

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

Veridise and its partners use cookies to ensure that we give you the best experience on our website. By remaining on this website, you consent to our use of cookies.