Nieuwe modulaire zk toolkit! ⚡ Gebruik het om zkps te genereren vanuit offchain attestaties. De flow: - Onderteken/gebruikt offchain attestatie - Genereer bewijzen met SP1 - Verifieer met WASM - Attesteer verificatieresultaat onchain (optioneel) Speciale dank aan @shivansheth & @whoisgautxm (zkAttestify) voor hun bijdrage en aan @SuccinctLabs voor de ondersteuning!

Hier is de flow: 1) Onderteken/lever een geldige offchain attestatie - Gestructureerde attestaties worden gemaakt met EAS - Ondertekend met EIP712 - Gegevens blijven offchain en privé. - Handtekening is verifieerbaar. 2) Genereer ZK Bewijs (SP1) - Gebruik SP1 zkvm om de EAS-structuur te parseren - Valideert de correctheid van de handtekening en logica (hardcoded voor demo) - SP1-programma genereert Groth16 of Plonk bewijzen - Output omvat bewijsbestand + publieke invoer De dob-program en dob-scripts in de repo behandelen de logica. 3) Verifieer in WASM (Browser of Node) - Laad de gecompileerde verifier - Lever bewijs + publieke invoer - JS-script voert bewijsverificatie uit en controleert de logica 4) Optioneel: Attestatie verificatieresultaat onchain - Dien het zk bewijs in bij een solidity verifier contract (groth16 verifier) - Bij succes, roep EAS aan om een nieuwe onchain attestatie uit te geven - Schema en gegevens zijn aanpasbaar (isOver18 = true) - Geeft je controle over vervaldatum/intrekking/composability - Geen link naar de originele offchain attestatie Opmerkingen - deze flow gaat ervan uit dat je de attester van de offchain attestatie vertrouwt. - het genereren van groth16/plonk bewijzen is traag. Gebruik het Succinct Prover Network voor verbeterde efficiëntie.

Deze tutorial/demo laat je in 15 minuten zien hoe het werkt. Het gebruikt een eenvoudig voorbeeld van leeftijdsverificatie. De toolkit is modulair, dus met een paar aanpassingen kun je het later vervangen door je eigen schema's / circuitlogica.

Bezoek de Github

Wil je in plaats daarvan een video bekijken van het ZKAttestify-team?

Wil je de flow aanpassen? Hier is wat je moet wijzigen: - In `dob-program/src/main.rs` – wijzig de logica (bijv. `degree == "CS"`) - In `dob-script/input.json` – wijzig de attestatiegegevens en het schema - In `WASM_verifier/` – verifieer elk bewijs met dezelfde structuur

Dit project is een referentie-implementatie. Het is modulair, open source en klaar om te forked. Help ons om ondersteuning voor meer schema's, verifiers en gebruiksgevallen uit te breiden. We zijn actief op zoek naar bijdragers en bouwers die deze repo naar een hoger niveau willen tillen. Neem contact op! 🫡