マークルツリー証明に続き、Huobi HTXはZK版リザーブプルーフの導入を発表し、アセットプルーフ方式を全面的にアップグレードしました。
TechFlow厳選深潮セレクト
マークルツリー証明に続き、Huobi HTXはZK版リザーブプルーフの導入を発表し、アセットプルーフ方式を全面的にアップグレードしました。
世界をリードする暗号資産取引所であるHuobi HTXにとって、ユーザーが資金の安全性と全額換金可能性を信頼できるようにすることが特に重要である。
Web3業界の深掘り報道に専念し潮流を洞察公式発表によると、Huobi HTXは100％準備証明方式のアップグレードを発表し、ゼロ知識証明（ZK）技術を採用することで、ユーザーが機密情報を開示することなく資産の安全性を検証できるようになった。
Huobi HTXはグローバルトップクラスの暗号資産取引所として、ユーザーの資金が安全で完全に引き出しが可能であることを確実に伝えることが極めて重要となる。このため、「準備証明（PoR）」メカニズムが登場し、投資家の信頼を高める有効な手段として広く認知されるようになった。
業界で最も早く準備証明を導入した取引プラットフォームの一つであるHuobi HTXは、2022年末から毎月定期的にマークル木構造による準備資産監査を実施し、一般に公開することで、ユーザーがいつでも安心して資産の入出金を行えるようにしている。このたび、従来のマークル木構造方式の準備証明に続き、ZK（ゼロ知識証明）技術を活用した新たな準備証明方式を導入。これにより、ユーザーにとってセキュリティとプライバシーの両面でより優れたデジタル資産取引環境を提供する。
準備証明（PoR）とは何か？
PoR: Proof of Reserves。準備証明は、作業証明（PoW）と同様、一種の合意形成メカニズムである。このメカニズムにより、ユーザーまたは第三者がPoRを実行し、資産が実際に存在することを検証できる。これにより、顧客資産の所在に関する詳細なデータを提供することが可能になる。
また、PoRは顧客に対して、自分の資産が依然としてアカウント内にあり、貸し出されていないことを示すこともできる。簡単に言えば、ユーザーのレベルでの合意は以下の3点に基づいている：
1. ウォレット上のチェーン資産：中央集権的アカウント資産 ≧ 1 : 1；
2. ユーザーの資産が取引所の統計範囲内にあること；
3. ウォレット上の資産があるアドレスが取引所が保有していること；
Huobi HTXは、単純なMerkle（マークル木）方式のPoRに続き、ZK（ゼロ知識証明）技術を用いたPoRの導入を開始した。ゼロ知識証明（Zero-Knowledge Proof）は革新的な暗号プロトコルであり、情報を持つ側がその内容を漏らすことなく、自分がその情報を所有していることを証明できる技術である。
ゼロ知識証明技術はプライバシーを保護し、マークル木証明よりも高い信頼性を提供
ゼロ知識証明システムには「証明者（Prover）」と「検証者（Verifier）」の2つの役割がある。証明者はある秘密情報を保持しており、その情報を開示せずに、検証者に「自分はその情報を所有している」と信じ込ませたいと考えている。証明者は秘密情報をもとに証明を作成するが、この証明には実際の秘密情報は含まれていない。
この証明は通常、数学的な演算によって構築され、証明者が確かにその秘密情報を所有していることを立証できる。検証者は証明を受け取った後、あらかじめ設定された検証アルゴリズムを使って証明の正当性を確認するが、証明から実際の秘密情報を得ることはできない。証明者が検証に合格すれば、検証者は証明者が秘密情報を所有していることを信じる一方で、その秘密に関する実際の情報は何も得られない。これが「ゼロ知識性」と呼ばれるものである。
ブロックチェーン取引所における暗号資産取引量の増加に伴い、ユーザーは取引所が取引を支える十分な準備金を持っているかを確認する必要がある。しかし、ユーザー資産の詳細データや準備金の正確な額は、取引所が公開を望まない機密情報である。ゼロ知識証明技術を使えば、具体的な数値を開示しないまま、取引所が十分な準備金を持ち、相応の支払い能力があることを証明できる。厳密に設計された証明回路により、最終的な証明が正確な計算プロセスから導かれることを保証し、証明の偽造を防止できる。
このような先進的な暗号技術を採用することで、ユーザーの取引所に対する信頼を大幅に高めることができ、同時に取引所の資金透明性を強化し、金融リスクの予防にも貢献する。従来の外部監査と比較して、ゼロ知識証明ではすべての準備資産を第三者監査機関に移管する必要がなく、運用コストと資金リスクを大きく削減できる。これにより、準備証明は定常的なプロセスとなり、頻繁に実施し、定期的に開示することが可能になる。
ユーザーのデータを例に挙げると、
uid, btc, eth, trx, ht, usdt, dot(拡張), user_total_net_amount（総正味U換算額）
A: 123, 1, -1, 0, 0, 0, -100, 18000(usdt)
B: 456, 1, 1, 0, 0, 0, -100, 20000(usdt)
ユーザーのデータを例に挙げると、
以下の3つの重要な制約を満たす必要がある：
制約一：個別ユーザーの総正味資産残高（U換算）がマイナスにならないこと：
asset(!neg(user_total_net_amount[x]));
制約二：取引所の総正味資産（U換算）が、マークル木構築過程における各ユーザーのリーフノードの正味U合計と等しいこと：
CEX_total_net_amount = user_total_net_amount[0] + user_total_net_amount[len - 1]；
制約三：マークル木構築プロセスの制約（ハッシュ処理）。
merkle_root_hash = hash(user_leaf_node, merkle_proof_path_node...)
上記の制約は公開されており、準備金の集計条件（通常は資産残高がゼロでないアカウント）を満たすユーザーであれば誰でも、Huobi HTXが提示した証明を検証でき、暗号学的合意の観点から、取引所の準備金計算がこれらの制約を満たし、真実かつ信頼できるものであると信じることができる。
Huobi HTXはより先進的な技術と厳しい金融基準で、業界の透明性を牽引
公式発表によると、2022年末から現在まで、Huobi HTXは毎月1日に最新のマークル木資産証明データを定期的に更新し、顧客資金が少なくとも1:1の準備金比率を持っていることを保証している。
9月1日の最新の監査結果によれば、現在Huobi HTXプラットフォームの資産準備率はすべて100％を超えており、今後、ゼロ知識証明技術を用いた準備証明方式へのアップグレードを経て、引き続き毎月定時に資産準備証明の結果を公表していく。取引所の支払い能力を証明すると同時に、ユーザーのプライバシーと情報セキュリティをさらに重視していく。
なお、毎月の準備率が100％を超えているだけでなく、Huobi HTXは同時期にマークル木のオープンソース検証、ウォレットアドレス所有権のオープンソース検証、チェーン上資産のオープンソース検証を実現している取引プラットフォームでもある。昨年12月以降、Huobi HTXは毎月定期的にPoRレポートを発表し、業界全体の透明性向上を継続的に牽引している。
TechFlow公式コミュニティへようこそ
Telegram購読グループ：https://t.me/TechFlowDaily
Twitter公式アカウント：https://x.com/TechFlowPost
Twitter英語アカウント：https://x.com/BlockFlow_News
