O SHA256 está em todo lugar em cripto, mas dentro dos circuitos zk ele se torna um dos maiores gargalos. A maioria das implementações paga um custo enorme porque o SHA256 nunca foi projetado para ser amigável ao circuito. Em nosso último artigo da @0xrosetteeee, exploramos como tornar o SHA256 significativamente mais barato em R1CS. Ideias-chave: • Codificação baseada em spread-spread para operações bit a bit • Otimização dinâmica da largura de bits • Adições multi-operandos de uma única restrição • Lotamento e microotimizações do LogUp Este design alcança a compressão SHA256 de última geração no R1CS entre implementações de código aberto existentes. Isso é particularmente importante para ambientes de prova móveis, onde o tamanho da testemunha impacta diretamente o uso da memória. Mergulho profundo completo ↓