Bizanslı General Problemi, SHA256 ve İşlem Kanıtı Sistemleri