Čtení bílé knihy SBC25 Sekce 5: Zabiják dokazování Bezpečnost se dostala do centra pozornosti s "Prover Killer", ukázkou kritické zranitelnosti ZK-rollup z @YourBuddyConner of @TheProofLab. Klíčové poznámky: - Vektor: Využívá ekonomického nesouladu mezi nízkými náklady na plyn a vysokou režijní náklady na prokázání u určitých operací. - Koho se to týká: ZK-rollupy, které využívají standardní operační kódy EVM. - Výzva: Není snadné ji zmírnit jednoduchými opravami, jako je omezení rychlosti nebo větší bloky. - Dopad: Má vážné důsledky pro ekonomiku kumulativního navýšení, zabezpečení a pobídky k dokazování. - Zveřejnění: Veškeré podrobnosti jsou zadržovány, protože procházejí zodpovědným zveřejněním. Shrnutí: Děkujeme @prabalbanerjee @AvailProject za přidání zásadního kontextu o tom, jaký to má dopad na prostor L2. #Security #ZK #Rollups #Vulnerability #SBC2025