gnark

There are 0 repository 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

  zkpzksnarkzk-snarksgnarkr1csgolang
  Language:Go 1305
• 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.

  ethereumreactjsnodejssmart-contractssolidityzk-snarksgethgraphqldockerdocker-composegnarkzero-knowledge-proofsprotocol
  574

• zksecurity / zkBank

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

  ctfgkrgnarkzero-knowledge-proofszkzksecurity
  Language:Go 45

• smsunarto / daedalus

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

  gnarkzero-knowledge
  Language:Go 34

• lambdaclass / noir_backend_using_gnark

  A Noir's backend implementation using Gnark

  gnarksnarkszero-knowledgezk-snarksnoir-lang
  Language:Go 29

• dcbuild3r / ptau-deserializer

  .ptau deserializer for gnark groth16 bn254 trusted setup

  cryptographygnarkpowers-of-tausnarkjszk-snarks
  Language:Go 25

• fosgate29 / financialcircuit

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

  gnarkbaselineethereumsolidityzkpbondsgo
  Language:Go 13

• Sindri-Labs / sindri-js

  Sindri Zero-Knowledge Proof CLI

  circomcircuitcryptocryptographygnarkgroth16halo2noiroff-chainplonkzero-knowledgezero-knowledge-proofszk-snarkzkp
  Language:TypeScript 13

• worldcoin / ptau-deserializer

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

  cryptographygnarkgolangpowers-of-tausnarkjszero-knowledgemanaged-by-terraform
  Language:Go 12

• reilabs / gnark-lean-demo

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

  formal-verificationgnarkleanlean4zero-knowledge
  Language:Lean 11

• worldcoin / semaphore-mtb-setup

  Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool

  cryptographygnarkgolangmanaged-by-terraformmpcmulti-party-computationpowers-of-tautrusted-setupzero-knowledge
  Language:Go 10
• doc.gnark

  Consensys / doc.gnark

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

  doctoolsdocumentationgnark
  Language:CSS 8

• reilabs / gnark-lean-extractor

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

  goextractorformal-verificationgnark
  Language:Go 6

• 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.

  circuitcosmosgnarkgroth16zkzkproofbftcometbftigniteignite-cliairchains
  Language:Go 5

• airchains-network / rollup-evm

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

  evmevm-blockchaingnarkrollupzkzk-rollupzk-snarkszkpzkproof
  Language:Go 5

• 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

  cosmoscosmwasmcosmwasm-frameworkdata-availabilitydata-availability-samplingethereumevmevm-blockchaingnarksolanasolana-vmsvmzkzk-snarkszkproof
  Language:Go 4

• 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.

  aztecbn254gnarkgolangkzgsrs
  Language:Go 3

• 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.

  cosmosdata-availabilitygnarkzkpzkpro
  Language:Go 1

• 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.

  evmgnarkrollupsequencersnarkzk-proofs
  Language:Go 1

• reilabs / lean-circuit-compiler

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

  formal-verificationgnarkgoarithmetic-circuit
  Language:Go 0