zkp
Các kho mã nguồn mở đang theo dõi được gắn thẻ zkp, sắp xếp theo số sao.
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng zkp 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ẻ zkp.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
Triển khai bằng Rust của Namada, một L1 Proof-of-Stake dành cho quyền riêng tư bất khả tri về tài sản chuỗi chéo
★ 2.513-1Thay đổ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
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 - #4
gnark là một thư viện zk-SNARK nhanh chóng cung cấp API cấp cao để thiết kế các mạch. Thư viện này là mã nguồn mở và được phát triển theo giấy phép Apache 2.0
★ 1.731+0Thay đổi số sao trong 7 ngày qua - #5★ 1.163+0Thay đổi số sao trong 7 ngày qua
- #6
zkVM đơn giản và dễ mở rộng nhất. Nhanh và hoàn toàn mã nguồn mở từ a16z crypto và những người bạn. ⚡
★ 1.022+2Thay đổi số sao trong 7 ngày qua - #7★ 795+0Thay đổi số sao trong 7 ngày qua
- #8
gnark-crypto cung cấp mật mã học dựa trên đường cong elliptic và cặp ghép trên các đường cong BN, BLS12, BLS24 và BW6. Nó cũng cung cấp các thuật toán khác nhau (đại số, mật mã) đặc biệt quan tâm đến các hệ thống bằng chứng không kiến thức (zero knowledge proof).
★ 601+0Thay đổi số sao trong 7 ngày qua - #9
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 - #10★ 568+0Thay đổi số sao trong 7 ngày qua
