I work on Miden, where we build a zero-knowledge virtual machine. Programs execute in miden-vm, our ZKVM implementation, and the prover produces a proof that each execution was correct. Like a lot of open source projects this year, we started getting security reports written with AI assistance, in numbers that hand-triaging could not keep up with. This post is a piece-by-piece walkthrough of the workflow we now run to triage that queue, in the order a report meets each piece. The full workflow file is public as a gist, and nothing in it is specific to Miden beyond repository names, so you can adapt it if your own inbox starts to look like ours did.

Contribute to huitseeker/llm-fragments-rust development by creating an account on GitHub.