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

Mikko Ikola

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

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

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

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

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

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.