Bu sınama ve kanıt dizesini alıp, birleştirip, bunlara şifrelemeli özetleme fonksiyonunu temsil eden bir dizi matematiksel dönüştürücü uygularsam çok belirli özelliği olan bir çıktı elde ederim. Çıktının ilk sayısal bitleri çok fazla sıfırdan oluşacaktır. Diyelim ki ilk otuz ya da kırk bit sıfır olsun. Ve diğer bitler normalde olması gereken değerler olsun.