Back to Basicsシリーズ第4弾「Koselig with Cairo*」へようこそ*。皆さん、しっかり待っていてください！私たちはあなたにエキサイティングなことを用意していますよ！ ⚡️ タイトルを読んで、あなたはすでにピラミッド、ミイラ、砂漠をイメージし始めたに違いありません。しかし今日は、砂漠やファラオの生活ではなく、L2エコシステムを席巻したプログラミング言語、Cairoを深く掘り下げていきます🌪。Cairo入門Cairoは、2018年に設立されたStarkWareが考案した言語で、STARKプルーフを使ったEthereumのスケーリングを行うためのものです。以前のブログ「StarkWareの現状」でも取り上げています。こちらで読むことができます。 さてさて、それではカイロでキックスタートです! Cairoという名前は、CPUの概念を実装したAIRである「CPU AIR」という言葉に由来しています。効率的で実用的なフォン・ノイマン・アーキテクチャであり、STARK証明システムとともに使用することで、計算の完全性の証明を生成することができます。 Cairoプログ...