stark
Các kho mã nguồn mở đang theo dõi được gắn thẻ stark, sắp xếp theo số sao.
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng stark trên cùng một kho mã.
Mới nổi gần đây
Các kho mã tạo trong 90 ngày qua và được gắn thẻ stark.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
RISC Zero là một nền tảng điện toán tổng quát có thể xác minh bằng chứng không tri thức (zero-knowledge) dựa trên zk-STARKs và kiến trúc vi mô RISC-V.
★ 2.188+8Thay đổi số sao trong 7 ngày qua - #2
Hướng dẫn nhập môn Zero-Knowledge Proofs toàn diện. Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
★ 2.134+0Thay đổi số sao trong 7 ngày qua - #3★ 770+0Thay đổi số sao trong 7 ngày qua
- #4
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
