# libsnark Projects at AI Tinkerers

> Canonical HTML: https://aitinkerers.org/technologies/libsnark
> Markdown URL: https://aitinkerers.org/technologies/libsnark.md
> Technology record last updated: 2026-03-04T04:23:41Z
> Generated: 2026-09-21T13:41:51Z

A high-performance C++ library for developing zk-SNARKs, the foundational zero-knowledge proof systems for privacy-preserving applications.

Engineered by the SCIPR Lab team, libsnark serves as a premier implementation of Succinct Non-interactive Arguments of Knowledge (zk-SNARKs). It provides the essential building blocks for developers to construct verifiable computations, supporting key proof systems like Groth16 and BCTV14. The library includes comprehensive gadgets for Rank-1 Constraint Systems (R1CS), enabling the creation of complex circuits used in privacy-centric protocols like Zcash. By leveraging efficient elliptic curve arithmetic and preprocessing techniques, libsnark allows a prover to demonstrate the validity of a statement without revealing underlying data, maintaining sub-linear verification times even for large-scale computations.

- Official technology site: https://github.com/scipr-lab/libsnark
- 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
- [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