Data

Tools

Indexes

Applications

Experiments

Packages

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

github.com/Veridise

Top 7.4% on proxy.golang.org
github.com/Veridise/gnark v0.10.0
Package gnark provides fast Zero Knowledge Proofs (ZKP) systems and a high level APIs to design Z...
29 versions - Latest release: almost 2 years ago - 1 stars on GitHub
Top 9.3% on proxy.golang.org
github.com/Veridise/picus_gnark
Utilities to extract Picus constraints from gnark
Latest release: 3 months ago - 0 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