Yashotantra Academy logo
← Starknet Cairo theorytheory 0/6 · 0%
level 1
Curious · 0 XP
streak
0d
perfect
0
badges
0

100 XP to Apprentice

Foundations · easy

1. Introduction to Cairo & STARKs

Turing-complete verifiable computing for Starknet.

1 min read2 questionsup to 50 XPtopic 1/6

Read in another language

AI translates the explanation and quiz text while preserving code and answer scoring.

Cairo is a Rust-inspired language designed for creating STARK-provable programs. Computations run off-chain, producing a cryptographic proof that is verified on Ethereum L1 with minimal computational cost.

cairo
#[starknet::contract]
mod HelloStarknet {
    #[storage]
    struct Storage {
        balance: felt252,
    }

    #[external(v0)]
    fn get_balance(self: @ContractState) -> felt252 {
        self.balance.read()
    }
}

How to study this topic

  1. 1. Read the explanation once end to end, skipping the code.
  2. 2. Re-read the code snippets and say out loud what each line does.
  3. 3. Answer the quiz without scrolling back — that is the real check.
  4. 4. Read every explanation, even for the answers you got right.

Scoring

  • · Up to 30 XP from quiz accuracy.
  • · +15 XP for a perfect first attempt.
  • · +5 XP while a 3-day streak is running.
  • · 75% or higher marks the topic complete.

Check your understanding

  1. 1. What is Cairo's primary mathematical foundation?

  2. 2. What is the benefit of STARK proofs for Ethereum Layer 2 scaling?

Badges

First light
Pass your first topic
Sharp shooter
3 perfect first-try quizzes
On a roll
Study 3 days in a row
Week warrior
Study 7 days in a row
Grinder
Earn 500 XP
Deep diver
Earn 1500 XP