# Circom Projects at AI Tinkerers

> Canonical HTML: https://aitinkerers.org/technologies/circom
> Markdown URL: https://aitinkerers.org/technologies/circom.md
> Technology record last updated: 2026-03-04T04:23:37Z
> Generated: 2026-09-22T02:44:30Z

Circom is a domain-specific language and compiler designed to build arithmetic circuits for Zero-Knowledge Proofs.

Circom streamlines the creation of complex ZK circuits by abstracting low-level R1CS constraints into a modular, hardware-description style syntax. Developers use it to define signals and components that the compiler translates into efficient rank-1 constraint systems for provers like SnarkJS. It is the industry standard for production-grade applications: Tornado Cash and Semaphore both rely on Circom to manage private transactions and identity verification. By handling the heavy lifting of circuit optimization, it lets engineers focus on the logic of zero-knowledge protocols (like Merkle tree inclusion or EdDSA signatures) rather than manual constraint engineering.

- Official technology site: https://docs.circom.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
- [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
- [ZoKrates](https://aitinkerers.org/technologies/zokrates) ([Markdown](https://aitinkerers.org/technologies/zokrates.md)) — 1 public demo