Nová modulární sada nástrojů zk! ⚡ Použijte jej ke generování zkps z offchain atestací. Tok: - Podepisování/používání ověření offchain - Generování důkazů pomocí SP1 - Ověření pomocí WASM - Výsledek ověření v řetězci (volitelné) Zvláštní poděkování patří @shivansheth & @whoisgautxm (zkAttestify) za přispění a @SuccinctLabs za podporu!

Zde je tok: 1) Podepište / poskytněte platné osvědčení o atestaci offfchain - Strukturovaná atestace je vytvářena pomocí EAS - Podepsáno s EIP712 - Data zůstávají mimo řetězec a soukromá. - Podpis je ověřitelný. 2) Generování důkazu ZK (SP1) - Použití SP1 zkvm k analýze struktury EAS - Ověřuje správnost a logiku podpisu (napevno zakódované pro demo) - Program SP1 generuje důkazy Groth16 nebo Plonk - Výstup obsahuje soubor náhledu + veřejné vstupy Dob-program a dob-scripty repozitáře se starají o logiku. 3) Ověřte ve WASM (prohlížeč nebo uzel) - Načtěte zkompilovaný ověřovač - Poskytněte důkaz + veřejné vstupy - JS skript spustí ověření důkazu a zkontroluje logiku 4) Volitelné: Potvrďte výsledek ověření v řetězci - Odeslání důkazu zk ke smlouvě o ověření pevnosti (groth16 verifikátor) - V případě úspěchu zavolejte EAS a vydejte nové osvědčení onchain - Schéma a data jsou přizpůsobitelné (isOver18 = true) - Poskytuje vám kontrolu nad vypršením platnosti/zrušením/možností sestavení - Žádná vazba na původní offchain atestaci Poznámky - Tento tok předpokládá, že důvěřujete attesteru offchain atestace. - generování důkazů groth16/plonk je pomalé. Pro zvýšení efektivity použijte síť Succinct Prover.

Tento tutoriál/demo vás provede tím, jak to funguje, za 15 minut. Používá jednoduchý příklad důkazu věku. Sada nástrojů je modulární, takže ji můžete po několika úpravách později vyměnit za vlastní schémata / logiku obvodu.

Navštivte Github

Chcete se místo toho podívat na video od týmu ZKAttestify?

Chcete přizpůsobit tok? Zde je to, co můžete upravit: - V 'dob-program/src/main.rs' – změňte logiku (např. 'degree == "CS"') - V 'dob-script/input.json' – změna přihlašovacích údajů a schématu - V 'WASM_verifier/' – ověřte jakýkoli důkaz se stejnou strukturou

Tento projekt je referenční implementací. Je modulární, open source a připravený k rozvětvení. Pomozte nám rozšířit podporu pro další schémata, ověřovatele a případy použití. Aktivně hledáme přispěvatele a tvůrce, kteří chtějí toto repozitář posunout na další úroveň. Dosah! 🫡