Skip to content
Smart contract audits from Veridise
  • Services
    • Zero knowledge audits
    • Smart contract audits
    • DeFi audits
    • L1/L2 blockchain audits
    • Web3 wallets and integrations
    • NFT security
    • Security research
  • AuditHub
    • Tools
  • Resources
    • Audits archive
    • Blockchain security
    • Publications
    • Client testimonials
  • Blog
  • About
    • Our team
    • Careers
  • Contact
Request Audit
Request Audit
Smart contract audits from Veridise
  • About us
  • AuditHub
  • Audits
    • DeFi Audits
    • L1/L2 Blockchain audits
    • NFT security
    • Smart Contract
    • Web3 wallets and integrations
    • Zero Knowledge audits
  • Audits archive
  • Blog
  • Careers
    • Veridise Careers: Formal Methods Researcher for ZK
    • Veridise Careers: Head of Product Marketing
    • Veridise Careers: Tooling Software Engineer
  • Client testimonials
  • Contact us
  • Our team
    • Ajinkya Rajput
    • Aladin Bensassi
    • Alberto Gonzalez
    • Alp Bassa
    • Amber Huang
    • Andreea Buțerchi
    • Ben Sepanski
    • Benjamin Gaska
    • Benjamin Mariano
    • Brandon Bocanegra
    • Bryan Tan
    • Burak Kadron
    • Daisy Adams
    • Daniel Domínguez Álvarez
    • Evgeniy Shishkin
    • Ian Neal
    • Işil Dillig
    • Jacob van Geffen
    • Jon Stephens
    • Kostas Ferles
    • Mark Anthony
    • Michalis Konstantopoulos
    • Mikko Ikola
    • Nicholas Brown
    • Nikos Chondros
    • Petr Susil
    • Rohit Kumar
    • Shankara Pailoor
    • Stas Kulminski
    • Tim Hoffman
    • Tyler Diamond
    • Victor Faltings
    • Vijay Singh
  • Privacy Policy
  • Publications
  • Request Audit
  • Services
  • Smart contract audits from Veridise
  • Terms of Service
  • Tools
  • Blockchain Security
  • Resources
  • Security research
  • Zero-Knowledge Security
Request Audit
Request Audit
Picture of Kostas Ferles

Kostas Ferles

Chief Technology Officer (CTO)

Lessons from the Auditing Trenches: “What do ZK Developers get Wrong?”

Picture of Kostas Ferles
Kostas Ferles

Aug 7

| 6 min read

Read

Picture of Kostas Ferles
Kostas Ferles

Aug 7

| 6 min read

Read

Circom-Pairing: A Million-Dollar ZK Bug Caught Early

Picture of Kostas Ferles
Kostas Ferles

Jan 3

| 6 min read

Read

Picture of Kostas Ferles
Kostas Ferles

Jan 3

| 6 min read

Read

contact@veridise.com

Contact us

Request an audit

Media kit

Privacy policy

Terms of Service

contact@veridise.com

Contact us

Media kit

Privacy policy

Terms of Service

Request an audit
X-twitter Github Youtube Linkedin
Copyright © 2025 Veridise
Smart contract audits from VeridiseLogo Header Menu
  • Services
    • Zero knowledge audits
    • Smart contract audits
    • DeFi audits
    • L1/L2 blockchain audits
    • Web3 wallets and integrations
    • NFT security
    • Security research
  • AuditHub
    • Tools
  • Resources
    • Audits archive
    • Blockchain security
    • Publications
    • Client testimonials
  • Blog
  • About
    • Our team
    • Careers
  • Contact
  • 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.I Accept