O ile mi wiadomo, Stwo od Starkware ma najszybsze czasy dowodzenia dla samodzielnego członkostwa w drzewie Merkle. Tzn. nie z wnętrza ZKVM, ale jako odrębny prymityw, którego możesz użyć. </Cunningham's Law>