Ecosyste.ms: Packages

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

proxy.golang.org "gnark" keyword

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 1 month ago - 11 stars on GitHub
Top 9.8% on proxy.golang.org
github.com/smsunarto/daedalus/pkg/prover v0.0.0-20230226234731-8013fef52f81
Daedalus is a cloud-based ZK proving infrastructure toolkit designed for easy prover deployments ...
1 version - Latest release: about 1 year ago - 5 stars on GitHub
github.com/dcbuild3r/ptau-deserializer v0.1.0
.ptau deserializer for gnark groth16 bn254 trusted setup
2 versions - Latest release: 11 months ago - 20 stars on GitHub
Top 9.1% on proxy.golang.org
github.com/airchains-network/rollup-evm v0.0.1-beta
EVM-compatible Cosmos Chain for scalable and interoperable DApps and smart contracts, integrating...
1 version - Latest release: 5 months ago - 3 stars on GitHub
github.com/consensys/gnark-ignition-verifier v0.0.0-20230527014722-10693546ab33
Golang packages using gnark-crypto library to parse and verify AZTEC ignition ceremony. Example u...
1 version - Latest release: 12 months ago - 3 dependent packages - 1 stars on GitHub
Top 1.4% on proxy.golang.org
github.com/consensys/gnark v0.9.1
Package gnark provides fast Zero Knowledge Proofs (ZKP) systems and a high level APIs to design Z...
31 versions - Latest release: 7 months ago - 104 dependent packages - 78 dependent repositories - 745 stars on GitHub
Top 4.8% on proxy.golang.org
github.com/ConsenSys/gnark v0.10.0
Package gnark provides fast Zero Knowledge Proofs (ZKP) systems and a high level APIs to design Z...
30 versions - Latest release: 28 days ago - 745 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/consenSys/gnark v0.10.0
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is ...
30 versions - Latest release: 28 days ago - 755 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/Consensys/gnark v0.10.0
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is ...
30 versions - Latest release: 28 days ago - 755 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/consensYs/gnark v0.10.0
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is ...
30 versions - Latest release: 28 days ago - 745 stars on GitHub
github.com/worldcoin/semaphore-mtb-setup v0.1.2
Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
2 versions - Latest release: 11 months ago - 1 dependent package - 3 stars on GitHub
github.com/worldcoin/ptau-deserializer v0.1.4
snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trust...
5 versions - Latest release: 11 months ago - 1 dependent package - 4 stars on GitHub
github.com/reilabs/gnark-lean-extractor/v2 v2.2.0
A tool to extract gnark circuits defined in Go to Lean for formal verification.
3 versions - Latest release: about 2 months ago - 1 dependent repositories - 0 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: 9 months ago - 2 dependent repositories - 0 stars on GitHub
Top 9.3% on proxy.golang.org
github.com/smsunarto/daedalus/pkg/common
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
Latest release: 18 days ago - 33 stars on GitHub
Top 8.0% on proxy.golang.org
github.com/reilabs/gnark-lean-extractor/v3
A tool to extract gnark circuits defined in Go to Lean for formal verification.
Latest release: 18 days ago - 4 stars on GitHub
Top 9.4% on proxy.golang.org
github.com/smsunarto/daedalus/pkg/daedalus-cli
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
Latest release: 19 days ago - 33 stars on GitHub
Top 9.4% on proxy.golang.org
github.com/airchains-network/cosmwasm-sequencer-node v0.0.1-beta
Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamle...
1 version - Latest release: 5 months ago - 1 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: 6 months ago - 0 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/airchains-network/evm-sequencer-node v0.0.1-beta
Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamle...
1 version - Latest release: 5 months ago - 1 stars on GitHub
Top 9.7% on proxy.golang.org
github.com/smsunarto/daedalus/example v0.0.0-20230226234731-8013fef52f81
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
1 version - Latest release: about 1 year ago - 33 stars on GitHub
github.com/aakash4dev/gnark removed
Package gnark provides fast Zero Knowledge Proofs (ZKP) systems and a high level APIs to design Z...
Latest release: about 1 month ago - 1,173 stars on GitHub
Top 5.2% on proxy.golang.org
github.com/HSG88/gnark-setup-fork removed
Package gnark provides fast Zero Knowledge Proofs (ZKP) systems and a high level APIs to design Z...
Latest release: about 1 month ago - 755 stars on GitHub
Top 4.8% on proxy.golang.org
github.com/philsippl/gnark-playground removed
Package gnark provides fast Zero Knowledge Proofs (ZKP) systems and a high level APIs to design Z...
Latest release: about 1 month ago - 755 stars on GitHub
Related Keywords
zkp 10 zk-snarks 10 zksnark 8 r1cs 8 zero-knowledge 7 formal-verification 5 go 4 golang 4 powers-of-tau 3 cryptography 3 extractor 3 evm 2 rollup 2 snarkjs 2 zk-proofs 1 snark 1 sequencer 1 arithmetic-circuit 1 zkpro 1 data-availability 1 cosmos 1 lean 1 trusted-setup 1 multi-party-computation 1 mpc 1 lean4 1 srs 1 kzg 1 bn254 1 aztec 1 zkproof 1 zk-rollup 1 zk 1 evm-blockchain 1