# CairoとのKoselig

**Published by:** [daidaidai.eth](https://paragraph.com/@daidaidai/)
**Published on:** 2023-03-12
**URL:** https://paragraph.com/@daidaidai/cairo-koselig

## Content

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

## Publication Information

- [daidaidai.eth](https://paragraph.com/@daidaidai/): Publication homepage
- [All Posts](https://paragraph.com/@daidaidai/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@daidaidai): Subscribe to updates
- [Twitter](https://twitter.com/otukarehitoiki1): Follow on Twitter