proxy.golang.org : github.com/reilabs/gnark-lean-extractor : v1.0.0
A tool to extract gnark circuits defined in Go to Lean for formal verification.
Registry -
Documentation -
Download -
JSON
purl: pkg:golang/github.com/reilabs/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- github.com/blang/semver/v4 v4.0.0
- github.com/consensys/bavard v0.1.13
- github.com/consensys/gnark v0.8.0
- github.com/consensys/gnark-crypto v0.9.1
- github.com/davecgh/go-spew v1.1.1
- github.com/kr/text v0.2.0
- github.com/mattn/go-colorable v0.1.12
- github.com/mattn/go-isatty v0.0.14
- github.com/mmcloughlin/addchain v0.4.0
- github.com/pmezard/go-difflib v1.0.0
- github.com/rogpeppe/go-internal v1.10.0
- github.com/rs/zerolog v1.29.0
- github.com/stretchr/testify v1.8.1
- golang.org/x/sys v0.5.0
- gopkg.in/yaml.v3 v3.0.1
- rsc.io/tmplfunc v0.0.3