Binance は、機密性の高いユーザー情報のプライバシーとセキュリティを保護するゼロ知識証明の一種である zk-SNARK 検証を使用して、準備金証明 (PoR) システムをアップグレードしました。

バイナンスのCEO、ジャオ・チャンポン氏は、この改善はイーサリアムの共同創設者であるヴィタリック・ブテリン氏の提案に従って実施されたと述べた。ブテリン氏は11月に、透明性の高い準備金証明システムを通じてトラストレスな中央集権型取引所を推進するという自身の考えを発表していた。

Binanceは、FTXの崩壊を受けてユーザーが取引所にさらなる透明性を求め始めたため、2022年11月に初めてPoRシステムを公開しました。当時、Binanceはマークルツリー暗号を使用して、ユーザーが保有資産を検証できるようにしていました。

しかし、このシステムには2つの大きな欠点がありました。まず、マークルツリーのリーフノードはプライバシー保護のためユーザーの保有資産のハッシュを表しており、マークルルートはリーフノードの残高情報の合計を反映できませんでした。

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

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

Binance は、Merkle ツリーの構築のために zk-SNARK 証明を生成して公開し、その準備金を証明します。Binance ユーザーは、Merkle 証明を検証することで、自分の残高が Merkle ツリーのルートに含まれているかどうかを確認できます。ユーザーは、zk-SNARK 証明を検証して、Merkle ツリーの構築に改ざんがなかったことを確認できます。

Binance には何百万人ものユーザーがいるため、Merkle ツリー構築の単一の証明を得ることは不可能です。そのため、Binance はユーザーを 864 人ずつのバッチに分割します。単一のユーザー バッチの ZK 証明を生成するには 110 秒かかります。証明は 1 ミリ秒未満で検証できます。

Binance がすべてのアカウントの証明を生成するには 2 時間かかり、コストは約 1,000 ドルです。同取引所は、証明生成プロセスの効率を向上させるために Buterin 氏が提案したソリューションの実装に取り​​組んでおり、これによりコストが削減され、より頻繁に証明を提供できるようになります。

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

Binance は、ユーザーに対してより高い透明性を提供することを目的として、PoR システムのコードもオープンソース化しています。