Насколько я знаю, Stwo от Starkware имеет самые быстрые времена доказательства для независимого членства в меркл-дереве. Т.е. не изнутри ZKVM, а как отдельный примитив, который вы можете использовать. </Cunningham's Law>