Sherlock launched the Audit Engine with ack3 among its AI auditors. What the engine is, and where else the ack3 AI scan runs.
Research
The ack3 research hub.
Articles and research reports from the team.
Latest articles
Straight from the work.
From the engineers who build Wake and run the audits.
How good are frontier models at finding real vulnerabilities? Nine models measured against human auditors on five audits that never appeared in training data.
NEST automates LDO buybacks funded by Lido DAO treasury earnings. Our security review covered the contracts, the fixes, and the verified mainnet deployment.
VS Code extensions run with your permissions while installs and badges are weak trust signals. Learn how to audit, pin, allowlist, and contain them.
A staged workflow for reviewing unfamiliar repositories with AI agents using read-only mounts, no credentials, restricted networks, and disposable sandboxes.
Code corpora and current benchmarks show why AI-assisted Solidity tests benefit from Python, while human review stays focused on test logic.
Master Wake's debugging tools: console logging, Python fuzzing, ipdb integration, and performance profiling for Solidity smart contract development.
Inspect EIP-712 type strings and preimage bytes in Wake to match Solidity exactly, catch schema errors early, and prove signatures before deployment.