SHA256 є всюди в крипті, але всередині ZK він стає одним із найбільших вузьких місць. Більшість реалізацій платять величезні витрати, оскільки SHA256 ніколи не був розроблений як дружній до схем. У нашій останній статті від @0xrosetteeee ми досліджуємо, як зробити SHA256 значно дешевшим у R1CS. Ключові ідеї: • Кодування на основі спреду для побітових операцій • Динамічна оптимізація ширини бітів • Додавання з одним обмеженням з мультиоперандами • LogUp пакетне завантаження та мікрооптимізації Ця конструкція забезпечує найсучаснішу компресію SHA256 у R1CS серед існуючих реалізацій з відкритим кодом. Це особливо важливо для мобільних середовищ доказування, де розмір свідків безпосередньо впливає на використання пам'яті. Повне глибоке занурення ↓