SHA256 è ovunque nel crypto, ma all'interno dei circuiti zk diventa uno dei maggiori colli di bottiglia. La maggior parte delle implementazioni paga un costo enorme perché SHA256 non è mai stato progettato per essere amichevole con i circuiti. Nel nostro ultimo articolo di @0xrosetteeee, esploriamo come rendere SHA256 significativamente più economico in R1CS. Idee chiave: • Codifica basata su spread per operazioni bitwise • Ottimizzazione dinamica della larghezza dei bit • Addizioni multi-operando a vincolo singolo • Batch LogUp e micro-ottimizzazioni Questo design raggiunge una compressione SHA256 all'avanguardia in R1CS tra le implementazioni open-source esistenti. Questo è particolarmente importante per gli ambienti di prova mobile, dove la dimensione del testimone influisce direttamente sull'uso della memoria. Approfondimento completo ↓