Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "circomlib" keyword

Top 5.5% on proxy.golang.org
github.com/veridise/picus
Automated verification of uniqueness property for ZKP circuits
Latest release: about 2 months ago - 76 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/Veridise/Picus
Automated verification of uniqueness property for ZKP circuits
Latest release: 2 months ago - 76 stars on GitHub
Related Keywords
blockchain 2 circom 2 security 2 verification 2 zero-knowledge 2