Trusted Setup Terkoordinasi Layer 2 untuk Pembuatan CRS Berkelanjutan

Memisahkan eksekusi seremoni dari pipeline transaksi pada ZK-rollup yang dikoordinasikan PBFT

Khalid Hassan; Sara Rouhani· 2026· DOI 10.48550/arXiv.2607.05776

Masalah inti

Sistem bukti zero-knowledge memerlukan fase trusted setup untuk menghasilkan Common Reference String (CRS). Pendekatan yang ada umumnya bersifat statis, seremoni sekali jalan yang tidak fleksibel dan rentan terhadap kompromi jangka panjang. Penulis mengidentifikasi tantangan koordinasi mendasar ketika membebankan trusted setup berulang dan berkelanjutan ke jaringan Layer 2 (L2) terdesentralisasi: ketidaksesuaian antara pemrosesan transaksi berthroughput tinggi dan kebutuhan multi-putaran seremoni trusted setup. Karya ini mengusulkan kerangka kerja terkoordinasi L2 yang dengan aman memisahkan pipeline transaksi dari eksekusi seremoni untuk mencapai pembuatan CRS otomatis dan berkelanjutan tanpa koordinasi terpusat.

Evaluasi eksperimental dalam simulasi kendala jaringan area luas dan kondisi adversarial menunjukkan bahwa arsitektur berhasil mengisolasi keaktifan seremoni. Setup berkelanjutan selesai secara andal dalam batas waktu praktis meskipun ada node yang keluar atau kontribusi berbahaya. Throughput transaksi L2 tetap stabil sepanjang eksekusi seremoni. Temuan kuantitatif utama meliputi: - Waktu penyelesaian seremoni tetap dalam batas yang dapat diterima bahkan dengan hingga 30% node yang keluar. - Kontribusi berbahaya terdeteksi dan dikeluarkan tanpa menghentikan seremoni. - Throughput transaksi tidak menunjukkan penurunan signifikan selama putaran seremoni. Hasil ini mengonfirmasi bahwa pendekatan pemisahan secara efektif memitigasi tantangan koordinasi.

Sistem bukti zero-knowledge memerlukan fase trusted setup untuk menghasilkan Common Reference String (CRS). Pendekatan yang ada umumnya bersifat statis, seremoni sekali jalan yang tidak fleksibel dan rentan terhadap kompromi jangka panjang. Penulis mengidentifikasi tantangan koordinasi mendasar ketika membebankan trusted setup berulang dan berkelanjutan ke jaringan Layer 2 (L2) terdesentralisasi: ketidaksesuaian antara pemrosesan transaksi berthroughput tinggi dan kebutuhan multi-putaran seremoni trusted setup. Karya ini mengusulkan kerangka kerja terkoordinasi L2 yang dengan aman memisahkan pipeline transaksi dari eksekusi seremoni untuk mencapai pembuatan CRS otomatis dan berkelanjutan tanpa koordinasi terpusat.

Penulis merancang dan mengimplementasikan dua varian protokol di atas arsitektur ZK-rollup terdesentralisasi yang dikoordinasikan PBFT:

Makalah ini mengatasi kerentanan kompromi jangka panjang dari trusted setup statis dengan memungkinkan pembuatan CRS berkelanjutan. Penggunaan bukti zero-knowledge non-interaktif atas pengetahuan dan struktur commit-reveal menghilangkan vektor manipulasi adaptif, memastikan musuh tidak dapat memengaruhi CRS. Dua varian protokol menawarkan trade-off: pendekatan smart contract on-chain memberikan transparansi dan auditabilitas yang lebih kuat, sedangkan varian P2P asinkron menawarkan skalabilitas dan ketahanan yang lebih besar terhadap partisi jaringan. Penulis mencatat bahwa kerangka kerja ini mempertahankan throughput transaksi L2 yang stabil, sehingga cocok untuk penerapan pada ZK-rollup produksi. Pekerjaan selanjutnya dapat mengeksplorasi integrasi dengan arsitektur L2 lain dan optimalisasi latensi seremoni lebih lanjut.

Praktisi dan peneliti ilmu komputer

Membuka konten member…