Soweit ich weiß, hat Stwo von Starkware die schnellsten Nachweiszeiten für eigenständige Merkle-Baum-Mitgliedschaften. D.h., nicht von innerhalb eines ZKVM, sondern als ein eigenständiges Primitive, das Sie verwenden können. </Cunningham's Law>