Chủ sở hữu · starkware-libs
starkware-libs
Các kho mã nguồn mở đang theo dõi của starkware-libs, sắp xếp theo số sao.
4 kho mã
- #1
Cairo là ngôn ngữ hoàn chỉnh Turing đầu tiên để tạo các chương trình có thể chứng minh cho tính toán tổng quát.
★ 1.904+2Thay đổi số sao trong 7 ngày qua - #2★ 1.369+0Thay đổi số sao trong 7 ngày qua
- #3
cairo-vm là bản triển khai Rust của Cairo VM. Cairo (CPU Algebraic Intermediate Representation) là một ngôn ngữ lập trình để viết các chương trình có thể chứng minh, nơi một bên có thể chứng minh cho bên khác rằng một phép tính nhất định đã được thực hiện chính xác mà không cần bên đó phải thực thi lại cùng một chương trình.
★ 586+1Thay đổi số sao trong 7 ngày qua - #4★ 502+1Thay đổi số sao trong 7 ngày qua
