Lähetimme juuri Solana Noir -esimerkit — ZK-piirit Noirissa, jossa on ketjun varmennus Solanalla 🧵

Noir on kieli nollatiedon piirien kirjoittamiseen. Ruosteen kaltainen syntaksi, ei vaadita kryptografian tohtorin tutkintoa. Sunspot (by @reilabs_io) kääntää Noir-piirejä Groth16:een ja luo Solana-varmennusohjelmia. Noir kirjoittaa sen. Sunspot ottaa sen käyttöön. Solana varmistaa sen.

Kolme piiriä, lisää monimutkaisuutta: → yksi — Yksinkertainen väite (aloita tästä) → verify_signer — ECDSA:n allekirjoituksen tarkistus → smt_exclusion — Harva Merkle Tree -mustan listan poissulkemistodiste

Jokainen piiri noudattaa samaa työnkulkua: vain compile-smt # Noir → ACIR todista-smt # Sunspot → Groth16 proof vain verify-smt # Ketjun sisäinen vahvistus Jokaisessa on Kit-yhteensopiva TypeScript-asiakasohjelma. Klooni, lisää avainpari, juokse.