Hesaplama gücünü kazma kapasitesine bağlayan bir sistemdir. Blokların kendi içinde kolay bir hesaplama işlemiile kazılmas gerekir. Ancak bir ek değişken kazma sürecini daha zor hale getirmek için eklenir. Bir blok başarıyla çıkarıldığında, çıkarım biraz zaman ve hesaplamalı çaba almış olmalıdır. Böylece, çıkarım blok işin kanıtı olarak kabul edilir.