Din câte știu, Starkware's Stwo are cei mai rapizi timpi de probă pentru calitatea de membru al arborelui merkle de sine stătător. Adică nu din interiorul unui ZKVM, ci ca o primitivă distinctă pe care o puteți utiliza. </Legea lui Cunningham>