1/ SRTの紹介:SnarkifyのzkVM用のモジュール式リアルタイムプルーブエンジン。 SRTは、zkVMロジックを変更することなく、桁違いに高速なプルーフ生成を実現します。 2025年6月に公開され、12秒のスロット時間内のすべてのイーサリアムブロックが証明されます。