Ми щойно випустили Solana Noir Examples — ZK-схеми в Noir з верифікацією в ланцюгу на Solana 🧵

Нуар — це мова для написання схем з нульовим розгадуванням. Синтаксис, схожий на іржу, без потрібності PhD з криптографії. Sunspot (від @reilabs_io) компілює схеми Noir у Groth16 і генерує програми перевірки Solana. Це пише Нуар. Sunspot розгортає його. Солана це перевіряє.

Три кола, що ускладнюють систему: → один — Просте твердження (почніть тут) → verify_signer — Перевірка підпису ECDSA → smt_exclusion — Доказ виключення з чорного списку Sparse Merkle Tree

Кожна схема працює за однаковим робочим процесом: просто compile-smt # Noir → ACIR просто доведи-смт # Sunspot → Groth16 proof просто verify-smt # Перевірка на ланцюзі Кожен має сумісний з Kit клієнт TypeScript. Клон, додай пару клавіш, біжи.