ABDK Consulting: Methodology

Audit

Research Consulting Evaluation About us

How to request
Methodology?

Show your project

Get a quote and timeline

Pay a deposit

Deliver the project for the audit

We will make it fast and furious, just like in a movie

Request Methodology

Third-Party Security Audit

Audit is one of many mechanisms to ensure the quality of a product. A third-party audit provides a fresh, independent perspective that cannot be achieved in-house. A skilled auditor examines the business logic, consistency, and performance of your product, leveraging their experience in the field. At ABDK, we offer audits for the most critical and fragile IT components: security-critical code (smart contracts, ZK circuits) and cryptography (schemes and protocols).

Smart Contract Audits

A smart contract is a publicly accessible piece of code that runs on a blockchain (global virtual machine). It is difficult to modify and can only be protected by a few defense mechanisms. A bug in a smart contract can easily lead to losses in the billions of dollars. At ABDK, we have been writing and securing smart contracts since Ethereum's inception in 2015. The smart contract audits, our primary product, has been provided to more than 100 clients over the years.

ZK Circuit Development and Audits

A zero-knowledge (ZK) circuit is a piece of code specifically designed to be part of verifiable computation (VC). Such computation is commonly used in applications where sensitive processes, such as asset transfers, are carried out by untrusted parties that provide a certificate of correctness (proof) of their actions, typically in zero knowledge. It is anticipated that a significant portion of blockchain transactions will be processed through ZK circuits to reduce bandwidth and storage costs. Programming in ZK requires specialized skills, as the execution environment is uncommon and best practices differ. ABDK Consulting has extensive experience in writing and auditing ZK circuits in various languages, including Circom, Rust, C++, and Zokrates, which are showcased in our portfolio.

Cryptography Audits and Consulting

Cryptography is essential in modern web applications and extends beyond blockchain. Despite its widespread use on the Internet over the past 20 years, it remains exceptionally difficult to implement correctly. Choosing the right parameters, verifying assumptions on inputs, key management, and optimizations are common but complex challenges. ABDK offers a full suite of cryptography services, from groundbreaking research, development and prototyping to protocol analysis and implementation audits. Our cryptographic audits have uncovered dozens of critical bugs, many of which are nearly impossible to detect without specialized cryptographic knowledge.