Cairo is programming language that can be used to write blockchain applications. The language is novel in that it converts program logic into STARK proofs. This enables an extremely favourable increase in the throughput of a given application.
- Learn Cairo by example.
- Explore modules from the common library.
- Understand how accounts work in StarkNet, with account abstraction in a first and second exploration.
The benefit of STARKs can be summarised in this python pseudocode.
- Write StarkNet contract unit tests.
- Compare and contrast:
- Use the StarkNet command line interface
- Review the StarkNet roadmap here
- Learn more about proofs.
- Cover the basics. What is Cairo, and why does it matter?
- Explore what ENS on StarkNet might look like
- Use an L1 solidity contract to ingest an arbitrary Cairo program proof here.
- Follow a walkthrough of an AMM program deployed to Ropsten with SHARP here.
- Build a game on L2 here.