Memperkenalkan Plonky2

Divisi Polygon Zero dari Polygon Labs berkomitmen memanfaatkan zero-knowledge proofs untuk meningkatkan skala Ethereum agar dapat menampung satu miliar pengguna, tanpa mengorbankan desentralisasi dan keamanan. Untuk mewujudkan ambisi besar ini, perlu dikembangkan sistem pembuktian yang cepat dan efisien. Plonky2 menjadi terobosan utama dalam kriptografi zero-knowledge, mengintegrasikan keunggulan berbagai sistem proof dalam satu solusi yang sangat teroptimasi.

Plonky2 adalah recursive SNARK yang menawarkan peningkatan performa signifikan dibandingkan alternatif yang ada, serta tetap kompatibel secara native dengan Ethereum. Dengan mensintesis PLONK dan FRI (Fast Reed-Solomon Interactive Oracle Proofs), Plonky2 mewarisi karakteristik terbaik dari STARK—seperti pembuatan proof yang sangat cepat dan tanpa trusted setup—serta SNARK, yang mendukung rekursi dan biaya verifikasi rendah di Ethereum.

Rekursi

Rekursi merupakan salah satu fitur paling kuat dalam sistem zero-knowledge proof. SNARK dapat memverifikasi komputasi apa pun, dan karena verifikasi SNARK juga merupakan komputasi, SNARK dapat memverifikasi SNARK lainnya. Sifat rekursif pada Plonky2 membuka peluang skalabilitas yang jauh lebih tinggi.

Misalnya, validator harus membuktikan validitas 1.000 transaksi. Jika satu proof monolitik digunakan untuk seluruh 1.000 transaksi sekaligus, prosesnya akan sangat mahal dan memakan waktu. Lebih efisien bila beban kerja didistribusikan: 1.000 mesin paralel masing-masing membuat proof untuk satu transaksi. Selanjutnya, proof tersebut dikumpulkan secara rekursif melalui beberapa lapisan, di mana tiap proof di setiap lapisan memverifikasi dua proof dari lapisan sebelumnya. Proses agregasi hierarkis ini berlanjut hingga tersisa satu proof yang membuktikan seluruh 1.000 transaksi valid.

Arsitektur rekursif Plonky2 membawa banyak manfaat: mempercepat waktu komputasi, mengurangi kebutuhan sumber daya, dan memungkinkan desentralisasi lebih luas dengan mendistribusikan proses pembuatan proof ke banyak node.

Efisiensi

Proof rekursif menjadi fondasi utama untuk mewujudkan skalabilitas blockchain. Perkembangan teknologi proof rekursif sangat pesat: ketika Mir (kemudian menjadi Polygon Zero) diluncurkan pada 2019, satu proof rekursif membutuhkan waktu sekitar dua menit di perangkat komputasi berkinerja tinggi. Pada 2020, proof rekursif sudah diterapkan di Ethereum dengan waktu pembuatan proof turun menjadi 60 detik. Protokol Halo mempercepat pembuatan proof rekursif, tetapi mengorbankan kompatibilitas dengan Ethereum.

Pada 2021, Polygon Zero menetapkan target teknis ambisius: proof rekursif di bawah satu detik dengan tetap kompatibel dengan Ethereum. Terobosan Plonky2 datang dari pemahaman bahwa FRI, skema komitmen polinomial yang menjadi dasar STARK, bisa menghasilkan manfaat performa besar untuk recursive SNARK—hubungan yang sebelumnya tidak terlihat jelas, karena implementasi seperti Fractal membutuhkan waktu sekitar 10 menit untuk membuat proof.

FRI memiliki sifat matematis istimewa: memungkinkan penggunaan field 64-bit, dan peneliti Polygon menemukan Goldilocks Field, modulus yang memungkinkan operasi aritmatika sangat efisien pada prosesor modern. Jika digabungkan dengan PLONK, FRI memungkinkan desain custom gate dengan jumlah wire lebih banyak, sehingga optimasi sirkuit Plonky2 untuk rekursi menjadi sangat efisien.

Kombinasi inovasi matematis, keahlian kriptografi, dan optimasi performa tingkat rendah ini menghasilkan terobosan: pembuatan proof rekursif Plonky2 hanya memerlukan 170 milidetik di Macbook Pro—peningkatan performa besar dibandingkan solusi lain.

Ukuran Proof

Plonky2 meningkatkan kinerja bukan hanya pada proof rekursif, tetapi juga pada pembuatan proof non-rekursif. Sistem berbasis FRI umumnya harus memilih: proof cepat dengan ukuran besar (biaya verifikasi Ethereum tinggi) atau proof kecil tapi lebih lambat. Sistem lain pun menghadapi tradeoff serupa.

Plonky2 mendobrak tradeoff ini melalui desain arsitekturnya. Jika kecepatan pembuatan proof diprioritaskan, sistem dioptimalkan untuk kecepatan maksimum. Ketika proof individual diagregasi rekursif, satu proof akhir dapat diverifikasi melalui sirkuit ringkas, sehingga ukuran proof bisa diminimalkan. Dengan pendekatan dua tahap, Plonky2 menghasilkan proof sekecil 45 kilobyte dengan waktu pembuatan hanya 20 detik—waktu yang sangat singkat karena proof hanya dihasilkan saat pengiriman ke Ethereum. Hal ini secara dramatis menurunkan biaya operasional dibandingkan implementasi lain.

Kompatibilitas

Salah satu keunggulan Plonky2 yang paling signifikan adalah kompatibilitas native dengan blockchain Ethereum. Verifikasi proof hanya membutuhkan fungsi hash kriptografi keccak-256, sehingga sepenuhnya kompatibel dengan infrastruktur Ethereum yang ada. Analisis awal memperkirakan verifikasi proof Plonky2 yang telah dioptimasi ukuran di Ethereum memerlukan sekitar 1 juta gas unit.

Namun, konsumsi gas tersebut sebagian besar berasal dari biaya CALLDATA untuk mempublikasikan proof di on-chain. Jika struktur harga CALLDATA diubah melalui EIP-4488, biaya verifikasi bisa turun menjadi sekitar 170.000-200.000 gas unit. Penurunan ini menjadikan Plonky2 tidak hanya sistem pembuktian yang cepat, namun sangat efisien dari sisi biaya verifikasi di Ethereum.

Kesimpulan

Plonky2 merupakan inovasi fundamental dalam teknologi zero-knowledge proof dan menjadi tonggak penting bagi infrastruktur scaling Ethereum. Plonky2 hasil pengembangan Polygon Zero membuktikan bahwa inovasi matematis dan keunggulan rekayasa dapat menyelesaikan keterbatasan historis sistem proof. Meskipun solusi layer-2 zero-knowledge semakin diminati, implementasi yang ada masih mengandalkan primitif kriptografi yang membatasi efisiensi dan skalabilitas.

Seiring evolusi persaingan solusi layer-2, pembedaan akan semakin bergantung pada kapasitas throughput dan biaya operasional. Plonky2 memberikan ekosistem Polygon perangkat dasar untuk membangun sistem layer-2 dengan performa dan skalabilitas unggul, dan menempatkannya sebagai teknologi transformatif untuk kemajuan solusi scaling Ethereum.

FAQ

Apa itu Plonky2? Apa saja fitur utama dan keunggulannya?

Plonky2 adalah teknologi recursive ZK-SNARK dari Polygon, 100 kali lebih cepat dari alternatif yang ada dan sepenuhnya kompatibel dengan Ethereum. Plonky2 menggabungkan keunggulan PLONK dan FRI untuk pembuatan proof yang sangat cepat dan skalabilitas maksimal.

Apa perbedaan Plonky2 dengan framework zero-knowledge proof lain seperti Circom dan ZoKrates?

Plonky2 memakai Goldilocks field yang kecil dan mendukung rekursi secara efisien, sehingga menghasilkan performa yang lebih baik dibanding Circom dan ZoKrates. Plonky2 mencapai waktu pembuatan proof optimal dengan tingkat keamanan lebih tinggi.

Apa saja skenario aplikasi utama untuk Plonky2?

Plonky2 digunakan terutama untuk melindungi privasi di blockchain, solusi scaling layer-2, dan verifikasi kriptografi. Teknologi ini memungkinkan zero-knowledge proof untuk transaksi aman dan verifikasi smart contract.

Bagaimana membangun dan memverifikasi zero-knowledge proof menggunakan Plonky2?

Plonky2 memungkinkan pembuatan zero-knowledge proof untuk komputasi yang dapat diverifikasi secara efisien melalui komposisi proof rekursif. Sirkuit dapat dioptimalkan menggunakan custom gates untuk performa dan skalabilitas maksimal.

Bagaimana performa Plonky2? Berapa kecepatan pembuatan dan verifikasi proof-nya?

Plonky2 mampu menghasilkan proof rekursif dalam 0,17 detik di MacBook Pro, 100 kali lebih cepat dari solusi lain. Proses verifikasi selesai sekitar 20 detik, menghadirkan performa unggul untuk aplikasi zero-knowledge proof.

Plonky2 mendukung bahasa pemrograman dan lingkungan pengembangan apa saja?

Plonky2 terutama mendukung bahasa pemrograman Rust, ditujukan bagi pengembang dengan pengalaman Rust. Plonky2 menyediakan lingkungan pengembangan zero-knowledge proof yang efisien, mendukung konstruksi sistem pembuktian modular dan skalabel.

Apa hubungan antara Plonky2 dan algoritma Plonk? Mengapa dinamakan Plonky2?

Plonky2 merupakan versi Plonk yang telah disempurnakan, menggantikan KZG commitment dengan FRI commitment dari teknologi STARK. Nama Plonky2 menandakan evolusi dan inovasinya, menggabungkan efisiensi Plonk dengan ketahanan kuantum dan kecepatan pembuktian FRI.