序言#
最近瘋狂地迷上了 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 頁找到。