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

Shankara Pailoor

Chief Research Officer

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

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

Shankara Pailoor

Aug 19

Shankara Pailoor

Aug 19

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

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

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

Meet our team: 10 questions for Shankara Pailoor

Shankara Pailoor

Oct 30

| 8 min read

Shankara Pailoor

Oct 30

| 8 min read

Breaking the tree: Violating invariants in Semaphore

Shankara Pailoor

Jan 28

| 10 min read

Shankara Pailoor

Jan 28

| 10 min read

Medjai: Protecting Cairo code from bugs

Shankara Pailoor

Jul 22

| 13 min read

Shankara Pailoor

Jul 22

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