Até onde eu sei, o Stwo da Starkware tem os tempos de prova mais rápidos para a associação autônoma da árvore merkle. Ou seja, não de dentro de um ZKVM, mas como um primitivo distinto que você pode usar. Lei de < / Cunningham>