StarkWare社の新しいプローバーが記録を塗り替え、1000倍の改良と市場最速を謳う

ブロックチェーン技術は、安全で分散型の取引を可能にすることで、金融、ゲーム、サプライチェーン管理などの業界に革命をもたらした。

しかし、スケーラビリティは依然として大きな課題であり、多くの一般的なネットワークでは手数料が高く、取引に時間がかかる。

この問題に対処するためには革新的なソリューションが必要であり、スタークウェア社はこの分野で重要な役割を果たす企業として頭角を現している。

同社は、Zero-Knowledge Scalable Transparent Arguments of Knowledge（ZK-STARK）、StarkEx、StarkNet、StarkNetトークン、StarkNet Foundationなどの最先端技術を開発し、安全で信頼性が高く、スケーラブルなブロックチェーンアプリケーションを実現している。

StarkWare'の新プローバーが記録を更新。

スタークウェアとポリゴンによる最近の研究の進歩により、STARKは著しく改善された。

STARKは、その卓越したパフォーマンス、最小限のセキュリティ要件、透過的で安全なセットアップ、量子攻撃に対する耐性により、イーサリアムをスケーリングするための最高のソリューションとみなされている。

ポリゴンのいくつかのチーム、RiscZero、ZKsync、Succinctなど、主要な妥当性ロールアップで広く採用されている。

StarkWare'のCEOであるEli Ben-Sassonが共同発明し、StarkWareが2020年夏に初めて製品化したSTARKは、過去4年間で1兆2000億ドル以上の取引の決済を促進した。

スタークウェア社は現在、この研究をSTARK Twoの頭文字をとってStwoと名付けられた新しい証明法に実装する準備を進めており、証明能力を1000倍近く高めることを目指している。

リタの共同設立者であるヴェンタリ・タン氏はこう指摘する：

「Stwoは、STARKsの主要な暗号構成要素であるFRI多項式コミットメントスキームのスピードとパワーを改めて証明した。ValidaやSuccinctのSP1はPlonky3に基づいて構築されている。"

次世代STARK証明と呼ばれるStwoは、市販のCPUやGPUで最適な効率を実現するために、標準的な32ビットのコンピュータワードを利用している。

この効率性は、StarkWare社のDavid Levit氏とShahar Papini氏、そしてPolygon社のUlrich Haböck氏の共同作業であるCircle STARKとして知られる、最近の暗号解読のブレークスルーによって裏付けられている。

プルーバーの文脈では、スケーラビリティとは、証明の生成と検証を迅速かつコスト効率よく行うことを指す。

STARKのquot;Transparent"な側面は、多くのSNARKベースの証明者が必要とする信頼されたセットアップの必要性を排除します。

2025年初頭に製造が予定されているStwoは、STARK Oneの略である現在のプローバー、Stoneに取って代わる予定だ。

Stwoのスピードと効率の鍵は、8番目のメルセンヌ素数であるM31を計算に使うことにある。

メルセンヌ素数とは、2のべき乗より1小さい素数のことで、17世紀初頭に素数を研究したフランスの修道士マリン・メルセンヌにちなんで名付けられた。

具体的には、メルセンヌ素数はMn=2n-1（nは整数）と表すことができる。

StarkWare社とPolygon Labs社が共同で開発したCircle STARKsは、暗号の証明を迅速化するために高度な幾何学的手法を採用しており、M31フィールドはこれらの操作をさらに強化する。

これらを組み合わせることで、Stwoは少ない計算能力で迅速に証明を生成することができる。

4コアのインテル7 CPUでは、Stwoは毎秒500,000以上のPoseidonハッシュを証明するスループットを達成し、12コアのM3 Proチップセットでは毎秒600,000以上のハッシュを証明した。

StwoのスループットはStoneの940倍、ethStarkの50倍である。

しかし、スタークウェア社は、GPUの使用やマルチコア並列化などの最適化はまだ実装されておらず、今後パフォーマンスに関する最新情報を提供すると強調している。

アレオ社のリサーチ・サイエンティスト、イアン・ミアーズによれば、急速に進化するゼロ知識暗号の分野で、ひとつだけ確かなことがあるという：

"より新しく、より優れたZKプルーフシステムは常に存在し、いずれはアップグレードする必要がある"

イーサリアムの創設者であるヴィタリック・ブテリン（Vitalik Buterin）氏も、自身が作成した証明書と、チームの最適化スキルを称賛している。

StarkWare社はビットコインのスケーラビリティを向上させるつもりだが、その道のりは長い。

先月、StarkWareはZKスケーリング技術をビットコインに拡張する野心的なプロジェクトを発表したばかりで、イーサリアムと連動してネットワークを拡張することを目指している。

この試みは、ビットコインのプロトコルを変革し、開発者とユーザーに新たな機会をもたらすと期待されている。

StarkWare'のSTARKテクノロジーは、機密情報を開示することなくトランザクションの検証を容易にし、プライバシーとセキュリティを強化します。

同社はソフトフォーク案であるOP_CATを通じてこの技術をビットコインに統合する意向で、これによりZK証明のネイティブな検証が可能になる。

より安全なスマートコントラクトの作成や、プライベートで効率的な取引の促進など、潜在的なユースケースは広範囲に及ぶ。

StarkWare'の提案は、Bitcoin'の技術的進歩における極めて重要な瞬間を意味するかもしれない。

とはいえ、広く受け入れられるようになるには困難がつきまとう。

ZK証明は計算量が多く、リソースを大量に消費する。

この分野での急速な進歩にもかかわらず、技術的な障害は依然として残っており、これらの障害を克服するための研究開発への多額の投資が必要である。

StarkWareについて

StarkWare Industriesはイスラエルを拠点とするソフトウェア企業で、イーサリアムネットワークのスケーラビリティ問題に取り組むための暗号証明システムを専門としている。

同社は独自のSTARK技術を採用し、ZK証明によって計算機セキュリティを強化している。

StarkWare'のZK-STARKテクノロジーは、ブロックチェーンのスケーラビリティ、透明性、プライバシー、セキュリティを大幅に改善し、シームレスなユーザー体験を保証します。

高度な暗号証明と最新の代数学を利用することで、ZK-STARKはブロックチェーン計算の完全性とプライバシーを維持する。

これによりブロックチェーンは、単一のオフチェーンSTARK証明者に計算をオフロードし、これらの計算をオンチェーンSTARK検証者で検証することができる。

StarkWareは2020年6月に初の独自スケーリングエンジンStarkExを発表し、2021年11月にイーサリアムのメインネット上でStarkNetをローンチした。

StarkWareの製品はすべて、プログラミング言語Cairoを使って開発されています。

StarkWareは、独自の技術ソリューションを開発することで、イーサリアムEIPが提供するスケーラビリティの向上を上回ることを目指し、イーサリアム固有のスケーラビリティの課題に包括的に取り組んでいます。

StarkWare製品とアプリケーション

StarkWareは2つの主要なスケーリングソリューションを提供している：StarkExとStarkNetで、どちらも独自のプログラミング言語であるCairoを活用している。

カイロ

Cairoは、一般的な計算のためのSTARK-provableプログラムの作成を容易にし、Ethereum Mainnet上のStarkExプラットフォームを強化します。

この言語は、dYdX、Sorare、Immutable X、rhino.fi、Celer、Apeworx、Canvasなどのプロジェクトに欠かせない。

さらにCairoは、Ethereum'のスケーラビリティとプライバシーを強化するために設計された分散型Validity-RollupであるStarkNetのネイティブスマートコントラクト言語として機能する。

ブロックチェーン上のトランザクション検証を最適化することで、CairoとStarkNetはイーサリアムのスケーラビリティの課題に対する強固なソリューションを提示する。

スターケックス

StarkExは、パブリックとプライベートの両方のイーサリアムのテストネット上で広範なテストを行った後、2020年6月からイーサリアムのメインネット上で運用されており、スケーラビリティ・ソリューションの成熟度を例証している。

STARKテクノロジーを活用するStarkExは、DeFiやゲーム用途に不可欠なスケーラブルな自己勘定取引を容易にします。

現在の構成に最小限の調整を加えるだけで、大幅なスケーリング、トランザクションの高速化、コストの削減が可能になる。

StarkExはETH、合成アセット、ERC-20、ERC-721、ERC-1155トークンをサポートしており、他のEVM互換ブロックチェーン上のトークンにもサポートを拡張することができる。

StarkEXの流れ：StarkExでのトランザクションの実行と検証方法

についてStarkEXダッシュボード を見ると、過去1ヶ月の累積取引量が増加していることがわかる。

スタークネット

StarkWare社によって開発されたStarkNetは、Ethereum'のレイヤー2ネットワーク上で、無許可で分散化されたValidity-Rollup（ZK-Rollup）として運営されている。

分散型アプリケーション（DApps）は、イーサリアムのセキュリティとコンポーザビリティを維持しながら、無制限の計算スケーラビリティを達成することができます。

STARK Proofを使用することで、StarkNetはEthereum'のメインネット上でDAppsを構築・展開するためのスケーラブルな環境を開発者に提供します。

開発者は、イーサリアムのアーキテクチャを反映したZK-RollupであるzkEVMを利用することで、イーサリアム仮想マシン（EVM）と互換性のある言語で記述することができます。

さらにCairoは、ネットワーク上での多様なビジネスロジックの展開をサポートします。

スタークゲートブリッジ

StarkGateはStarkNetのネイティブブリッジであり、EthereumとStarkNet間のERC-20トークンの送金を容易にする。

StarkNet AlphaネットワークとSTARKベースの計算圧縮を利用し、Ethereum、Polygon、Optimism、Arbitrum、その他のネットワークからのブリッジングトークンをサポートします。

StarkGateは、USDC、DAI、USDT、WBTCなどの資産をStarkNetに直接シームレスに送金することができます。

スタークネット・トークン（STRK）

StarkNetのエコシステムは、2022年7月にローンチされたERC-20トークンであるネイティブトークンSTRKによって支えられている。

STRKはStarkNetネットワークの維持と安全確保に重要な役割を果たしています。

また、トークン保有者がブロックチェーンの決定に対して投票できるようにしたり、ネットワーク内の取引を促進したりと、ガバナンス機能も果たしている。

StarkWareを支える頭脳の紹介

2018年にイスラエルのネタニヤで設立されたStarkWare Industriesは、多様な専門家からなるチームによって設立された：Uri Kolodny、Eli Ben-Sasson、Michael Riabzev、Alessandro Chiesa。

同社の使命は、スケーラビリティの課題に対処し、ブロックチェーンネットワークのプライバシーと効率を高めることである。

彼らの革新的なアプローチは、ブロックチェーンの状況を一変させ、より堅牢で使いやすいものにすることを目指している。

イーライ・ベン＝サッソン、StarkWare社共同設立者兼CEO

ベン＝サッソンはStarkWare社の共同設立者、現CEO、取締役会長。

イスラエル工科大学テクニオン校で7年間准教授、TTIシカゴ校で客員助教授、マサチューセッツ工科大学で博士研究員を務めた。

2001年にヘブライ大学で理論計算機科学の博士号を取得して以来、ベン＝サッソンは計算の完全性に関する暗号とZK証明に焦点を当ててきた。

STARK、FRI、Zerocashプロトコルの共同発明者であり、Zcash Companyの創設科学者でもある。

プリンストン高等研究所、ハーバード大学、マサチューセッツ工科大学で研究職を歴任。

直近ではテクニオン大学のコンピューターサイエンス教授を務めた後、StarkWare社を共同設立した。

彼の交友関係X そしてLinkedIn

ベン＝サッソンの豊富なレパートリーにもかかわらず、彼の名前に汚点がないわけではない。

XユーザーのChad Plebは、Ben-Sassonは詐欺師であり、Bitcoinが機能しないのでZcash shitcoinを作ったと主張した。

興味深いことに、StarkWare社のもう一人の共同設立者であるアレッサンドロ・キエサもZcashに関係している。

アレッサンドロ・キエーザ、StarkWare社共同設立者

ChiesaはStarkWare社の共同設立者であり、カリフォルニア大学バークレー校のコンピューターサイエンスの教員でもある。

研究分野は複雑性理論、暗号理論、セキュリティに及び、特に簡潔なZK証明の理論的基礎と実用的実装に焦点を当てている。

ChiesaはZerocashプロトコルの共同発明者であり、簡潔なZK証明のための主要なオープンソースライブラリであるlibsnarkの主要な貢献者である。

また、Zcash社の創設科学者でもある。

チエーザはマサチューセッツ工科大学でコンピューターサイエンスと数学の学士号、コンピューターサイエンスの博士号を取得している。

彼の交友関係LinkedIn

ウリ・コロドニー、スタークウェア取締役会メンバー、初代CEO

コロドニー氏は2024年2月までスタークウェア社の初代CEOを務め、現在も取締役を務めている。

彼は旅立つとき、こう言った：

「しかし、私は家族の健康上の必要性を満たすためにCEOのポストを離れる。この会社、そしてこの会社が築き上げた技術スタックは、6年後、私が夢見た以上に進化しています。イーライと150人以上のギガブレインに率いられたStarkWareは、イーサリアムのスケーリングで可能なことの境界を押し広げ続けると確信しています。"

ヘブライ大学でコンピュータ・サイエンスの学士号（優等学位）、マサチューセッツ工科大学スローン経営大学院でMBAを取得。

コロドニー氏はベテランの起業家であり、MITからスピンオフした内視鏡手術用の光ファイバーに特化したオムニガイド社や、ビッグデータ可視化ツールに特化したモンドリア社など、複数のテクノロジー企業を共同設立している。

イスラエルのVC2社でアントレプレナー・イン・レジデンス（EIR）、マッキンゼー・アンド・アンプ・カンパニーでアナリストを務める。

彼の交友関係X そしてLinkedIn

マイケル・リアブゼフ、StarkWare社共同設立者

リアブゼフはStarkWare社の共同設立者で、コンピューターサイエンスと暗号技術の専門知識を活かしている。

テクニオン（イスラエル工科大学）で博士号を取得し、ZKにおける計算整合性のための実用的なシステム開発を専門とした。

博士課程での研究は、zk-STARKシステムの作成と実装に結実した。

リアブゼフはまた、テクニオンで数学の学士号（優等）およびコンピューター・サイエンスの修士号を取得している。

専門分野はハードウェアアクセラレーション、暗号アルゴリズム、GPGPU、SDN、ウェブ開発など多岐にわたり、幅広い技術革新を反映している。

彼の交友関係X そしてLinkedIn

StarkWare'のソーシャルネットワーク

ウェブサイト

X

ギズブ

LinkedIn

ミディアム

StarkWare'の計画

同社はこう主張している：

"私たちは、プロダクショングレードのコードを納期通りに納品してきた歴史があります"

Stwoは2025年第1四半期までにStarkWare'のStarkNetおよびStarkExシステム用メインネットでローンチされ、Shared Proving (SHARP)フレームワークに統合される予定である。

今後の主なマイルストーンとしては、Cairo Assembly（CASM）用のStwo AIR制約の記述と、Cairoでの再帰検証器の実装がある。

StarkWare社は、来年夏までにStwoをStarkNetに深く統合し、ゲームやDeFiなどのアプリケーションでクライアントサイドの迅速なプロビジョニングを可能にすることを期待している。

この進歩は、ブロックチェーンエコシステムにおけるスケーラビリティと効率の大幅な飛躍を約束する。

乗り越えるべきハードルとともに明るい未来が待っている

エコシステムは急速に拡大しており、革新的なツールによってDeFiの風景が再構築されつつある。

Cairo、StarkEx、StarkNetを含むStarkWare'の製品群は、ブロックチェーンが直面するスケーラビリティの課題に対する説得力のあるソリューションを提供する。

同社はオフチェーンとオンチェーンの技術を組み合わせることで、ユーザーはイーサリアムで最も低いガス料金の恩恵を受けることができ、プライバシーとセキュリティも強化されます。

さらに、StarkWare'は、Paradigm、Sequoia Capital、Coinbase Ventures、ConsenSys、Pantera Capital、Vitalik Buterinといった著名な投資家から支援を受けており、その可能性を証明している。

コインライブは、スタークウェアとその製品について、その高い評判、潤沢な資金、この分野での専門知識から、好意的に見る傾向がある。

しかし、OP_CATをビットコインのスケーリングに使用することは論点となっている。

ビットコインコミュニティのすべてのメンバーがOP_CATを支持しているわけではなく、代替の規約案を好む者もいれば、その実装による潜在的な予期せぬ結果を懸念する者もいる。

ベン＝サッソンはこうした懸念を認めつつも、100万ドルの基金と内部調査の目的は、こうした課題に対処し、すべてが安全に行なわれるようにすることだと強調した；

彼はこう続けた：

OP_CATは最も効率的な方法ですが、唯一の方法ではありません。私たちは現在、OP_CATに頼らずにSTARKのスケールを達成するための代替策を模索しています。現時点では詳細を述べることはできませんが、これらの代替案は有望であり、実行可能な回避策として役立つ可能性があります；