stark

StarkWareは9月23日の更新で、量子安全ビットコイン（QSB）取引の推定GPU計算コストが67ドル未満に低下したと発表しました。これは8月の最初の同様のメインネット取引の約320ドルの計算支出から約79%の減少です。StarkWareによると、最初のQSB取引は8月26日にパッケージ化され、確認され、作業はTomer Giladiによって行われ、MARAのSlipstreamサービスを通じて直接提出されました。準備プロセスには約3100 GPU時間が消費され、約100台のGPUが使用され、計算コストは約320ドルで、ビットコインネットワークの手数料は含まれていません。このコストの低下は、9月16日にStarkWare、Yukon Research、Eigen Labsが主催した量子安全ビットコイン最適化チャレンジから生じました。このチャレンジは、開発者、研究者、AIエージェントに取引構築ソフトウェアの最適化を招待し、最終的にQSB取引の準備に必要な2つの計算タスクで62の改善が採用されました。ベンチマークテストでは、推定計算コストが約79%低下したことが示されています。関連するダッシュボードは現在、推定コストがさらに66ドルに低下したことを示しています。QSBプランはStarkWareの研究者Avihu Levyによって4月に発表され、ビットコインのコンセンサスルールを変更することなく、取引にハッシュベースの量子攻撃防御を導入します。コスト、複雑さ、適用範囲が限られているため、彼は当時これを緊急手段として説明し、プロトコルレベルでの調整を引き続き主張しました。

Starknetの共同創設者Eli Ben-Sassonはソーシャルメディアで、Zcash (ZEC) が最近上昇したのは、市場がビットコインのプロトコルレベルで「過度に硬直している」と懸念しているためだと述べました。彼は自分が「ビットコインを深く愛している」と言いながらも、こうした懸念が実際に存在することを認め、すでにビットコインの保有者が一部のポジションをZECに移したと伝えています。

Vitalik は X プラットフォームで発表し、再帰 STARK メモリプール提案 EIP-8288 をイーサリアム I-star アップグレードに組み込むことを希望しており、これは Frames の後の次のステップと見なされると述べています。この提案は、量子安全な署名データをオフチェーンに置くことで、署名コストを削減します。量子安全なプライバシー取引の燃料コストも約 1,000 万から数万に減少することが期待されています。この提案は、フレームと再帰 STARK 集約取引に依存し、ノードは各時間周期に約 100 から 300KB の STARK を送信します。チェーン上の追加コストは、1 つの STARK と各証明待ちの文に対して 96 バイトです。

イーサリアムの共同創設者であるVitalik Buterinは、Poseidonハッシュ関数シリーズが数年にわたる研究開発を経て、イーサリアムや他の分野で重要な実際の価値を生み出しており、今後数年間も引き続き役割を果たすと述べています。現代のプライバシープロトコルは、クライアント側で迅速にSNARK証明を生成でき、Poseidonはその重要な理由の一つです。Vitalikは、今日の汎用STARKが非常に高い性能を実現しており、ほぼすべてのバッチ計算の証明コストが三桁レベルにまで低下していることを指摘しました。将来的には、さらに二桁、さらにはそれ以下にまで低下することが期待されており、この進展は2020年代初頭の予想を超えています。

The Blockの報道によると、StarkWareは初の量子耐性ビットコイン取引が成功裏に実行されたと発表しました。StarkWareのAvihu Levyは、署名研磨技術を使用して公開鍵データを保護し、同時に取引がビットコインのメモリプール内で安全であることを確保し、資産を保護するための第二層のセキュリティを導入しました。

StarkWareは、Starknetの収入が現在Starknetエコシステムに戻ってきたことを発表しました。これは初めてのことで、StarkWareはStarknetのオーダーラーから得られた2500万枚のSTRKをエコシステムに委託します。上記の2500万枚のSTRKは委託方式で運用され、Starknetの発展を支援する関連プロジェクトや貢献者をサポートするために使用され、エコシステムの構築をさらに強化します。

Starknetは、量子耐性署名による送金テストを完了したことを発表しました。量子耐性署名メカニズムを採用したウォレットアカウントがStarknetメインネットで実際の送金を完了し、取引手数料は約6セントであり、ブロックエクスプローラーを通じて確認できます。このアカウントは現在、実験的で監査されていないバージョンであり、主に研究テストに使用されています。StarkWareは、この送金がStarknetアカウントモデルの設計によるものであると述べています。署名アルゴリズムをプロトコル層に固定するほとんどのブロックチェーンとは異なり、Starknetの各アカウントはスマートコントラクトであり、受け入れる署名スキームを自ら定義できます。したがって、ユーザーはハードフォークや資産の移行、アドレスの変更なしに、ウォレットを従来の楕円曲線署名から量子耐性署名にアップグレードできます。StarkWareは、ほとんどのブロックチェーンが量子計算のリスクに直面している理由は、ウォレットの署名と基盤となる検証システムが楕円曲線暗号に依存しているためであると指摘しています。大規模な量子コンピュータが登場した場合、Shorアルゴリズムを実行することで関連する暗号体系が破られる可能性があります。現在、StarknetエコシステムはFalcon-512に基づく量子耐性署名スキームをサポートしており、このスキームはNISTのポスト量子暗号標準化体系に位置づけられています。関連する実装はエコシステムチームやOpenZeppelinなどの機関によって推進されています。

Starknetは開発者向けにプライバシー開発スタックを開放し、プライバシーSDKとプライバシーウォレットAPIを発表しました。これにより、アプリケーション、ウォレット、およびプロトコルはSTRK20を基盤にして、プライベート残高、プライベート送金、および関連するDeFiインタラクション機能を統合できるようになります。

公式発表によると、StarknetはSTRK20の正式なローンチを発表し、Starknetエコシステムの任意の資産に適したプライバシーフレームワークとして位置付けています。このソリューションは、ユーザーがワンクリックで資産をプライバシープールに移すことをサポートし、開発者はソフトウェア開発キットとウォレットアプリケーションインターフェースを通じて低コストでプライバシー機能を統合できます。

イーサリアムの共同創設者であるVitalik Buterinは、「The Extremely Lean Chain」提案を発表し、「リーン（Lean）」アップグレードの背景において、イーサリアムのコンセンサスチェーンの状態要件を急激に圧縮する方法を示しました。この提案は、責任をバリデーターに移し、彼らが管理し、定期的にZKを通じてその状態を証明することで、各エポックの処理負担を排除し、数百万のバリデーター規模をサポートする可能性があります。コアメカニズムには以下が含まれます：バリデーターの公開鍵をチェーン上の状態から削除し、預金ツリーのインデックスのみを保存；リアルタイムの報酬と罰則処理を廃止し、バリデーターは毎日STARKを生成して参加状況を証明し、残高を更新；バリデーターの身分は毎日完全に再ランダム化され、ZK-STARKを通じて強い匿名性を実現し、引き出しアドレスは引き出し時にのみ公開され、預金やチェーン上の活動とは公開において関連付けられません。Vitalikは、この提案が単一タイムスロットの最終性、量子耐性署名の集約などのアップグレードに基づいて、各バリデーターの状態要求を約180バイトから6バイトに圧縮できると述べました。単一のバリデーターが毎日証明するコストは約5400のMerkleブランチを処理する必要があり、一般的なハードウェアで1時間以内に完了でき、集約証明を通じてチェーン上の負担を軽減できます。さらに、この設計は「ほぼ無料」で単一秘密リーダー選挙機能を実現でき、1日は保守的な周期の長さ、1時間は下限となります。

Cointelegraphの報道によると、StarkWareはStarknetの量子耐性ロードマップを発表し、このロードマップは将来の量子計算攻撃リスクに対処するための3つの段階に分かれていると述べています。ロードマップの第一段階には、既存の安全な数学的メカニズムであるPedersenハッシュの一部を量子耐性バージョンに置き換え、量子耐性署名を追加することが含まれています。第二段階は、開発者が手動でアプリケーションを再構築することを要求せずに、既存のスマートコントラクトをアップグレードするための移行ツールに焦点を当てています。第三段階は、Starknetが単独で解決できない依存関係に関わり、主にイーサリアムの量子アップグレードロードマップに依存しています。

USDCはXプラットフォームで発表し、USDCのプライバシー機能がStarknetで利用可能になったことを発表しました。これは、ERC-20トークンに提供されるStarknetのプライバシー機能で、内蔵されたコンプライアンス機能を備えています。ユーザーはUSDCをブロック、送信、ブロック解除することができ、公開台帳上で残高、金額、取引相手の情報のプライバシーを保持します。USDCは依然として米ドル建てのステーブルコインであり、新たに追加されたプライバシー機能はStarknet上の支払い、資金の流れ、給与の支払い、オンチェーン金融活動に適用されます。

StarkWareは、ユーザーがオンチェーンの残高や取引の詳細を隠しながら、コンプライアンスチェックと規制開示メカニズムを保持できるSTRK20プライバシートークン標準を発表しました。

Starknet AMM プロトコル mySwap が発表したところによると、mySwap CL プロトコルが脆弱性攻撃を受け、流動性プールから約 30 万ドルが引き出されました。公式によれば、mySwap インターフェースは 6 か月以上閉鎖されており、新しい流動性注入は受け付けていません。損失を受けた資金は主に 10 万以上のポジションに分散している残りの LP ポジションです。攻撃者はブリッジで盗まれた資金を利用し、Railgun を使用して資産の流れを混乱させました。この攻撃により、プロトコル内のすべての残りの流動性がほぼ枯渇しました。

The Blockの報道によると、Starknetはゼロ知識プライバシーフレームワークSTRK20を発表し、ネットワーク上の任意のERC20資産に対して残高の隠蔽とプライベート送金機能を提供し、すでにstrkBTCで先行して実装されています。このフレームワークは、開発者が個別にプライバシーシステムを構築することなく、送金、交換、貸付、ステーキング、支払い、寄付などのシナリオにプライバシー機能を導入できるようにします。STRK20は、資産パスの中に「隠蔽」モードを埋め込むことで、従来のミキサー構造を採用せず、viewing keyメカニズムを導入し、法的効力のあるリクエストを受け取った場合にのみ特定のウォレット情報を選択的に開示することで、プライバシー保護とコンプライアンスのニーズを両立させています。StarkWareのCEOであるEli Ben-Sassonは、このようなZKプライバシーソリューションが規制調査をより正確にし、大量のウォレットへの連帯影響を減少させることが期待できると考えています。

StarkWareはXプラットフォームで発表し、Starknet v0.14.3バージョンが今月メインネットに上线されることを告知しました。テストネットの上线時間は6月9日を予定しており、メインネットの上线時間は6月22日を予定しています。この新しいバージョンでは、STRKに基づく動的L2ガス基本料金の調整、ブロック生成速度の向上、目標L2ガスの各ブロック消費の削減、最大ブロックサイズの維持、そしてRPC 0.8の廃止がサポートされます。今回の更新には重要な変更が含まれているため、公式はすべての開発者に対し、互換性とアップグレードの準備を整えるためにプレリリースノートを注意深く読むことを推奨しています。

StarkWareが開発したEthereum Layer2ネットワークStarknetが正式にstrkBTCを発表しました。これはビットコインに基づく新しいタイプの資産で、ゼロ知識証明（ZK）技術を使用してプライバシー残高と匿名送金を実現し、DeFiアプリケーションとの相互運用性を維持することを目的としています。strkBTCのローンチ後、「再匿名化（re-anonymization）」をサポートし、資産を新しい無関係なビットコインアドレスにブリッジすることができ、コンプライアンス監査と資産スクリーニング機能を提供します。

Paradigmの普通パートナーDan Robinsonは「証明可能なアドレス制御タイムスタンプ」（PACTs）メカニズムを提案し、量子計算の潜在的な脅威に対するビットコインアドレスの保護パスを提供することを目的としています。この提案は、保有者がBIP-322を通じてアドレス制御証明を生成し、ランダムなソルト値と組み合わせてオンチェーンのコミットメントを生成し、OpenTimestampsを利用してタイムアンカーを完成させ、ウォレット情報を公開することなく所有権証明を確立することを可能にします。将来的にソフトフォークによって量子脆弱アドレスが凍結された場合、ユーザーは資産を解放するためにSTARKゼロ知識証明を提出することができます。このメカニズムは、BIP-32に基づいて派生したウォレットに対しても潜在的な回復パスを提供しますが、その実現はビットコインがSTARK検証能力を導入し、コミュニティの合意を得ることに依存しています。