Ecosyste.ms: Packages

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

proxy.golang.org "arithmetic-circuit" keyword

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: 6 months ago - 0 stars on GitHub
Top 7.2% on proxy.golang.org
github.com/mottla/go-r1cs-compiler v0.0.0-20210719062459-031a8c5ac1b7
A compiler to turn GO code into a zkSNARK
1 version - Latest release: almost 3 years ago - 11 stars on GitHub
Top 7.2% on proxy.golang.org
github.com/mottla/go-R1CS-Compiler v0.0.0-20210719062459-031a8c5ac1b7
A compiler to turn GO code into a zkSNARK
1 version - Latest release: almost 3 years ago - 11 stars on GitHub
Related Keywords
constraint 2 gates 2 golang 2 groth16 2 language 2 r1cs 2 snark 2 zk-snarks 2 formal-verification 1 gnark 1 go 1