terutama dengan keadaan komputasi yang dapat diverifikasi