Celo kembali ke tab Validiums & Optimiums! 🔄 Dengan hardfork Jello, @Celo memperkenalkan peningkatan jaringan baru yang membawa OP @SuccinctLabs Lite dengan bukti ZK ke mainnet Celo, bersama dengan verifier DACert jembatan @eigen_da V2. Mari kita uraikan apa yang sebenarnya berubah ⬇️

Validasi 🔴 status → 🟢 Celo sekarang mendukung bukti penipuan DAN bukti ZK, memungkinkan aktor yang menonton rantai untuk membuktikan bahwa keadaan itu salah.

Bukti penipuan (1R, ZK) 🔸 Bukti penipuan putaran tunggal (1R) hanya memerlukan satu transaksi untuk menyelesaikan sengketa 🔸 Bukti ZK digunakan untuk membuktikan kebenaran transisi status Ini memungkinkan kebenaran transisi status dan status yang dapat diverifikasi.

Ketersediaan 🔴 data → 🟡 Konstruksi bukti dan derivasi negara sekarang sepenuhnya bergantung pada data yang diposting di EigenDA.

DA Eksternal 🔸 Sequencer menerbitkan data transaksi ke EigenDA v2. 🔸 Akar data transaksi diperiksa terhadap akar data DACert Verifier, yang ditandatangani oleh operator EigenDA.