succinct

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!

building /eas. product leader w/ salty dev & design skills. taco lover. 

https://attest.org

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.

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

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

Explore the EIPs / ERCs mentioned in this cast:

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