Bukti zkML sirkuit penuh berat — kunci pembuktian besar, bukti lambat, dan biaya memori yang tinggi. Dengan pemotongan DSperse, model Doom menunjukkan: - Bukti waktu dipotong dari 200-an → 145-an - Ukuran PK menyusut 50%