Khám phá Cairo: Kiến trúc CPU thân thiện với STARK Turing hoàn chỉnh và hiệu quả

dài quá đọc không nổi

Cairo là một kiến trúc CPU STARK thân thiện với Turing hoàn chỉnh thực tế. Trong bài viết này, chúng tôi giới thiệu kiến trúc CPU của Cairo về cấu trúc lệnh và chuyển đổi trạng thái, đồng thời cung cấp một số ví dụ về lệnh. Cấu trúc hướng dẫn Từ nguyên bản được hỗ trợ bởi CPU Cairo là một phần tử trường, trong đó trường là một trường xác thực nào đó của đặc tính P> 2 ^ 63. Mỗi hướng dẫn sẽ chiếm 1 hoặc 2 từ. Nếu giá trị tức thời （[ap] = “12345678”） tuân theo lệnh, lệnh sẽ chiếm 2 từ và giá trị sẽ được lưu trữ trong từ thứ hai.