bryce
@bap
New modular /zk toolkit! ⚡ Use it to generate zkps from offchain attestations. The flow: - Sign/use offchain attestation - Generate proofs with /succinct SP1 - Verify with WASM - Attest verification result onchain (optional) Special thanks to @shivansheth & @whoisgautxm for contributing this!
1 reply
2 recasts
5 reactions
bryce
@bap
Here's the flow: 1) Sign/provide a valid offfchain attestation - Structured attestations is created using EAS - Signed with EIP712 - Data stays offchain and private. - Signature is verifiable. 2) Generate ZK Proof (SP1) - Use SP1 zkvm to parse the EAS structure - Validates signature correctness and logic (hardcoded for demo) - SP1 program generates Groth16 or Plonk proofs - Output includes proof file + public inputs The repo's dob-program and dob-scripts handle the logic. 3) Verify in WASM (Browser or Node) - Load the compiled verifier - Provide proof + public inputs - JS script runs proof verification and checks logic 4) Optional: Attest verification result onchain - Submit the zk proof to a solidity verifier contract (groth16 verifier) - On success, call EAS to issue a new onchain attestation - Schema and data are customizable (isOver18 = true) - Gives you control over expiration/revocation/composability - No link to original offchain attestation
1 reply
1 recast
2 reactions
bryce
@bap
This tutorial/demo will walk you through how it works in 15 mins. It uses a simple proof of age example. The toolkit is modular so with a few tweaks you can swap it out for your own schemas / circuit logic later. https://like-eyelash-bfb.notion.site/Exploring-ZKPs-using-EAS-Offchain-Attestations-1bccc8b6cc8c8088a00cd9919b61513e
1 reply
0 recast
0 reaction
bryce
@bap
GitHub Repo: https://github.com/Shivannsh/ZKAttestify-Sp1-verifier Want to customize the flow? Here’s what to tweak: - In `dob-program/src/main.rs` – change the logic (e.g., `degree == "CS"`) - In `dob-script/input.json` – change attestation data and schema - In `WASM_verifier/` – verify any proof with the same structure
1 reply
0 recast
1 reaction