1/ 介绍SRT：Snarkify的模块化实时证明引擎，适用于zkVM。 SRT在不改变zkVM逻辑的情况下，实现数量级更快的证明生成。 将于2025年6月上线，在12秒的时间段内证明每个以太坊区块。