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 namespaces: github.com/reilabs

View the packages within the github.com/reilabs namespace on the proxy.golang.org package registry, including their maintainers and dependencies.

Top 6.2% on proxy.golang.org
github.com/reilabs/gnark-nimue v0.0.5
Recursive verification of Nimue transcripts
6 versions - Latest release: 5 months ago - 0 stars on GitHub
github.com/reilabs/lean-circuit-compiler v0.0.0-20231121161717-dbb1e041674f
A tool to extract gnark circuits defined in Go to Lean for formal verification.
1 version - Latest release: over 1 year ago - 0 stars on GitHub
Top 6.1% on proxy.golang.org
github.com/reilabs/go-ark-serialize
Latest release: 24 days ago
Top 6.1% on proxy.golang.org
github.com/reilabs/gnark-skyscraper
Skyscraper hash implementation in gnark
Latest release: 30 days ago - 0 stars on GitHub
Top 9.1% on proxy.golang.org
github.com/reilabs/gnark-lean-demo
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
Latest release: about 2 months ago - 11 stars on GitHub
github.com/reilabs/gnark-lean-extractor v1.1.0
A tool to extract gnark circuits defined in Go to Lean for formal verification.
2 versions - Latest release: over 1 year ago - 2 dependent repositories - 0 stars on GitHub