4 results found Sort:

20
158
gpl-3.0
4
Circom Circuits Library for Machine Learning
Created 2022-05-11
50 commits to master branch, last one 5 months ago
Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure code quality and security.
Created 2022-07-13
107 commits to main branch, last one about a year ago
10
36
mit
5
Automated verification of uniqueness property for ZKP circuits
Created 2022-04-06
128 commits to main branch, last one about a month ago
Circuits library for matrix operations in circom
Created 2022-03-16
7 commits to master branch, last one 2 years ago