SHA256 在加密领域无处不在，但在 zk 电路中，它成为最大的瓶颈之一。 大多数实现付出了巨大的代价，因为 SHA256 从未设计为适合电路。 在我们最新的文章中，由 @0xrosetteeee 撰写，我们探讨了如何在 R1CS 中显著降低 SHA256 的成本。 关键思想： • 基于扩展的位运算编码 • 动态位宽优化 • 单约束多操作数加法 • LogUp 批处理和微优化 该设计在现有的开源实现中实现了 R1CS 中最先进的 SHA256 压缩。 这对于移动证明环境尤为重要，因为见证大小直接影响内存使用。 完整深入探讨 ↓