SHA256 je všude v kryptografii, ale uvnitř zk obvodů se stává jedním z největších úzkých míst. Většina implementací platí obrovské náklady, protože SHA256 nikdy nebyl navržen jako přívětivý k obvodům. V našem nejnovším článku od @0xrosetteeee zkoumáme, jak výrazně zlevnit SHA256 v R1CS. Klíčové myšlenky: • Kódování založené na šíření pro bitové operace • Dynamická optimalizace šířky bitu • Přidání multioperandů s jedním omezením • LogUp batch a mikrooptimalizace Tento návrh dosahuje špičkové komprese SHA256 v R1CS mezi existujícími open-source implementacemi. To je zvláště důležité pro mobilní prostředí pro ověřování informací, kde velikost svědka přímo ovlivňuje využití paměti. Úplný hluboký ponor ↓