stark

The Block の報道によると、Starknet 開発者 StarkWare は正式に一般向けにプライバシー取引サービス OffMarket を開放し、ユーザーが Polymarket でポジションを公開せずに取引できるようにしました。このサービスは 8 月から限定テストを行っており、Starknet のゼロ知識技術と共有プライバシープールに基づいて運営されています。現在、各アカウントの USDC 預金上限は 1000 ドルで、StarkWare は需要と使用状況に応じてこの限度額を調整すると述べています。注文は依然として Polymarket で実行され、同じ買い手と売り手、そして市場価格に直面しています。OffMarket は完全に非管理型で、ユーザーの秘密鍵はブラウザに保存され、資金は Starknet のオープンソースプライバシープールに保管されます。Polymarket のポジションは、ユーザーが署名した派生ウォレットがその契約内で保持します。OpenZeppelin は 6 月にプライバシープール契約の監査を完了し、重大または高リスクの問題は発見されませんでした。StarkWare は翌月に形式的検証を完了しました。StarkWare の共同創設者兼 CEO の Eli Ben-Sasson は、このプロジェクトは金融プライバシー分野への長期的な投資から生まれたものであり、OffMarket を通じてゼロ知識技術を Polymarket に提供していると述べています。StarkWare のスポークスマンは、OffMarket は他者が取引規模や時間を通じて取引者を特定するのを防ぐことはできず、市場、価格、取引自体は依然として公開されていると述べています。また、共有プールから新しいウォレットへの USDC の転送も見ることができます。

イーサリアムの第2層ネットワーク ZKsync が証明器 Airbender Prime を発表しました。ZKsync は、これが単一の GPU 上でイーサリアムのリアルタイム証明をデモする初の証明器であると述べています。Airbender Prime は後量子安全を目指し、ハッシュベースの STARK を使用し、GKR サムチェック、WHIR 多項式コミットメント、BLAKE2s ハッシュを組み合わせています；その L1 証明は、BN254 ペアリングではなく、Keccak-256 ベースのコミットメントを採用します。この証明器はオープン RISC-V 標準に基づいており、リアルタイム証明と独立した検証者を組み合わせています。単一の GPU 評価では、NVIDIA RTX PRO 6000 Blackwell が連続する 7200 のイーサリアムメインネットブロックの 99% の証明を完了し、各ブロックの処理時間は 10 秒未満で、統計には証拠の準備が含まれています；すべてのブロックは 12 秒以内に完了しました。ZKsync は、Airbender Prime が ETHproofs 公開ランキングで報告された平均証明時間、GPU 効率、コストの面でリードしており、すでに双 GPU および四 GPU のリアルタイム構成があり、証明生成のハードウェア要件を低減しています。

公式の発表によると、Starknetは影のアカウントを導入し、ユーザーが独立して自分で管理するアドレスを通じて公開DeFi活動に参加できるようにし、そのアドレスとメインウォレットとの関連を秘密に保つことを許可します。影のアカウントはStarknet上の独立した仮名アドレスで、資金はユーザーの保護されたSTRK20残高から供給されます。最初の統合は明日開始されます。影のアカウントの残高、取引記録、および各アプリでの保有は依然としてチェーン上で公開されますが、STRK20は影のアカウントとユーザーのメインウォレットとの関連情報を保護することができます。これは、ユーザーがDeFi活動自体を隠す必要はなく、外部の観察者が関連する活動をメインウォレットに追跡する可能性を低下させることを意味します。

StarkWareが構築したイーサリアム拡張ネットワークStarknetは、独立したレイヤー1ネットワーク（L1）への転換を積極的に検討しており、2027年を初の完全な量子耐性ネットワークとなる目標年に設定しています。STRKは金曜日に約0.073ドルで取引されており、24時間で約20%上昇し、4月の約0.03ドルからは倍増しています。StarkWareのCEO、Eli Ben-Sassonは、L1になることでStarknetはセキュリティのアップグレードを自ら管理できるようになり、イーサリアムが関連作業を進めるのを待つ必要がなくなると述べています。現在、二層ネットワーク（L2）としてStarknetはイーサリアムのセキュリティに依存していますが、L1に移行すれば取引を自ら検証し、保障することができます。Eli Ben-Sassonは、量子コンピュータが将来的にビットコインやイーサリアムが採用している楕円曲線暗号を解読する可能性があること、またAIの数学分野での発展が別のリスクをもたらすことを指摘しました。イーサリアムのロードマップは約2029年にコアの量子耐性インフラを完成させる予定ですが、Starknetは2027年に前倒しする計画です。現在、これらのシステムを解読できる量子コンピュータは存在していません。

Starknetは量子安全ビットコイン方案（QSB）を紹介する投稿を行い、StarkWareの研究者がビットコインメインネット上でソフトフォークや新しいオペコード、コンセンサスルールの変更を必要としない量子安全ロック機構を検証したと述べています。最初のQSBの出力は2026年8月26日にビットコインメインネットのブロック964,199で完了し、関連するGPU計算コストは約320ドルから約50ドルに減少しました。QSBはハッシュ計算を通じてロック機構を構築しますが、各取引には依然として大量の計算が必要であり、資産がこの方案に移行する際には量子リスクのある従来の取引を行う必要があります。この取引はBitcoin Coreのデフォルトの中継ルールに適合せず、現在は対応するウォレット、アドレス形式、復元プロセスもありません。StarkWareは、QSBは緊急研究方案であり、長期的な解決策はソフトフォークを通じてポスト量子署名機構を導入する必要があると述べています。Starknetの全面的な量子安全性もEthereumの基盤アップグレードの進捗に依存しています。

StarkWareのCEOエリ・ベン・サッソンは、後量子時代の脅威に対処するためにStarknetをL1にアップグレードする必要性について考察を発表しました。彼は、量子コンピュータの脅威が予想以上に近い可能性があり、AIの急速な発展が既存のセキュリティ仮定を打破する可能性があることを指摘し、ブロックチェーンは「避難所モード」に入り、未来に対する証明を迅速に実現する必要があると述べました。重要な要素には、適切な暗号技術の採用、暗号学的柔軟性の確保、そして独立したL1になることが含まれます。L2として、Starknetはイーサリアムのセキュリティに依存しています。イーサリアムは2029年末までに完全な量子耐性を実現することを目指していますが、ビットコインにはその約束はありません。一方、StarknetがL1にアップグレードされれば、2027年に先駆けて達成することが可能です。この動きは、彼らがセキュリティの移行を自主的に管理し、公開またはプライベートな取引、資産の保有が可能な量子耐性ネットワークとなることを意味します。

StarkWareの共同創設者兼CEOであるEli Ben-Sassonは、StarknetがEthereumの基盤となるセキュリティに依存するL2として、量子コンピューティングやAIがもたらす暗号学的リスクに対処するために、L1への移行を含むさまざまな選択肢を検討していると述べました。ネットワークのセキュリティ移行プロセスを自主的に管理するためです。StarknetはZK-STARKに基づいて構築されており、暗号学的な敏捷性を備え、ポスト量子セキュリティの移行ロードマップを策定しています。Ethereumは2029年末までにL1の完全な量子攻撃耐性を実現する計画ですが、Bitcoinはまだ同様の約束をしていません。Starknetは最短で2027年に関連するアップグレードを実現する見込みです。

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が単独で解決できない依存関係に関わり、主にイーサリアムの量子アップグレードロードマップに依存しています。