Back to Basicsシリーズ第4弾「Koselig with Cairo*」へようこそ*。皆さん、しっかり待っていてください！私たちはあなたにエキサイティングなことを用意していますよ！ ⚡️

タイトルを読んで、あなたはすでにピラミッド、ミイラ、砂漠をイメージし始めたに違いありません。しかし今日は、砂漠やファラオの生活ではなく、L2エコシステムを席巻したプログラミング言語、Cairoを深く掘り下げていきます🌪。

Cairoは、2018年に設立されたStarkWareが考案した言語で、STARKプルーフを使ったEthereumのスケーリングを行うためのものです。以前のブログ「StarkWareの現状」でも取り上げています。こちらで読むことができます。

さてさて、それではカイロでキックスタートです! Cairoという名前は、CPUの概念を実装したAIRである「CPU AIR」という言葉に由来しています。効率的で実用的なフォン・ノイマン・アーキテクチャであり、STARK証明システムとともに使用することで、計算の完全性の証明を生成することができます。

Cairoプログラムはトレースを生成し、それを信頼できないプローバーに送ります。プローバーはステートメントの有効性を示すSTARK証明を生成します。この証明は、検証機（オンチェーンである場合もない場合もあります）を使って検証することができます。

さて、ここまででカイロの基本的なことは理解できたと思います。では、次の質問をひとつずつ解決していきましょう。

なぜCairoを学ぶのか？

https://twitter.com/zaiteku_/status/1504808599603847189

Cairoは大挙してやってくる。

**今日、ほとんどのdAppは基本的に、何らかのロジック、フロントエンド、そしてバックエンドを実装したSolidityのコントラクトです。*これらのdAppは、成功した場合、必然的にスケーラビリティの*問題に直面します。

今、dAppsは、プルーフベースのL2スケーラビリティ・ソリューションに目を向けることで、スケーラビリティの問題を解決しています。オフチェーンコンポーネントは、ビジネスロジックの複雑な部分を引き継ぎ、セキュリティをあきらめることなくオンチェーンのスマートコントラクトと通信を行います。

Cairo以前は、特定のビジネスロジックをカバーする証明システムを作るのは大変でした。Cairoでは、証明を使ってスケーラビリティを実現するための障壁はずっと低くなっています。複雑なロジックをCairoで書き、オフチェーンで証明し、その証明がオンチェーンで検証されれば、スマートコントラクトアプリケーションはその結果を信頼して使うことができます。

ブロックチェーン開発者のためのカイロ」と題されたカイロブログでは、以下のように言及されています。

dAppのスマートコントラクトの役割は、高価なビジネスロジックを実行するコンポーネントから、そのビジネスロジックの安価な結果を処理するコンポーネントに変わるのです。

また、Marquee investorのRyan Berckmanは、StarkNetに関する見解を以下のように語っています。

https://twitter.com/ryanberckmans/status/1450208416325046277

技術的には、すべてのStakrNet（やCairo）のアプリケーションはブロックチェーン上えでゃ内オフチェーンで実行され、トランザクション（通信）の結果がオンチェーンに乗ります。この結果は

2.カイロの仕組みは？