Nytt modulært zk-verktøysett! ⚡ Bruk den til å generere zkps fra offchain-attestasjoner. Flyten: - Signer/bruk offchain-attestering - Generer korrektur med SP1 - Bekreft med WASM - Attestasjonsverifiseringsresultat onchain (valgfritt) Spesiell takk til @shivansheth & @whoisgautxm (zkAttestify) for å bidra med dette og til @SuccinctLabs for støtte!

Her er flyten: 1) Signer/oppgi en gyldig offfchain-attest - Strukturerte attester opprettes ved hjelp av EAS - Signert med EIP712 - Data forblir utenfor kjeden og private. - Signaturen kan verifiseres. 2) Generer ZK-bevis (SP1) - Bruk SP1 zkvm for å analysere EAS-strukturen - Validerer signaturens korrekthet og logikk (hardkodet for demo) - SP1-programmet genererer Groth16- eller Plonk-bevis - Utdata inkluderer bevisfil + offentlige innganger Repoens dob-program og dob-skript håndterer logikken. 3) Bekreft i WASM (nettleser eller node) - Last inn den kompilerte verifikatoren - Gi bevis + offentlige innspill - JS-skript kjører bevisverifisering og sjekker logikk 4) Valgfritt: Attester verifiseringsresultat på kjeden - Send zk-beviset til en soliditetsverifikatorkontrakt (groth16-verifikator) - Når du lykkes, ring EAS for å utstede en ny onchain-attest - Skjema og data kan tilpasses (isOver18 = true) - Gir deg kontroll over utløp/tilbakekalling/komponerbarhet - Ingen lenke til original offchain-attestasjon Notater - Denne flyten forutsetter at du stoler på attesteren utenfor kjeden. - Generering av groth16/plonk-bevis går sakte. Bruk Succinct Prover Network for å forbedre effektiviteten.

Denne opplæringen/demoen vil lede deg gjennom hvordan det fungerer på 15 minutter. Den bruker et enkelt eksempel på bevis på alder. Verktøysettet er modulært, så med noen få justeringer kan du bytte det ut med dine egne skjemaer / kretslogikk senere.

Besøk Github

Vil du se en video i stedet fra ZKAttestify-teamet?

Vil du tilpasse flyten? Her er hva du bør justere: - I 'dob-program/src/main.rs' – endre logikken (f.eks. 'grad == "CS"') - I 'dob-script/input.json' – endre attestasjonsdata og skjema - I 'WASM_verifier/' – bekreft eventuelle bevis med samme struktur

Dette prosjektet er en referanseimplementering. Den er modulær, åpen kildekode og klar til å gaffel. Hjelp oss med å utvide støtten for flere skjemaer, verifikatorer og brukstilfeller. Vi leter aktivt etter bidragsytere og utviklere som ønsker å ta dette repositoriet til neste nivå. Nå ut! 🫡