gnark

There are 23 repositories under gnark topic.

  • 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

    Language:Go1.5k33486405
  • baseline

    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.

    57669261235

  • zksecurity/zkBank

    zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!

    Language:Go1099018

  • smsunarto/daedalus

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

    Language:Go34101

  • lambdaclass/noir_backend_using_gnark

    A Noir's backend implementation using Gnark

    Language:Go33613

  • dcbuild3r/ptau-deserializer

    .ptau deserializer for gnark groth16 bn254 trusted setup

    Language:Go253010

  • worldcoin/ptau-deserializer

    snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup

    Language:Go20106

  • Sindri-Labs/sindri-js

    Sindri Zero-Knowledge Proof CLI

    Language:TypeScript175463

  • worldcoin/semaphore-mtb-setup

    Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool

    Language:Go15107

  • fosgate29/financialcircuit

    Writing zero-knowledge circuits using gnark to expand the existing library – Focus on Financial Circuit Development and Approach

    Language:Go14400

  • reilabs/gnark-lean-demo

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

    Language:Lean14110

  • 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

    Language:Go12108

  • airchains-network/rollup-evm

    EVM-compatible Cosmos Chain for scalable and interoperable DApps and smart contracts, integrating Ethereum's robust features with Cosmos' network

    Language:Go10308

  • reilabs/gnark-lean-extractor

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

    Language:Go102162
  • doc.gnark

    Consensys/doc.gnark

    gnark is a fast, open-source library for zero-knowledge proof protocols written in Go.

    Language:CSS94913

  • airchains-network/airsettle

    A blockchain platform focused on secure and efficient data management. It features custom execution layers, batch processing, and a democratic validator system.

    Language:Go5200

  • succinctlabs/snark-bn254-verifier

    Recursive Groth16 + PlonK Verifier

    Language:Rust5317

  • Consensys/gnark-ignition-verifier

    Golang packages using gnark-crypto library to parse and verify AZTEC ignition ceremony. Example usage; build a KZG SRS for bn254.

    Language:Go4102

  • airchains-network/cosmwasm-sequencer-node

    Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.

    Language:Go1100

  • airchains-network/evm-sequencer-node

    Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.

    Language:Go1100

  • reilabs/lean-circuit-compiler

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

    Language:Go0000

  • Sindri-Labs/verifiable-credentials-codelab

    Accompanying code for technical walkthrough of verifiable credentials and zero-knowledge proving hosted on Google cloud

    Language:Go00

  • mysteryon88/gnark-example

    zkSNARK in golang for Ethereum

    Language:Go10