# zk-SNARKs Projects at AI Tinkerers

> Canonical HTML: https://aitinkerers.org/technologies/zk-snarks
> Markdown URL: https://aitinkerers.org/technologies/zk-snarks.md
> Technology record last updated: 2026-03-04T04:23:26Z
> Generated: 2026-09-21T10:51:18Z

A cryptographic proof system enabling one party to prove a statement's truth to another without revealing any underlying data beyond the statement's validity.

Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs) utilize advanced elliptic curve cryptography to compress complex computations into tiny, 288-byte proofs. These proofs allow protocols like Zcash and Ethereum Layer 2s (such as zkSync) to verify transactions in milliseconds while keeping sensitive inputs (like account balances or private keys) entirely off-chain. By decoupling the verification process from the data itself, zk-SNARKs provide the mathematical backbone for private, scalable decentralized systems.

- Official technology site: https://z.cash/learn/what-are-zk-snarks/
- 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-STARKs](https://aitinkerers.org/technologies/zk-starks) ([Markdown](https://aitinkerers.org/technologies/zk-starks.md)) — 1 public demo
- [ZoKrates](https://aitinkerers.org/technologies/zokrates) ([Markdown](https://aitinkerers.org/technologies/zokrates.md)) — 1 public demo