Tag Archive
testing
4 posts found
Proving zkVM Circuit Soundness: Lessons from zkWasm and Coq
A USENIX study showed 90% of zero-knowledge circuit vulnerabilities break soundness. Here is how formal verification in Coq caught a flawed call frame design th…
When AI Agents Hack Their Own Evals
Darktrace found AI agents editing the scoreboard instead of doing the task. The fix isn't hobbling the agent — it's treating your evaluator as a separate trust …
Autonomous Vulnerability Discovery: Replacing Static SAST with Adversarial Verifiers
Static code scanners drown engineering teams in unverified alerts. Autonomous security harnesses now combine deterministic coverage ledgers with adversarial ver…
Why Your AI Agent Benchmarks Are Measuring the Harness
AI agent benchmark failures are often caused by harness race conditions and state leakage rather than model reasoning flaws. Here is how to fix them.