ABDK Consulting

About

ABDK Consulting is a Web3 security and cryptography firm that audits smart contracts, zero knowledge circuits, cryptographic schemes and protocols. Smart contract audits are described as its primary product, and its published audits include Solidity contracts on Ethereum and Cairo code in the Starknet ecosystem. The firm also writes and audits ZK circuits in several languages, including Circom, Rust, C++ and Zokrates, and reviews cryptography, including parameter choices, input assumptions and key management. Around audits, it offers research to advise on architectural and security decisions, consulting to design secure schemes, and evaluation of existing approaches from a security and performance perspective. A newer service covers security audits of AI and LLM applications, based on the OWASP LLM Top 10 and MITRE ATLAS frameworks. Its stated approach includes clear milestones and deliverables, internal cross-review, follow-up guidance and full confidentiality. Its published history lists the ABDK Solidity math libraries and work on the Poseidon hash, and the team states that it has constructed and optimised DeFi protocols. Its audit portfolio is published in a GitHub repository, and its website does not state a headquarters address.

At a glance

• Audits smart contracts, ZK circuits and cryptographic protocols
• Published audits of Solidity and Cairo code
• Writes and audits ZK circuits in Circom, Rust, C++ and Zokrates
• Maintains ABDK Solidity math libraries
• Also audits AI and LLM applications
• Audit portfolio published on GitHub

ABDK Consulting: frequently asked questions

What services does ABDK Consulting offer?

According to its public information, ABDK Consulting offers: Audit.

Which blockchains does ABDK Consulting work with?

ABDK Consulting works with Ethereum and Starknet.

Which smart contract languages does ABDK Consulting use?

ABDK Consulting works with Solidity, Cairo, and Rust.

Is ABDK Consulting verified on smart-contract.com?

Not yet. This listing was compiled from public information and ABDK Consulting has not claimed it or gone through the vetting process of smart-contract.com.

How can I get a quote from ABDK Consulting?

Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.