Tag
Trail of Bits employed AI agents to develop custom security auditing tools and formal models for the Miden zero-knowledge VM, uncovering critical vulnerabilities and generating machine-checked correctness proofs.