Chúng tôi vừa phát hành các ví dụ Solana Noir — các mạch ZK trong Noir với xác minh trên chuỗi trên Solana 🧵

Noir là một ngôn ngữ để viết các mạch zero-knowledge. Cú pháp giống Rust, không cần bằng tiến sĩ về mật mã. Sunspot (bởi @reilabs_io) biên dịch các mạch Noir sang Groth16 và tạo ra các chương trình xác minh Solana. Noir viết nó. Sunspot triển khai nó. Solana xác minh nó.

Ba mạch, độ phức tạp tăng dần: → một — Khẳng định đơn giản (bắt đầu từ đây) → verify_signer — Xác minh chữ ký ECDSA → smt_exclusion — Chứng minh loại trừ danh sách đen Sparse Merkle Tree

Mỗi mạch đều theo cùng một quy trình: chỉ cần biên dịch-smt # Noir → ACIR chỉ cần chứng minh-smt # Sunspot → chứng minh Groth16 chỉ cần xác minh-smt # Xác minh trên chuỗi Mỗi cái đều bao gồm một khách hàng TypeScript tương thích với Kit. Nhân bản, thêm cặp khóa, chạy.