Sejauh yang saya tahu, Stwo Starkware memiliki waktu pembuktian tercepat untuk keanggotaan pohon merkle mandiri. Artinya, bukan dari dalam ZKVM, tetapi sebagai primitif berbeda yang dapat Anda gunakan. </Hukum Cunningham>