# CairoとのKoselig By [daidaidai.eth](https://paragraph.com/@daidaidai) · 2023-03-12 --- _Back to Basicsシリーズ第4_弾「Koselig with Cairo\*」へようこそ\*。皆さん、しっかり待っていてください！私たちはあなたにエキサイティングなことを用意していますよ！ ⚡️ タイトルを読んで、あなたはすでにピラミッド、ミイラ、砂漠をイメージし始めたに違いありません。しかし今日は、砂漠やファラオの生活ではなく、L2エコシステムを席巻した[プログラミング言語](https://en.wikipedia.org/wiki/Programming_language#:~:text=A%20programming%20language%20is%20any,computer%20programming%20to%20implement%20algorithms)、[Cairoを](https://www.cairo-lang.org/)深く掘り下げていきます🌪。 Cairo入門 ------- Cairoは、**2018**年に設立されたStarkWareが考案した言語で、**STARK**プルーフを使った[Ethereumの](https://twitter.com/ethereum)スケーリングを行うためのものです。以前のブログ「**StarkWareの現状**」でも取り上げています。[こちらで](https://zkxprotocol.medium.com/state-of-starkware-557e2d67087c)読むことができます。 **さてさて、それではカイロでキックスタートです!** _Cairoという名前は、CPUの概念を実装したAIRである「CPU AIR」という言葉に由来しています。効率的で実用的なフォン・ノイマン・アーキテクチャであり、STARK証明システムとともに使用することで、計算の完全性の証明を生成することができます。_ Cairoプログラムはトレースを生成し、それを信頼できないプローバーに送ります。プローバーはステートメントの有効性を示すSTARK証明を生成します。この証明は、検証機（オンチェーンである場合もない場合もあります）を使って検証することができます。 Cairoへのディープダイブ -------------- さて、ここまででカイロの基本的なことは理解できたと思います。では、次の質問をひとつずつ解決していきましょう。 なぜCairoを学ぶのか？ [https://twitter.com/zaiteku\_/status/1504808599603847189](https://twitter.com/zaiteku_/status/1504808599603847189) > Cairoは大挙してやってくる。 \*\*今日、ほとんどのdAppは基本的に、何らかのロジック、フロントエンド、そしてバックエンドを実装したSolidityのコントラクトです。\*_これらのdAppは、成功した場合、必然的に_スケーラビリティの\*問題に直面します。 今、dAppsは、プルーフベースのL2スケーラビリティ・ソリューションに目を向けることで、スケーラビリティの問題を解決しています。**オフチェーンコンポーネントは、ビジネスロジックの複雑な部分を引き継ぎ、セキュリティをあきらめることなくオンチェーンのスマートコントラクトと通信を行います。** Cairo以前は、特定のビジネスロジックをカバーする証明システムを作るのは大変でした。Cairoでは、証明を使ってスケーラビリティを実現するための障壁はずっと低くなっています。複雑なロジックをCairoで書き、オフチェーンで証明し、その証明がオンチェーンで検証されれば、スマートコントラクトアプリケーションはその結果を信頼して使うことができます。 [ブロックチェーン開発者のためのカイロ](https://www.cairo-lang.org/cairo-for-blockchain-developers/)」と題されたカイロブログでは、以下のように言及されています。 dAppのスマートコントラクトの役割は、高価なビジネスロジックを実行するコンポーネントから、そのビジネスロジックの安価な結果を処理するコンポーネントに変わるのです。 また、Marquee investorの[Ryan Berckmanは](https://twitter.com/ryanberckmans)、StarkNetに関する見解を以下のように語っています。 [https://twitter.com/ryanberckmans/status/1450208416325046277](https://twitter.com/ryanberckmans/status/1450208416325046277) > 技術的には、すべてのStakrNet（やCairo）のアプリケーションはブロックチェーン上えでゃ内オフチェーンで実行され、トランザクション（通信）の結果がオンチェーンに乗ります。この結果は **2.カイロの仕組みは？** --- *Originally published on [daidaidai.eth](https://paragraph.com/@daidaidai/cairo-koselig)*