Projects in Awesome Lists tagged with gnark

https://github.com/Consensys/gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

gnark golang plonk r1cs zk-rollup zk-snarks zkevm zkp zksnark

Last synced: 17 Apr 2025

https://github.com/consensys/gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

gnark golang plonk r1cs zk-rollup zk-snarks zkevm zkp zksnark

Last synced: 29 Apr 2025

https://github.com/ethereum-oasis-op/baseline

The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and reference implementations.

docker docker-compose ethereum geth gnark graphql nodejs protocol reactjs smart-contracts solidity zero-knowledge-proofs zk-snarks

Last synced: 25 Nov 2024

https://github.com/lambdaclass/noir_backend_using_gnark

A Noir's backend implementation using Gnark

gnark noir-lang snarks zero-knowledge zk-snarks

Last synced: 09 Apr 2025

https://github.com/smsunarto/daedalus

Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.

gnark zero-knowledge

Last synced: 30 Apr 2025

https://github.com/dcbuild3r/ptau-deserializer

.ptau deserializer for gnark groth16 bn254 trusted setup

cryptography gnark powers-of-tau snarkjs zk-snarks

Last synced: 25 Mar 2025

https://github.com/reilabs/gnark-lean-demo

Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.

formal-verification gnark lean lean4 zero-knowledge

Last synced: 03 Mar 2025

https://github.com/reilabs/gnark-lean-extractor

A tool to extract gnark circuits defined in Go to Lean for formal verification.

extractor formal-verification gnark go

Last synced: 10 Apr 2025

https://github.com/airchains-network/airchains

A versatile and powerful framework for creating customized rollups with a variety of options. Our framework supports EVM, SVM, and CosmWasm-based rollups

cosmos cosmwasm cosmwasm-framework data-availability data-availability-sampling ethereum evm evm-blockchain gnark solana solana-vm svm zk zk-snarks zkproof