# ZoKrates Projects at AI Tinkerers

> Canonical HTML: https://aitinkerers.org/technologies/zokrates
> Markdown URL: https://aitinkerers.org/technologies/zokrates.md
> Technology record last updated: 2026-03-04T04:23:39Z
> Generated: 2026-09-22T21:38:55Z

A comprehensive toolbox for zk-SNARKs on Ethereum that simplifies circuit construction through a high-level domain-specific language.

ZoKrates bridges the gap between abstract zero-knowledge proofs and practical blockchain implementation. It provides a Python-like DSL for writing circuits, a compiler to generate constraints (R1CS), and tools to export Solidity verifier contracts. Developers use it to prove complex computations (like private token transfers or Merkle tree inclusions) without revealing underlying data. By handling the heavy lifting of cryptographic primitives and proving schemes (such as Groth16 or GM17), ZoKrates allows teams to integrate privacy features into EVM-compatible dApps with minimal overhead.

- Official technology site: https://zokrates.github.io/
- Public AI Tinkerers demos and talks: 1
- Result page: 1 of 1

## Recent Public Talks and Demos

### [Generating zk-Proofs from Browser Interactions Using Claude Vision](https://nyc.aitinkerers.org/talks/rsvp_Nm7EH_v3HOE)

Learn how AI vision models generate zero-knowledge proofs (zk-proofs) from browser interactions without exposing sensitive data. We’ll demonstrate how our system observes user actions within a secure webview to create zk-proofs for credential verification and compliance monitoring. We’ll also explore the challenges we faced in building this technology, from ensuring user privacy to overcoming technical hurdles. Discover how advancements in AI and cryptography enable secure, private verification.

- Event context: Building with Claude | An evening with Anthropic — 2024-10-21 — New York City
- Public talk page: https://nyc.aitinkerers.org/talks/rsvp_Nm7EH_v3HOE

## Related Technologies

- [BERT](https://aitinkerers.org/technologies/bert) ([Markdown](https://aitinkerers.org/technologies/bert.md)) — 179 public demos
- [Bulletproofs](https://aitinkerers.org/technologies/bulletproofs) ([Markdown](https://aitinkerers.org/technologies/bulletproofs.md)) — 1 public demo
- [Circom](https://aitinkerers.org/technologies/circom) ([Markdown](https://aitinkerers.org/technologies/circom.md)) — 1 public demo
- [Claude Vision](https://aitinkerers.org/technologies/claude-vision) ([Markdown](https://aitinkerers.org/technologies/claude-vision.md)) — 1 public demo
- [Cryptography](https://aitinkerers.org/technologies/cryptography) ([Markdown](https://aitinkerers.org/technologies/cryptography.md)) — 1 public demo
- [GPT-3](https://aitinkerers.org/technologies/gpt-3) ([Markdown](https://aitinkerers.org/technologies/gpt-3.md)) — 191 public demos
- [GPT-4](https://aitinkerers.org/technologies/gpt-4) ([Markdown](https://aitinkerers.org/technologies/gpt-4.md)) — 529 public demos
- [Groth16](https://aitinkerers.org/technologies/groth16) ([Markdown](https://aitinkerers.org/technologies/groth16.md)) — 1 public demo
- [Keras](https://aitinkerers.org/technologies/keras) ([Markdown](https://aitinkerers.org/technologies/keras.md)) — 74 public demos
- [libsnark](https://aitinkerers.org/technologies/libsnark) ([Markdown](https://aitinkerers.org/technologies/libsnark.md)) — 1 public demo
- [ONNX](https://aitinkerers.org/technologies/onnx) ([Markdown](https://aitinkerers.org/technologies/onnx.md)) — 83 public demos
- [PLONK](https://aitinkerers.org/technologies/plonk) ([Markdown](https://aitinkerers.org/technologies/plonk.md)) — 1 public demo
- [PyTorch](https://aitinkerers.org/technologies/pytorch) ([Markdown](https://aitinkerers.org/technologies/pytorch.md)) — 273 public demos
- [scikit-learn](https://aitinkerers.org/technologies/scikit-learn) ([Markdown](https://aitinkerers.org/technologies/scikit-learn.md)) — 84 public demos
- [TensorFlow](https://aitinkerers.org/technologies/tensorflow) ([Markdown](https://aitinkerers.org/technologies/tensorflow.md)) — 90 public demos
- [WebView](https://aitinkerers.org/technologies/webview) ([Markdown](https://aitinkerers.org/technologies/webview.md)) — 1 public demo
- [zk-SNARKs](https://aitinkerers.org/technologies/zk-snarks) ([Markdown](https://aitinkerers.org/technologies/zk-snarks.md)) — 1 public demo
- [zk-STARKs](https://aitinkerers.org/technologies/zk-starks) ([Markdown](https://aitinkerers.org/technologies/zk-starks.md)) — 1 public demo