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
bryce
@bap
Demo Video: https://drive.google.com/file/d/1cLuFtvNO_HyqExlhFMQcgCQ625UD0-Zp/view
1 reply
0 recast
1 reaction
bryce
@bap
This project is a reference implementation. It's modular, open source, and ready to fork. Help us extend support for more schemas, verifiers, and use cases. We're actively looking for contributors and builders who want to take this repo to the next level. Reach out! 🫡
0 reply
0 recast
1 reaction