Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity
https://osec.io/blog/2025-08-11-compiler-bug-causes-compiler-bug/
#HackerNews #CompilerBug #GPlusPlus #Solidity #SoftwareDevelopment #TechNews #ProgrammingInsights

Unfaithful Claims: Breaking 6 zkVMs
A zkVM verifier should be faithful to one thing above all else: its public claims. Yet we found six systems where this guarantee breaks. Learn how a subtle ordering bug lets an attacker bypass the cryptography entirely and prove mathematically impossible statements.
