Voor zover ik weet, heeft Starkware's Stwo de snelste bewijs tijden voor zelfstandige merkle boom lidmaatschap. Dat wil zeggen, niet vanuit een ZKVM, maar als een aparte primitief die je kunt gebruiken. </Cunningham's Law>