Finds all elementary circuits of a directed graph using Johnson's algorithm (1975)
Make electronics using Typescript, React, and AI tools.
Javascript library to work with circomlib
The sequencer is a module responsible for creating and publishing new rollup blocks. This involves fetching txs from the P2P pool, ordering them, executing any public functions, running them through the rollup circuits, assembling the L2 block, and postin
zk-SNARK circuits for MACI
A comprehensive library of general-purpose zero-knowledge circuits.
regex verification circuits in circom for common regexes, generated with the compiler in [zk-regex](https://github.com/zkemail/zk-regex/tree/main).
The `circuits` package exports the circom circuits needed for building on ZK Email.
## Circom Circuits ### Main Circuits
Basic circuits library for Circom
Javascript types and helper functions for the aztec circuits.
SDK to work with Polygon ID
zk-SNARK circuits for MACI
Javascript library to work with circomlib
No description provided.
The `circuits` package exports the circom circuits needed for building on ZK Email.
Compact Runtime
Javascript library to work with circomlib
The `circuits` package exports the circom circuits needed for building on jwt-tx-builder.
Typescript SDK for the Privacy Pool protocol
Typescript-based execution environment for smart contracts compiled with the Compact language
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:
This module is used to test the IVC integration between mock noir protocol circuits and barretenberg.
Client library for circuit related functions which are used in UniRep protocol.
Zero-knowledge circuits for the ZKCG protocol
Shared types, errors, and utilities for the ZKCG protocol