Повноциклові докази zkML важкі — великі доказові ключі, повільні докази та висока вартість пам'яті. За допомогою нарізки DSperse модель Doom показує: - Час доказу скоротився з 200-х → 145-х - Розмір ПК зменшується на 50%