sequencer example l2

Contoh Dokumentasi Rollup

Repositori ini berisi contoh rollup yang terintegrasi dengan Espresso Sequencer. Contoh rollup mewakili penyimpanan akun kunci/nilai sederhana yang menerima transaksi yang dipesan dari Espresso, mengeksekusinya di VM rollup, dan menerbitkan bukti status tiruan ke kontrak pintar L1 (Ethereum). Rollup berisi API sederhana untuk mengirimkan transaksi dan menanyakan saldo akun.

Perkenalan

Espresso dibangun di atas HotShot, sebuah jaringan yang mencapai konsensus pada kumpulan transaksi rollup. Pada tingkat tinggi, rollup adalah solusi penskalaan L1 yang melakukan komputasi off-chain yang mahal. Dalam kasus zkRollups, pembukti secara berkala mengirimkan pos pemeriksaan status rollup bersama dengan bukti validitas transaksi batch ke L1. Contoh yang diilustrasikan di sini adalah tiruan zkRollup. Untuk mempelajari lebih lanjut tentang rollup Espresso, baca dokumen kami

Menjalankan Contoh

Prasyarat

Pastikan docker diinstal pada sistem Anda.

Untuk distribusi linux ikuti instruksi resmi distribusi linux Anda atau lihat instruksi resmi buruh pelabuhan.

Menjalankan Contoh Rollup pada Espresso Sequencer

Pertama-tama kita perlu memulai jaringan Espresso Sequencer lokal.

 git clone https://github.com/EspressoSystems/espresso-sequencer
cd espresso-sequencer
docker compose pull
docker compose up -d --wait

Setelah selesai menerapkan contoh rollup, rollup tersebut dapat dijalankan secara asli.

Untuk menjalankannya secara asli, diperlukan rantai alat karat. Kami menyediakan nix shell untuk menginstal semua dependensi. Nix dapat diinstal melalui nix-installer. Setelah terinstal, jalankan perintah berikut dari root proyek:

 nix develop
just dev-demo

Berinteraksi dengan Demo

Setelah menjalankan just dev-demo , Anda akan dapat melihat log new state event setelah beberapa menit.

1. Alice menandatangani transaksi transfer token rollup ke Bob. Alice mengirimkan transaksi ini ke Rollup melalui titik akhir submit API rollup. Jika Alice mengkhawatirkan sensor, dia dapat mengirimkan transaksinya langsung ke sequencer.
2. Server API rollup meneruskan transaksi ke sequencer. Transaksi ditandai dengan ID Namespace unik rollup sehingga rollup dapat mengidentifikasi transaksinya sendiri di langkah 4.
3. Jaringan sequencer memproses transaksi, yang pada akhirnya memasukkannya ke dalam satu blok. Node sequencer mengirimkan status baru ke kontrak Light Client di L1, yang memverifikasi bahwa konsensus telah tercapai pada status baru.
4. Layanan eksekutor menerima pemberitahuan status baru melalui langganan layanan kueri yang disediakan oleh node sequencer.
5. Pelaksana juga mendengarkan header dari blok baru yang diurutkan pada jaringan hotshot. Ia kemudian mengambil bukti namespace, vid common, dan hash blok.
6. Pelaksana kemudian memproses transaksi, melakukan langkah-langkah berikut:
   • Pelaksana menerapkan transaksi ke status VM. Sebelum penerapan, setiap transaksi divalidasi, dan transaksi yang tidak valid dibuang (rollup sebenarnya pada akhirnya akan menyertakan bukti ketidakabsahan transaksi). Dalam kasus kami, blok tersebut berisi satu transaksi dari Alice ke Bob. Karena transaksi berisi tanda tangan yang valid dan Alice memiliki saldo yang cukup, transaksi berhasil diterapkan dan saldo diperbarui.
   • Setelah penerapan transaksi, pelaksana memperbarui status VM dengan komitmen blok baru dan komitmen status sebelumnya.
   • Pelaksana menghitung komitmen negara baru, dan menghasilkan bukti tiruan bahwa negara telah diperbarui dengan benar sehubungan dengan komitmen blok HotShot.
7. Pelaksana memposting bukti kontrak rollup.
8. Kontrak rollup memverifikasi bukti dengan menanyakan komitmen blok tersertifikasi terbaru dari kontrak sequencer. Catatan: Dalam penerapan kami saat ini, kami tidak melakukan banyak verifikasi dalam kontrak. Untuk tujuan produksi, kontrak rollup perlu melakukan verifikasi tambahan dengan status klien ringan.
9. Bob menanyakan saldonya menggunakan API rollup, dan melihat bahwa dia telah menerima beberapa token baru. Jika ini benar-benar rollup, Bob yang berpotensi tidak percaya dapat memverifikasi saldonya terhadap komitmen negara kontrak rollup (contoh saat ini tidak menyertakan fitur ini).

Arsitektur Rollup

Status Batal

Status contoh rollup terdiri dari:

• Akun : Pemetaan alamat ECDSA (gaya EVM) ke saldo token tiruan.
• Block Hash : Hash dari blok konsensus jagoan terbaru.
• Komitmen status sebelumnya : Komitmen kriptografi terhadap status rollup sebelum langkah eksekusi terbaru.
• VM : Informasi tentang Rollup VM. Saat ini, ini adalah ID sederhana.

Pelaksana

Pelaksana adalah layanan yang bertanggung jawab untuk berlangganan negara baru yang diposting ke kontrak klien ringan L1, menerapkan transaksi ke negara rollup, dan mengirimkan bukti tiruan ke kontrak rollup. Rollup sering kali memisahkan peran eksekutor dan pembuktian menjadi dua layanan berbeda, namun contoh ini menggabungkan keduanya demi kesederhanaan.

API Batal

Rollup API adalah REST API yang mencakup titik akhir submit dan query .

Kontrak Rollup

Kontrak rollup menyimpan komitmen status rollup terbaru. Kontrak memperbarui komitmen negara ketika menerima bukti transisi negara yang sah dari pelaksana.

Espreso

Dalam contoh ini, kami menggunakan beberapa komponen Espresso seperti dijelaskan di bawah. Informasi lebih lanjut dapat ditemukan di dokumen

Klien Ringan

Klien ringan adalah kontrak cerdas yang memverifikasi integritas status rollup. Kode kontrak dapat ditemukan di sini

Jaringan Espreso

Kami menjalankan jaringan espresso menggunakan image docker espresso-sequencer. Jaringan menggunakan jagoan untuk mencapai konsensus mengenai status rollup. Arsitektur dapat ditemukan di sini

Jagoan

Espresso Network menggunakan HotShot untuk mencapai konsensus mengenai status rollup.