据我所知，Starkware 的 Stwo 在独立的默克尔树成员资格证明时间上是最快的。也就是说，不是来自 ZKVM 内部，而是作为一个可以使用的独立原语。 </Cunningham's Law>