Does Cairo ring a bell?
Make sure you REGISTER this info in your MEMORY ✨
Nostra Devs 06 - Memory & Registers in #Cairo
💻🧵
Make sure you REGISTER this info in your MEMORY ✨
Nostra Devs 06 - Memory & Registers in #Cairo
💻🧵
In today’s thread, we’ll see:
✨ What’s Cairo Read-only Memory?
✨ Memory Properties in Cairo
✨ Memory Practical Example
✨ What are Cairo Registers?
✨ 3 Designated Cairo Registers
Let’s roll!
✨ What’s Cairo Read-only Memory?
✨ Memory Properties in Cairo
✨ Memory Practical Example
✨ What are Cairo Registers?
✨ 3 Designated Cairo Registers
Let’s roll!
✨ What’s Cairo Read-only Memory?
In summary, memory in Cairo is Read-only and Nondeterministic.
If we set a value in a memory cell, it can’t change during the program execution.
In summary, memory in Cairo is Read-only and Nondeterministic.
If we set a value in a memory cell, it can’t change during the program execution.
For example: Setting `[x] = 10`
This means that the cell with address `x` in memory will hold the value `10` throughout the entire program execution ✅
This means that the cell with address `x` in memory will hold the value `10` throughout the entire program execution ✅
✨ Memory Properties in Cairo
1️⃣ Read-only
Once you write a value in a cell, it can’t be changed
2️⃣ Non-deterministic
The Prover choses the value for each memory cell
3️⃣ Continuous address access
If you access address 40 & 42, then 41 must also be accessed before program ends
1️⃣ Read-only
Once you write a value in a cell, it can’t be changed
2️⃣ Non-deterministic
The Prover choses the value for each memory cell
3️⃣ Continuous address access
If you access address 40 & 42, then 41 must also be accessed before program ends
✨ Memory Practical Example
Learn how to use memory properly with this example:
Learn how to use memory properly with this example:
PRO TIP 🖥
Learn more about memory in Cairo in the official documentation:
cairo-by-example.org/cairo/memory
Learn more about memory in Cairo in the official documentation:
cairo-by-example.org/cairo/memory
✨ What are Cairo Registers?
Are there any values that can change during runtime?
Yes, registers ®️
Registers in #Cairo can change during runtime.
They are pointers that keep track of some runtime data.
Are there any values that can change during runtime?
Yes, registers ®️
Registers in #Cairo can change during runtime.
They are pointers that keep track of some runtime data.
✨ 3 Designated Cairo Registers
1️⃣ ap (allocation pointer)
Points to the next unused memory cell
2️⃣fp (frame pointer)
Points to the frame of the current function
3️⃣pc (program counter)
Points to the current instruction
1️⃣ ap (allocation pointer)
Points to the next unused memory cell
2️⃣fp (frame pointer)
Points to the frame of the current function
3️⃣pc (program counter)
Points to the current instruction
Cairo and many other tools/libraries are under significant development.
Iterations are fast, and code changes quickly.
DYOR and use it at your own risk.
You can read the first Nostra Devs thread here:
Iterations are fast, and code changes quickly.
DYOR and use it at your own risk.
You can read the first Nostra Devs thread here:
https://twitter.com/nostrafinance/status/1562817779962871811
Our Nostra Famiglia Fund is live!
We’re allocating 5 MILLION $DAI to build on top of #Nostra and #StarkNet ✨
Read more here:
We’re allocating 5 MILLION $DAI to build on top of #Nostra and #StarkNet ✨
Read more here:
https://twitter.com/nostrafinance/status/1562465574617198592
• • •
Missing some Tweet in this thread? You can try to
force a refresh
