Kami menemukan bug Fiat-Shamir yang sama di enam zkVM independen. Hasilnya: penyerang dapat melewati kriptografi sepenuhnya dan membuktikan pernyataan yang mustahil secara matematis (seperti mencetak $ 1 juta dari udara tipis). Rincian lengkap ↓