Právě jsme dodali Solana Noir Examples — ZK obvody v Noir s on-chain ověřováním na Solaně 🧵

Noir je jazyk pro zápis obvodů s nulovou znalostí. Syntaxe podobná rezavě, PhD z kryptografie není potřeba. Sunspot (od @reilabs_io) kompiluje Noir obvody do Groth16 a generuje programy pro ověřování Solany. Noir ji píše. Sunspot ho nasadí. Solana to ověřuje.

Tři obvody, což zvyšuje složitost: → jedna — Jednoduché tvrzení (začněte zde) → verify_signer — ověřování podpisu ECDSA → smt_exclusion — Důkaz vyloučení na černé listině Sparse Merkle Tree

Každý obvod následuje stejný pracovní postup: just compile-smt # Noir → ACIR jen prokaž-smt # Sunspot → Groth16 proof just verify-smt # On-chain ověřování Každý obsahuje klienta TypeScript kompatibilního s Kit. Klonovat, přidat klíčovou dvojici, utíkej.