Właśnie wysłaliśmy przykłady Solana Noir — ZK obwody w Noir z weryfikacją on-chain na Solanie 🧵

Noir to język do pisania obwodów zero-knowledge. Składnia podobna do Rust, nie jest wymagany doktorat z kryptografii. Sunspot (od @reilabs_io) kompiluje obwody Noir do Groth16 i generuje programy weryfikujące dla Solany. Noir to pisze. Sunspot to wdraża. Solana to weryfikuje.

Trzy obwody, rosnąca złożoność: → jeden — Prosta asercja (zacznij tutaj) → verify_signer — Weryfikacja podpisu ECDSA → smt_exclusion — Dowód wykluczenia z czarnej listy Sparse Merkle Tree

Każdy obwód podąża tym samym przepływem pracy: po prostu compile-smt # Noir → ACIR po prostu prove-smt # Sunspot → dowód Groth16 po prostu verify-smt # Weryfikacja on-chain Każdy z nich zawiera klienta TypeScript kompatybilnego z Kit. Sklonuj, dodaj parę kluczy, uruchom.