Hasta donde yo sé, el Stwo de Starkware tiene los tiempos de prueba más rápidos para la membresía independiente del árbol de Merkle. Es decir, no desde el interior de un ZKVM, sino como una primitiva distinta que puedes usar. </Ley de Cunningham>