ウィーン工科大学(TU Wien)の研究者、Bitcoin Arkプロトコルの形式的なセキュリティ証明を開発
TU Wienの研究者らは、ユーザーが自身のコインの保管・管理権限を手放すことなくスケーリングを実現できるよう設計されたBitcoinのトランザクション・バッチ処理プロトコル、Arkの正式なセキュリティ証明を開発しています。TU WienのSecurity and Privacy研究ユニットに所属するGeorgia Avarikiotiが率いるこのプロジェクトは、AKRLabs OÜの資金提供を受け、2024年10月1日から2025年12月10日まで正式に実施されました。Ark LabsとTU Wienの共同研究は、2025年5月に正式発表されました。2026年10月中旬現在、正式なセキュリティ証明は開発中です。Arkは、仮想UTXO(VTXO)を通じて価値を移転するプロトコルです。VTXOはBitcoinにおける基本的な所有単位をオフチェーンで表現したもので、オペレーターの管理下に置かれます。ただし、ユーザーはオペレーターの許可なしにオンチェーンで資金を回収できる、事前署名済みのトランザクションを保持します。 TU Wien、Arkプロトコルの正式なセキュリティ証明を開発 この研究は
BTC-0.67%
GateCryptoDesk·10-14 16:45
