Fungsi penguncian kripto, perangkat lunak detetministik dan tidak dapat diubah adalah cawan suci dari ketahanan kepercayaan non-pemberi hibah. Dapat dibuktikan bahwa pokok tidak dapat dikembalikan. Dapat dibuktikan bahwa kontrol dibatasi untuk memilih dan mengklaim. Parameter ini secara struktural liar.