WaveDrom generates diagrams for digital waveforms, bit fields, and simple combinational circuits

Semaphore Circom circuits to generate zero-knowledge proofs.

This module is used to test the IVC integration between mock noir protocol circuits and barretenberg.

A Vue 3 component for rendering pytket circuits.

This library package is responsible for simulating function circuits compiled to ACIR / AVM.

regex verification circuits in circom for common regexes, generated with the compiler in [zk-regex](https://github.com/zkemail/zk-regex/tree/main).

Unleash TypeScript bindings for Circom circuits

This module is used to test the IVC integration between mock noir protocol circuits and barretenberg.

A code-first DSL for describing electronic circuits

A Circom circuits library for ZK Applications

ZK artifacts for proto-pod-gpc family of general purpose circuits.

Static soundness analyzer for o1js / Mina zkApps and Noir circuits

iden3 circuits

Circuits library for matrix operations in circom

zk-SNARK circuits for MACI

Circuits library for machine learning in circom

Replay LLM plugin: short-circuits llm/stream with model chunks reconstructed from a recorded session JSONL (keyless snapshot tests)

A Circom circuits library for ZK Applications

This repository contains the circuits and libraries used to generate and verify the proofs of the "Full-Privacy" version of the Arianee protocol. The two main parts of this repository are the following:

TypeScript SDK for interacting with Keyring zero-knowledge circuits. Provides high-level APIs for proof generation, verification, and cryptographic operations.