Analisis Prinsip STARKs Binius dan Pemikiran Optimisasi
1 Pendahuluan
Salah satu alasan utama efisiensi STARKs yang rendah adalah: sebagian besar nilai dalam program nyata cenderung kecil, seperti indeks dalam loop for, nilai boolean, penghitung, dan sebagainya. Namun, untuk memastikan keamanan bukti berbasis pohon Merkle, saat melakukan ekstensi data dengan pengkodean Reed-Solomon, banyak nilai redundan tambahan akan mengisi seluruh domain, meskipun nilai aslinya sangat kecil. Untuk mengatasi masalah ini, mengurangi ukuran domain menjadi strategi kunci.
Seperti yang ditunjukkan pada Tabel 1, lebar bit pengkodean STARKs generasi pertama adalah 252bit, lebar bit pengkodean STARKs generasi kedua adalah 64bit, lebar bit pengkodean STARKs generasi ketiga adalah 32bit, tetapi lebar bit pengkodean 32bit masih memiliki banyak ruang yang terbuang. Dalam hal ini, bidang biner memungkinkan operasi langsung pada bit, pengkodean yang kompak dan efisien.