For many years Zero-Knowledge Proof systems have been considered to be a hope for solving the Blockchain Scalability Problem. Numerous ZK-projects backed by the top tier VC funds promised to compress gigabytes of blockchain data to succinct snapshots and provide the full node security to light-weight clients.
One large smoked mirror was a Random Orackle Model. It served as a backbone for many ZKP schemes. In particular those schemes that have promised to compress blockchain history into tiny succinct snapshots, build recursive SNARKs, deliver verifiable computation, etc.
Recent research exposes a fundamental flaw in the argument.
1) How to Prove False Statements: Practical Attacks on Fiat-Shamir
https://eprint.iacr.org/2025/1182) How to prove false statements? (Part 1)
https://blog.cryptographyengineering.com/2025/02/04/how-to-prove-false-statements-part-1/Do we observe the start of the foundational crisis in the scaling ZK paradigm? What are your thoughts?