Ola がプライバシー ネットワークの Aleo レコード検証の脆弱性を発見、脆弱性は修正されました

プログラマブルなプライバシーとスケーリングのソリューションである Ola チームの開発者である Payne 氏は、Aleo にロジックの脆弱性を発見し、Aleo からバグ報奨金を受け取ったとツイートしました。 Payne が Aleo のコードを研究したところ、ユーザーが使用したレコードの有効性チェックに論理的エラーがあることがわかりました。同じトランザクションの前のコントラクトの実行中に使用済みレコードが生成される場合、レコードのコミットメントを使用して遷移ツリーのリーフ ノードを構築する必要がありますが、Aleo はレコードのシリアル番号を使用してリーフ ノードを構築します、これにより、トランザクションはインサーキット検証に失敗します。連絡と確認の後、Aleo チームはこの脆弱性を修正しました。 Ola は、Sin7y Labs によって開発された 2 層の高性能 ZK-ZKVM プロジェクトであり、プログラム可能なプライバシー、プログラム可能な拡張、および多言語互換性に重点を置いています。 Ola は、2023 年の第 3 四半期に社内テストネットを立ち上げ、年末までにパブリック テストネットを立ち上げる予定です。