DoraHacks 和 Cryptosat 表示,在國際空間站上進行的實驗證明了基於衛星的計算環境能夠執行使用 ZK 證明協議所需的部分可信設置過程。
據 Cryptosat 稱,ZK 證明實驗的成功是證明空間計算環境有效性的重要一步,Cryptosat 正在尋求將立方體衛星星座發射到軌道並建立其衛星艦隊。
Cryptosat 創始人 Yonatan Winetraub 表示
為了使 ISS 實驗取得成功,團隊需要使用能夠解決地面站連接失誤的基礎設施。
“ISS 與 [a] 地面站有定期的射頻通信鏈路,”。
“我們使用該鏈接進行演示。”
該過程涉及通過安全鏈接將預上傳的開源程序傳輸到 ISS,為 DoraHacks 使用的基於 ZK 證明的投票程序輸出一個字符串文件。
Winetraub 說,Cryptosat 已經發射了兩顆杯子大小的衛星,cubesats Crypto1和Crypto2,後者正在進行測試。
Cryptosat 創始人 Yan Michalevsky 表示
ZK 證明的一個主要組成部分是部署必須由公正方管理的可信設置,而 Cryptosat 的 cubesats“基本上為這些可信設置提供了完美的環境,”。
實驗中使用的 ZK 證明 Groth16 背後的加密方案仍然存在一些限制,它需要對投票程序的任何更新進行新設置。此外,該實驗僅包含 Groth16 設置的第二階段。
米哈列夫斯基說
“已經有多個用例準備好投入生產,包括隨機信標、可信設置、私人投票等。
但是,更大的衛星群使我們能夠處理需要更高和可用帶寬的新用例,”。
但是,更大的衛星群使我們能夠處理需要更高和可用帶寬的新用例,”。