序言#
最近瘋狂的迷上了 starknet 和 cairo 語言，學習的過程中順便做了些記錄，因此分享在這裡
Cairo 程式執行流程#
在 Cairo 中，程式的執行流程可以概括為以下幾個步驟：
- 編寫 Cairo 原始碼：程式員使用 Cairo 程式語言編寫程式的原始碼。
- 編譯原始碼：使用 cairo-compile 命令將 Cairo 原始碼編譯成等效的字節碼表示形式。
- 載入字節碼：使用 Cairo Runner 載入字節碼，並將其轉換為可執行的指令序列。
- 執行指令序列：按照指令序列中的順序執行每個指令，並根據每個指令的標誌位確定要執行的操作和下一個狀態。
- 輸出結果：當程式執行完畢時，輸出結果並結束程式。
在這個流程中，確定性和非確定性都被廣泛應用。一些指令是確定性的，它們的行為可以完全由其輸入和規則來預測。另一些指令是非確定性的，它們可能產生不同的結果，並且需要小心處理以確保正確地處理所有可能的結果。
總之，在 Cairo 中，程式員編寫原始碼並使用 cairo-compile 命令將其編譯成字節碼。然後，使用 Cairo Runner 載入並執行字節碼，並輸出結果。在這個過程中，確定性和非確定性都被廣泛應用於不同類型的問題和演算法中。
Cairo Runner 是什麼#
Cairo Runner 是一個計算機程式，用於執行已編譯的 Cairo 程式。在 Cairo 中，執行程式與執行常規計算機程式不同。這主要是由於 Cairo 允許非確定性程式碼的存在。因此，Cairo Runner 需要支援這種非確定性，並能夠正確地執行 Cairo 程式。
此外，Cairo Runner 還支援可重定位記憶體段的概念，以利用 Cairo 的非確定性來緩解連續性要求。可重定位記憶體段是一段連續的記憶體區域，用於儲存資料和指令，並且可以在執行時被移動到不同的位置。這使得 Cairo 能夠更好地處理動態分配記憶體和垃圾回收等問題。
確定性與非確定性區別#
在計算機科學中，確定性和非確定性是兩個重要的概念。在 Cairo 中，這些概念也很重要。
確定性是指一個系統或過程的行為可以完全由其輸入和規則來預測。這意味著，如果給定相同的輸入和規則，則系統或過程將始終產生相同的輸出。在 Cairo 中，確定性程式碼只能執行一種可能的操作序列，並且每次執行都會產生相同的結果。
非確定性是指一個系統或過程的行為不能完全由其輸入和規則來預測。這意味著，即使給定相同的輸入和規則，系統或過程也可能產生不同的輸出。在 Cairo 中，非確定性程式碼可以執行多種可能的操作序列，並且每次執行都可能產生不同的結果。
Cairo 允許使用非確定性程式碼來解決某些問題，例如隨機數生成、搜索演算法等。但是，在使用非確定性程式碼時需要小心處理，並確保正確地處理所有可能的結果。
更多關於 Cairo 中確定性與非確定性區別的資訊可以在 PDF 文件第 28 頁找到。
Cairo 如何用到確定性與非確定性#
在 Cairo 中，確定性和非確定性都被廣泛應用。Cairo 的指令集包括一些用於執行確定性操作的指令，例如加法、減法、乘法等。這些指令的行為是完全由其輸入和規則來預測的，並且每次執行都會產生相同的結果。
另一方面，Cairo 還包括一些用於執行非確定性操作的指令，例如隨機數生成、搜索演算法等。這些指令的行為不能完全由其輸入和規則來預測，並且每次執行都可能產生不同的結果。
在使用非確定性程式碼時需要小心處理，並確保正確地處理所有可能的結果。為了支援這種非確定性，Cairo Runner 需要能夠正確地處理可重定位記憶體段，並支援垃圾回收等功能。
總之，在 Cairo 中，確定性和非確定性都是重要的概念，並且它們被廣泛應用於不同類型的問題和演算法中。
更多關於 Cairo 如何使用確定性與非確定性的資訊可以在 PDF 文件第 28 頁找到。