Facebook 推出開源 STARK 證明程序 Winterfell，爲區塊鏈提供隱私和可擴展性解決方案

鏈聞消息，Facebook 宣佈推出關於 STARK 證明程序的開源實現「Winterfell」，Winterfell v0.1 版本代碼已發佈到 Rust 工具庫網站 crates.io。Facebook 表示，Winterfell 抽象了 STARK 協議的大部分複雜性，能讓開發人員更加容易使用零知識證明（ZKP），並且具有有高度的可配置性，能動態調整 STARK 協議幾乎所有的參數，以實現特定的性能和安全目標。Winterfell 零知識證明的一個潛在應用是爲區塊鏈提供隱私和可擴展性解決方案。

鏈聞此前報道，Facebook 穩定幣 Diem 旗下支付部門 Novi Financial 於今年 5 月在 GitHub 建立「Winterfell」的代碼庫。