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/Picus

Automated verification of uniqueness property for ZKP circuits

Ecosystem
proxy.golang.org
Versions
0
Links
Registry proxy.golang.org
Source Repository
Docs Documentation
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:golang/github.com/%21veridise/%21picus
spec
License MIT
Namespace github.com/Veridise
Last Synced 25 days ago
Keywords
blockchain circom circomlib security verification zero-knowledge
Repository
Stars 76 on GitHub
Forks 7 on GitHub
repos.ecosyste.ms
Rankings on proxy.golang.org
Overall Top 5.5%