Hasta donde sé, Stwo de Starkware tiene los tiempos de prueba más rápidos para la membresía de árboles de Merkle independientes. Es decir, no desde dentro de un ZKVM, sino como un primitivo distinto que puedes usar. </Cunningham's Law>