TaceoLabs's repositories
circom
zkSnark circuit compiler
Language:WebAssemblyGPL-3.0000
crypto3
Modern Cryptography Suite in C++17
Language:CMakeMIT000
ff
Traits and utilities for working with finite fields
Language:RustApache-2.0000
Language:RustApache-2.0000
Language:Roff000
awesome-noir
A curated list of awesome things related to learning and programming in Noir.
CC0-1.0000
noir-crypto
A collection of cryptographic building blocks, written in the Noir programming language
MIT000
proof-producer
Proof producer for the =nil; Proof Market https://proof.market.nil.foundation/
Language:C++000
Language:C000
zkllvm
Zero-Knowledge Proof Systems Circuit Compiler
Language:C++000
Language:C++MIT000
zkllvm-blueprint
Circuit components definition library for zkLLVM circuit compiler
Language:C++MIT000
NOASSERTION000