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

Zero-knowledge

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

Proximity Gap and Correlated Agreement

Nov 19

| 15 min read

Nov 19

| 15 min read

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

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

Identifying common vulnerabilities in zkVMs

Jul 1

| 10 min read

Jul 1

| 10 min read

An introduction to zero-knowledge virtual machines (zkVMs)

Jun 20

| 7 min read

Jun 20

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