x.comthreadTrail of Bits (@trailofbits) on X
Announcement tweet for Trail of Bits's September "Tribune" newsletter, which fact-checks 1Password's AI-powered patching benchmark, details a signature-forgery bug found in Miden's zkVM and a string-slicing bug in the Lean theorem prover/language, and reports 27 advisory submissions to OpenClaw plus seven new completed security reviews. It links out to the full newsletter on Mailchimp (mailchi.mp/trailofbits).
TL;DR Trail of Bits's September Tribune newsletter covers a Miden zkVM signature-forgery bug, a Lean string-slicing bug, a fact-check of 1Password's AI patching claims, and OpenClaw advisory/review stats.
Organisations named here
- Trail of Bits Tribune
Technologies named here
- 1Password
- Miden zkVM
- Lean
- OpenClaw
- Miden
Related in Blockchain
blog.thorchain.orgwriteupTHORChain Exploit Report #2 — GG20 root-cause disclosure
protos.comarticleBlack Thursday revisited: MakerDAO keeper exploited for $500K
.jpg)
aikido.devwriteupGraphalgo campaign spreads to Terraform providers and Go Modules
sundaytimes.lkarticle