Pour autant que je sache, Stwo de Starkware a les temps de preuve les plus rapides pour l'appartenance à un arbre de Merkle autonome. C'est-à-dire, pas depuis l'intérieur d'un ZKVM, mais comme un primitif distinct que vous pouvez utiliser. </Cunningham's Law>