1/ SRT 簡介：Snarkify 的 zkVM 模組化實時驗證引擎。 SRT 在不改變 zkVM 邏輯的情況下，將證明生成速度提高了幾個數量級。 於 2025 年 6 月上線，在 12 秒的插槽時間內驗證每個乙太坊區塊。