鏈聞消息，Facebook 穩定幣 Diem 旗下支付部門 Novi Financial 在 GitHub 建立了一個名爲「Winterfell」的代碼庫，這是一個關於分佈式 STARK 證明程序的實驗項目。據文檔介紹，STARK 是一種新穎的計算證明方案，用於創建高效的可驗證的計算正確執行的證明，不需要初始的可信設置，並且依賴於非常少的密碼學假設。文檔顯示計劃之後通過其他功能擴展該庫，包括分佈式證明（Distributed prover）、完美的零知識證明（Perfect zero-knowledge），以及支持 WebAssembly。項目代號 Winterfell 可能來源於美國長篇史詩奇幻小說《冰與火之歌》，其中北境最古老家族史塔克（STARK）居住在臨冬城（Winterfell）。

來源鏈接