| Title | Sr. Security Engineer |
| Pronouns | he, him |
| Blog | https://scottarc.blog |
| Title | Sr. Security Engineer |
| Pronouns | he, him |
| Blog | https://scottarc.blog |
RE: https://infosec.exchange/@trailofbits/116419704979785055
Today in memory safety bugs in Rust code.
Google used a ZK proof to disclose a quantum breakthrough that cuts the cost of breaking cryptocurrency by 20x without handing attackers the circuit.
The Rust code behind the proof had memory safety bugs. We used this new attack surface to forge a proof that beats Google’s on every metric.
Google patched it within days. Their quantum claims are unaffected. https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanalysis/

Trail of Bits discovered and exploited memory safety and logic vulnerabilities in Google’s Rust zero-knowledge proof code to forge a proof claiming better quantum circuit performance metrics than Google’s original results, demonstrating unique security risks in zkVM systems.
Hot take:
Discord is not a documentation platform. It is a chat platform. If your project requires connecting to a discord to obtain necessary information, then your project is undocumented.
# sodium_compat security release
* https://github.com/paragonie/sodium_compat/releases/tag/v2.5.0
* https://github.com/paragonie/sodium_compat/releases/tag/v1.24.0
Further information: https://00f.net/2025/12/30/libsodium-vulnerability/
@DefuseSec In case you wanted to refresh cryptofails.com sometime
Singh et. al. recently uploaded a preprint describing a new hash function inspired by the Collatz Conjecture. After performing some cursory tests, the proposed function appears to be completely unsuitable for cryptographic purposes, and should not be used.