Pokud vím, Starkware's Stwo má nejrychlejší zkušební časy pro samostatné členství v merkle tree. Tj. ne zevnitř ZKVM, ale jako samostatný primitiv, který můžete použít. </Cunninghamův zákon>