Prinsip implementasi bukti rekursif

Sebagai proyek perwakilan zk-Rollup, StarkNet memverifikasi validitas transaksi lapis kedua melalui bukti validitas. Artinya, L2 menyerahkan sertifikat keabsahan kepada L1, dan diverifikasi oleh verifikator L1.

Penerapan pembuktian rekursif dapat dibagi menjadi dua bagian: L3 menyerahkan bukti keabsahan ke L2 dan diverifikasi oleh L2. L2 memampatkan beberapa bukti menjadi satu dan menyerahkannya ke L1 untuk verifikasi.

Bentuk struktur rekursif yang sempurna. #crypto2023

6/n🧵