proxy.golang.org : github.com/reilabs/gnark-lean-extractor/v2 : v2.5.0-0.12.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/gnark-lean-extractor/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- github.com/bits-and-blooms/bitset v1.20.0
- github.com/blang/semver/v4 v4.0.0
- github.com/consensys/bavard v0.1.29
- github.com/consensys/gnark v0.12.0
- github.com/consensys/gnark-crypto v0.17.0
- github.com/davecgh/go-spew v1.1.1
- github.com/fxamacker/cbor/v2 v2.7.0
- github.com/google/pprof v0.0.0-20240727154555-813a5fbdbec8
- github.com/kr/text v0.2.0
- github.com/mattn/go-colorable v0.1.13
- github.com/mattn/go-isatty v0.0.20
- github.com/mitchellh/copystructure v1.2.0
- github.com/mitchellh/reflectwalk v1.0.2
- 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/ronanh/intcomp v1.1.0
- github.com/rs/zerolog v1.33.0
- github.com/stretchr/testify v1.10.0
- github.com/x448/float16 v0.8.4
- golang.org/x/crypto v0.33.0
- golang.org/x/exp v0.0.0-20240823005443-9b4947da3948
- golang.org/x/sync v0.11.0
- golang.org/x/sys v0.30.0
- gopkg.in/yaml.v3 v3.0.1
- rsc.io/tmplfunc v0.0.3