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
zk-SNARK circuits for MACI
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
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).
## Circom Circuits ### Main Circuits
Basic circuits library for Circom
The `circuits` package exports the circom circuits needed for building on ZK Email.
Javascript types and helper functions for the aztec circuits.
zk-SNARK circuits for MACI
SDK to work with Polygon ID
Javascript library to work with circomlib
The `circuits` package exports the circom circuits needed for building on ZK Email.
No description provided.
The `circuits` package exports the circom circuits needed for building on jwt-tx-builder.
Compact Runtime
Javascript library to work with circomlib
Typescript SDK for the Privacy Pool protocol
Typescript-based execution environment for smart contracts compiled with the Compact language
This module is used to test the IVC integration between mock noir protocol circuits and barretenberg.
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:
Client library for circuit related functions which are used in UniRep protocol.