CVE-2026-48100

Payy məxfiliyi qoruyan və tənzimləmələrə uyğun əməliyyatlar üçün nəzərdə tutulmuş Ethereum L2 zk-rollup həllidir. Versiya 1.3.0-dan əvvəl, agg_agg daxili sübutlarından gələn sıxılmış mesaj axınını public messages: [Field; 1000] massivinə yönləndirir, lakin kənar massivinin istifadə olunmayan son hissəsinin sıfır olduğunu heç vaxt yoxlamır. Qeydiyyatdan keçmiş bir prover, təsdiqlənmiş rollup blokuna aid etibarlı agg_final sübutunu hazırlayarkən, real mesajlardan sonra əlavə burn mesajı yerləşdirə bilər. Daha sonra RollupV1.verifyRollup() bu ictimai girişi normal burn kimi analiz edir və USDC vəsaitlərini rollup kontraktından hücumçuya köçürür. Bu, ciddi dövrə sağlamlığı (circuit soundness) xətasıdır: sübut sistemi, mesajlar massivi tamamilə təsdiqlənmiş daxili sübutlardan törəməyən ictimai bəyanatı qəbul edir. Hazırkı tətbiqdə verifyRollup() yalnız mövcud ağ siyahıya (allowlist) daxil edilmiş prover ilə məhdudlaşdırılıb, buna görə də yeni bir ictimai çağırıcı etibarsız sübutu birbaşa təqdim edə bilməz. Bu məhdudiyyət hazırda L1-ə kimin çıxa bildiyini limitləyir, lakin dövrə bəyanatını sağlam etmir. Problem Payy whitepaper-də təsvir olunan prover modeli altında icazəsiz hala gəlir. Bölmə 3.3.2-də bildirilir ki: "Prover kimi qoşulmaq üçün proverdən kiçik miqdarda stake təqdim etməsi tələb olunur" və Bölmə 3.3.1-də qeyd edilir ki, əgər prover təqdimata uğursuz olduqda "digər nodlar onun əvəzinə blok sübutunu təqdim edə bilər". Bu modeldə hücumçuya sadəcə qeydiyyatdan keçmiş prover olmaq və artıq təsdiqlənmiş blok üçün ictimai validator təsdiq məlumatlarından istifadə etmək kifayətdir. Bu problem versiya 1.3.0-da aradan qaldırılıb.