🖼️00"Auditing in the age of (good enough) AI"Hacker News·about 22 hours ago#SZQRzJ8B#miden#article#englishlanguage🧰Tag tools✨Add tag"Before code review even starts, agents let us build custom tooling and formal models. Here’s how six months of building with AI agents helped us find real issues in our Miden zkVM audit."15s0Read later0Read More
