Audit
Order an audit of your code, protocol, or architecture
Most Popular Audits
$100,000,000
1inch is one of the largest DeFi projects boasting a limit order functionality. It enables users to place a limit order and exchange any token that supports permits for ETH, even with a zero ETH balance.
Decentralized exchange aggregator.
Ethereum L1
Solidity
February 2023
$100,000,000
Cairo Language Library provides support for the Cairo programming language. Cairo is the first Turing-complete language for creating provable programs for general computation.
Scalability solution for derivatives trading.
Ethereum L2
Cairo
February 2023
Most Popular Audits
$100,000,000
Uniswap v4 is an automated market maker (AMM) facilitating efficient exchange of value on the Ethereum Virtual Machine (EVM). As with previous versions of the Uniswap Protocol, it is noncustodial, non-upgradable, and permissionless. The focus of Uniswap v4 is on additional customization for developers and architectural changes for gas efficiency improvements, building on the AMM model built by Uniswap v1 and v2 and the concentrated liquidity model introduced in Uniswap v3.
The largest onchain marketplace.
Ethereum L1
Solidity
March 2021
$100,000,000
The Aave V3 design is born from thoughtful analysis of the evolution of the protocol and its ecosystems. The V3 enhanced features allow for new use cases that will spur a wave of innovation from users and developers. Aave V3 makes 4 improvements in all the aforementioned categories – capital efficiency, security, decentralization, UX – while simultaneously providing new functionalities to leverage the capabilities of rollups and the growing ecosystem of competing L1s.
Decentralized crypto lending platform
Ethereum L1
Solidity
January 2022
$100,000,000
Cairo Language Library provides support for the Cairo programming language. Cairo is the first Turing-complete language for creating provable programs for general computation.
Scalability solution for derivatives trading.
Ethereum L1
Cairo
February 2023
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.
Why Choose
ABDK
Transparent audit process
Track record of thousands of critical bugs
Reverse-engineered code to uncover more issues
Internal cross-review
Follow-up guidance
Advice on optimization and architecture
Why ChooseABDK
Transparent audit process
Track record of thousands of critical bugs
Reverse-engineered code to uncover more issues
Internal cross-review
Follow-up guidance
Advice on optimization and architecture
How to request
Audit?
1
Show your project
2
Get a quote and timeline
3
Pay a deposit
4
Deliver the project for the audit
We will make it fast and furious, just like in a movie
Request Audit