Kami baru saja mengirimkan Contoh Solana Noir — Sirkuit ZK di Noir dengan verifikasi on-chain di Solana 🧵

Noir adalah bahasa untuk menulis sirkuit tanpa pengetahuan. Sintaks seperti karat, tidak diperlukan PhD kriptografi. Sunspot (pada @reilabs_io) mengkompilasi sirkuit Noir ke Groth16 dan menghasilkan program verifikator Solana. Noir menulisnya. Sunspot menyebarkannya. Solana memverifikasinya.

Tiga sirkuit, meningkatkan kompleksitas: → satu — Pernyataan sederhana (mulai di sini) → verify_signer — Verifikasi tanda tangan ECDSA → smt_exclusion — Bukti pengecualian daftar hitam Pohon Merkle yang jarang

Setiap sirkuit mengikuti alur kerja yang sama: cukup kompilasi-smt # Noir → ACIR hanya buktikan-smt # Sunspot → bukti Groth16 cukup verify-smt # Verifikasi on-chain Masing-masing menyertakan klien TypeScript yang kompatibel dengan Kit. Kloning, tambahkan keypair, jalankan.