Cryptosat と DoraHacks が宇宙ステーションでの ZK 証明実験を完了

宇宙でゼロ知識 (ZK) 証明システムを打ち上げる最初の成功した実験は、本日、国際宇宙ステーション (ISS) に搭載され、暗号衛星開発者のクリプトサットと世界的なハッカソン主催者のドラハックスとのパートナーシップで行われました。

DoraHacks と Cryptosat によると、ISS で行われた実験では、ZK プルーフ プロトコルを利用するために必要な信頼できるセットアップ プロセスの一部を実行する衛星ベースの計算環境の能力が実証されました。 

キューブサットのコンステレーションを軌道に投入し、衛星群を構築しようとしている Cryptosat によると、ZK 証明実験の成功は、宇宙に縛られた計算環境の有効性を証明するための重要な一歩です。

ISS の実験を成功させるために、チームは、地上局の接続の欠落を説明するインフラストラクチャを使用する必要がありました。 「ISS には、[a] 地上局との通常の無線周波数通信リンクがあります」Cryptosat の創設者 Yonatan Winetraub 氏は The Block に語った。 「そのリンクをデモンストレーションに使用しました。」

この手順では、DoraHacks が使用する ZK プルーフベースの投票プログラム用の文字列ファイルを出力するために、安全なリンクを介して事前にアップロードされたオープン ソース プログラムを ISS に送信する必要がありました。

クリプトサットはマグカップサイズの人工衛星キューブサットをXNUMX機打ち上げた Crypto1 & Crypto2、後者はテスト中である、と Winetraub 氏は述べた。

ZK プルーフの主要な構成要素は、公平な当事者によって管理されなければならない信頼できるセットアップの展開であり、Cryptosat のキューブサットは「これらの信頼できるセットアップに完璧な環境を本質的に提供します」と、Cryptosat の創設者 Yan Michalevsky は The Block に語りました。

実験で使用された ZK プルーフ、Groth16 の背後にある暗号スキームにはまだいくつかの制限があり、投票プログラムの更新には新しいセットアップが必要です。 さらに、この実験には Groth16 セットアップの第 XNUMX フェーズのみが含まれていました。

「ランダムビーコン、信頼できるセットアップ、プライベートバロットなど、本番環境に移行する準備ができている複数のユースケースがすでにあります。しかし、より大きな衛星フリートにより、さらに高い帯域幅と利用可能な帯域幅を必要とする新しいユースケースに取り組むことができます。」ミカレフスキーは言った。

©2023 The Block Crypto、Inc. All Rights Reserved。 この記事は情報提供のみを目的としています。 法律、税務、投資、財務、その他のアドバイスとしての使用を目的としたものではありません。

ソース: https://www.theblock.co/post/201343/crypto-in-space-cryptosat-and-dorahacks-complete-zk-proof-experiment-on-space-station?utm_source=rss&utm_medium=rss