開發人員以Bend語言呈現了SHA-256的驗證實現

開發人員發佈了 bend-sha256 — 一個正式驗證的SHA-256雜湊算法實現，使用Bend 2.0.5編寫。該項目確保計算的完全功能正確性，符合FIPS 180-4標準。

實現涵蓋了所有數據處理階段，包括消息的預處理和最終的摘要計算。該項目的一個重要特點是沒有外部加密庫，這允許在隔離環境中使用代碼。整個計算過程都經過了與算法的數學規範的驗證。

在性能測試中，系統在執行任務11小時內取得了7分的成績。該項目的原始代碼完全開放，允許開發人員直接在Bend高級程序中集成加密功能，而無需依賴低級依賴項。

使用正式驗證的加密原語降低了實現複雜算法時出錯的風險。該版本展示了Bend語言在需要高精度計算和代碼數學可證明性的任務中的能力，這對於保證分佈式系統中的數據安全至關重要。