Até onde sei, o Stwo da Starkware tem os tempos de prova mais rápidos para a pertença a árvores merkle independentes. Ou seja, não de dentro de um ZKVM, mas como um primitivo distinto que você pode usar. </Cunningham's Law>