Stage 01 — Design advisory
Before code is written.
Reviewing protocol architecture, threat models, and economic design while choices are still cheap to change.
01 / AI-native security partner
Deep reviews of critical code.
We work with your team from design through post-deployment. Our auditors review, fuzz, and scan with AI in the loop.
src/loan.sol:createLoan WAKE 5.0
crit a lending smart contract: the external _tryPermit() call sits before settlement — a re-enterable back-edge.
entry of interest re-entry path control flow
Trusted by
48% discover crit+high
Nearly half of all audits discover at least one critical or high severity issue — 114 of 237.
+22% more findings with ai
38 critical or high findings with the ack3 AI scan, 31 without — backtest on 2025 production audits.
×14 Lido audits
The blue chips keep returning: fourteen audits for Lido, eight for Safe, thirty for Axelar.
What impressed us most was the AI audit's ability to identify complex issues arising from interactions between different parts of the system. These cross-component findings are typically among the most difficult classes of vulnerabilities to discover.
recall_benchmark.txt 2026-05 / N=94 high-sev
ack3 AI scan 66/94
best frontier model 48/94
What we do · the partnership
From design to post-deployment.
The core engagement is a security review: manual review, Wake fuzzing, and the ack3 AI scan across EVM smart contracts, Solana programs, and the off-chain infrastructure around them. Around the review, the partnership spans the whole lifecycle.
Stage 02 — Tooling & infra
Wake fuzzing & CI.
Testing frameworks, static analysis pipelines, deployment safeguards, infrastructure security posture.
Stage 03 — Security review
Beyond the contract directory.
A smart contract audit at the core. Review extends into integrations, system boundaries, and the seams where modern incidents originate.
Stage 04 — Partnership
Coverage that follows the code.
A monthly ack3 AI scan follows the code; re-reviews and incident support as the protocol evolves — where the relationship compounds.
How we review · methodology
The method behind the record.
Every review starts with a model of the system and ends with a report the team stands behind.
System modeling
The codebase and its external interactions mapped; expected behavior checked against implementation.
wake graph tooling · mathematical modelsack3 AI scan
Launched at the start, pinned to the scoped commit, run in parallel with the manual review — added coverage and leads, every finding reviewed by the team.
scoped commit · manual triageManual & agentic review
Vulnerability hypotheses, escalation paths, chained weaknesses, trust boundaries — every finding validated by auditors.
ai workflows · wake static analyzer · lspTesting & fuzzing
Unit tests and fuzzing confirm findings and verify exact behavior — campaigns guided by an auditor, fuzz tests AI-generated.
wake test · fuzz campaignsThe team
The people behind the record.
ack3 is an in-house team of security researchers — the team that built Ackee Blockchain — auditing Ethereum and Solana protocols since 2021, trusted by Lido, Safe, and Axelar. The team teaches blockchain security at the Czech Technical University in Prague, led by founder Josef Gattermayer, Ph.D.
- jgattermayer Founder Led Ackee Blockchain as CEO · Ph.D. in distributed systems · Devcon & Breakpoint speaker
- 0xTomass Founder — business & relationships Led Ackee Blockchain's business as COO
- jaczkal Founder — security research Led Ethereum security at Ackee Blockchain · co-author of ERC-7512
- michprev Partner — AI tooling Led tooling at Ackee Blockchain · author of Wake · Ethereum Yellow Paper contributor
- meditationduck Partner — fuzzing
Open source · tooling
We build Wake.
Wake is the framework behind every ack3 audit — pytest-based testing, property-based fuzzing, vulnerability detectors, and the language server that powers the Solidity (Wake) VS Code extension. It started in 2022 as the team's internal framework at Ackee Blockchain; we build it for our own engagements and share it with everyone, open source.
Wake is built for the AI era: the agents drive Wake; our engineers drive the agents. The research behind it is conducted with the Czech Technical University in Prague.
wake development backed by a coinbase grant · 2022
marketplace/AckeeBlockchain.tools-for-solidity ★ 5.0 · 45,000+ INSTALLS
