Наскільки мені відомо, Stwo від Starkware має найшвидший час перевірки автономного членства в дереві меркла. Тобто, не зсередини ZKVM, а як окремий примітив ви можете використовувати. </Закон Каннінгема>