バイナンスは、準備金システムの証明に zk-SNARK 検証を追加します

バイナンスは持っています アップグレード zk-SNARK検証を備えたそのプルーフ・オブ・リザーブ（PoR）システムは、ユーザーの機密情報のプライバシーとセキュリティを保護するゼロ知識証明の形式です。

Binance CEO Changpeng Zhao と この改善は、イーサリアムの共同創設者である Vitalik Buterin の方針に従って実装されました。 提案. ブテリン氏は、XNUMX月に透明性のある準備証明システムを通じてトラストレスな中央集権型取引所を促進するという彼の考えを示していました。

バイナンス 最初に公開された 2022 年 XNUMX 月に PoR システムを導入したのは、FTX 崩壊の余波を受けて、ユーザーが取引所にさらなる透明性を要求し始めたためです。 当時、Binance はマークル ツリー暗号を使用して、ユーザーが自分の所有物を確認できるようにしていました。

しかし、このシステムには XNUMX つの大きな欠点がありました。 まず、マークル ツリーのリーフ ノードは、プライバシーを保護するためのユーザーの所有物のハッシュを表していました。つまり、マークル ルートは リーフ ノードのバランス情報の合計を反映します。

第 XNUMX に、悪意のあるエンティティは、必要な準備金のサイズを小さく見せるために、ツリーのどこかにある偽のアカウントの下にマイナスの残高を追加する可能性があります。

Binance は、zk-SNARK がこれらの課題を解決すると主張しています。 ゼロ知識検証システムは、マークル ツリーのすべてのリーフ ノードが、Binance が主張する各暗号通貨の合計ユーザー残高に貢献していることを確認できます。 また、ツリーにマイナスの残高を持つユーザーが含まれないようにします。

バイナンスは、その埋蔵量を証明するために、マークル ツリーの構築のための zk-SNARK 証明を生成して公開します。 マークル プルーフを検証することで、Binance ユーザーは自分の残高がマークル ツリーのルートに含まれているかどうかを確認できます。 ユーザーは、zk-SNARK プルーフを検証して、マークル ツリーの構築に改ざんがないことを確認できます。

バイナンスには何百万人ものユーザーがいるため、マークル ツリー構造の単一の証明を取得することはできません。 したがって、Binance はユーザーをそれぞれ 864 のバッチに分割します。 ユーザーの 110 つのバッチに対して zk プルーフを生成するには、1 秒かかります。 証明は XNUMX ミリ秒未満で検証できます。

バイナンスがすべてのアカウントの証拠を生成するには、約 2 ドルの費用で 1,000 時間かかります。 取引所は、ブテリン氏が提案したソリューションの実装に取り​​組んでおり、プルーフ生成プロセスの効率を改善しています。これにより、コストが削減され、プルーフをより頻繁に提供できるようになります。

Binance の PoR システムは現在 13 の暗号通貨をサポートしており、最近 4 種類が追加されており、今後数週間でさらに多くのトークンを追加する予定です。

バイナンスはまた、ユーザーに透明性を提供する目的で、PoR システムのコードをオープンソースにしています。