SHA256 ada di mana-mana di kripto, tetapi di dalam sirkuit zk itu menjadi salah satu kemacetan terbesar. Sebagian besar implementasi membayar biaya yang sangat besar karena SHA256 tidak pernah dirancang untuk ramah sirkuit. Dalam tulisan terbaru kami oleh @0xrosetteeee, kami mengeksplorasi cara membuat SHA256 jauh lebih murah di R1CS. Ide-ide kunci: • Pengkodean berbasis spread untuk operasi bitwise • Pengoptimalan lebar bit dinamis • Penambahan multi-operan kendala tunggal • Batching LogUp dan pengoptimalan mikro Desain ini mencapai kompresi SHA256 canggih di R1CS di antara implementasi sumber terbuka yang ada. Ini sangat penting untuk lingkungan pembuktian seluler, di mana ukuran saksi secara langsung memengaruhi penggunaan memori. Menyelam mendalam penuh ↓