Trail of Bits on X: “We audited parts of @0xMiden's zkVM, written in a custom assembly lang…”

A fast, private reader for public X posts. No account, no tracking, no pop-ups.

PeekX is an independent tool and is not affiliated with, endorsed by or sponsored by X Corp. “X” and “Twitter” are trademarks of their respective owners. We only show posts that their authors made public and never access private or protected accounts. Downloaded media belongs to its creators — please respect their rights.

Trail of Bits on X: “We audited parts of @0xMiden's zkVM, written in a custom assembly lang…” | PeekX

Username or post link

Home / @trailofbits / Post

Trail of Bits

@trailofbits

We audited parts of @0xMiden's zkVM, written in a custom assembly language called MASM. MASM originally had no developer tooling, so we used Claude and Codex to build a decompiler and static-analysis engine. It flagged a signature-forgery bug that could've cost millions.

blog.trailofbits.comAuditing in the age of (good enough) AI

Sep 18, 2026, 11:03 AM UTC

14 203

Downloads

This post has no photos or videos. You can still save it as an image or copy its text below.

Save & share

Turn this post into a clean image, or copy it as text or Markdown.

Open on X