Per quanto ne so, Stwo di Starkware ha i tempi di dimostrazione più rapidi per l'appartenenza a un albero di Merkle autonomo. Ovvero, non dall'interno di un ZKVM, ma come un primitivo distinto che puoi utilizzare. </Cunningham's Law>