Salah satu pendiri Ethereum, Vitalik Buterin, telah membahas sistem pembuktian kriptografi baru yang bertujuan untuk mencapai efisiensi yang lebih besar untuk pembuktian tanpa pengetahuan.
Dalam postingan blognya pada tanggal 29 April, Buterin menjelaskan sistem pembuktian kriptografi yang sangat efisien pada bidang biner yang disebut “Binius,” yang bertujuan untuk memberikan peningkatan kinerja yang signifikan dibandingkan sistem pembuktian tradisional seperti zk-SNARKs.
Binius bertujuan untuk mencapai efisiensi yang lebih besar dengan melakukan komputasi secara langsung pada bit biner individual — nol dan satu — alih-alih angka yang lebih besar.
Motivasi di balik sistem ini berasal dari sistem bukti kriptografi tradisional seperti SNARK (Succinct Non-Interactive Argument of Knowledge) dan STARK (Scalable Transparent Argument of Knowledge) yang bekerja dengan bilangan yang lebih besar seperti bilangan bulat 64-bit atau 256-bit.
Data dasar yang diproses sering kali terdiri dari nilai-nilai kecil seperti penghitung, indeks, dan tanda boolean, namun, dengan mengoperasikan bit secara langsung, Binius dapat memproses data ini dengan lebih efisien, kata Buterin.
Protokol Binius divisualisasikan. Sumber: Vitalik Buterin
Menurut Buterin, sistem pembuktian baru ini menawarkan peningkatan seperti merepresentasikan data sebagai “hiperkubus” bit multidimensi dan menggunakan “bidang terbatas” biner untuk memungkinkan operasi aritmatika yang efisien pada bit dan urutan bit.
Ia juga menggunakan proses pengkodean dan penguraian khusus yang mengubah data tingkat bit menjadi bentuk yang sesuai untuk pemrosesan “polinomial” dan pembuktian Merkle, sambil mempertahankan manfaat efisiensi bekerja dalam biner.
Merangkul biner membuka peningkatan kinerja yang signifikan untuk aritmatika inti di jantung sistem pembuktian kriptografi membuat aplikasi ekonomi kripto yang kompleks menjadi lebih efisien dan terukur.
Polinomial sering kali digunakan dalam pembuktian zk untuk mengkodekan data dan perhitungan sedemikian rupa sehingga memungkinkan verifikasi pembuktian tanpa mengungkapkan informasi yang mendasarinya, oleh karena itu istilah “pengetahuan nol”.
Buterin mendemonstrasikan protokol Binius dengan matematika kompleks di luar cakupan artikel ini untuk menunjukkan cara protokol tersebut mengkodekan data, menghasilkan bukti, dan memungkinkan verifikator memeriksa bukti tersebut secara efisien.
Terkait: Bukti ZK menghadirkan tantangan keamanan bagi pengembang
Konsep ini awalnya diusulkan oleh kriptografer Benjamin E. Diamond dan Jim Posen dalam whitepaper tahun 2023 berjudul “Argumen Singkat mengenai Menara Biner Fields.”
Secara keseluruhan, Binius bertujuan untuk menghasilkan peningkatan kinerja yang signifikan dibandingkan sistem pembuktian tradisional, terutama untuk komputasi yang melibatkan nilai kecil dan operasi tingkat bit.
“Saya mengharapkan lebih banyak perbaikan dalam teknik pembuktian berbasis biner di bulan-bulan mendatang,” Buterin menyimpulkan.
Majalah: Pertanyaan Besar: Apa pendapat Satoshi Nakamoto tentang bukti ZK?