GitHub topics: gnark

Repositories

Sindri-Labs/sindri-js

Sindri Zero-Knowledge Proof CLI

Language: TypeScript - Size: 5.07 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 17 - Forks: 4

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: Go - Size: 30.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,547 - Forks: 437

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.

Size: 481 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 580 - Forks: 237

worldcoin/ptau-deserializer Fork of dcbuild3r/ptau-deserializer

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

Language: Go - Size: 10.3 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 23 - Forks: 7

worldcoin/semaphore-mtb-setup Fork of bnb-chain/zkbnb-setup

Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool

Language: Go - Size: 3.38 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 7

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: Go - Size: 22.5 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 5 - Forks: 2

Consensys/doc.gnark

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

Language: CSS - Size: 3.77 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 10 - Forks: 13

dcbuild3r/ptau-deserializer

.ptau deserializer for gnark groth16 bn254 trusted setup

Language: Go - Size: 10.3 MB - Last synced at: about 20 hours ago - Pushed at: about 2 months ago - Stars: 25 - Forks: 11

smsunarto/daedalus

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

Language: Go - Size: 16.3 MB - Last synced at: about 18 hours ago - Pushed at: about 2 years ago - Stars: 33 - Forks: 1

Sindri-Labs/verifiable-credentials-codelab

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

Language: Go - Size: 148 KB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 2

lambdaclass/noir_backend_using_gnark

A Noir's backend implementation using Gnark

Language: Go - Size: 278 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 35 - Forks: 3

reilabs/gnark-lean-extractor

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

Language: Go - Size: 132 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 12 - Forks: 2

raadhshenshahhaseeb/keyless

[WIP] Encode - Explore Expander Bootcamp - Keyless Hackathon

Language: Go - Size: 245 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

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: Go - Size: 5.29 MB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 14 - Forks: 8

succinctlabs/snark-bn254-verifier 📦

Recursive Groth16 + PlonK Verifier

Language: Rust - Size: 1.14 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 7

mysteryon88/gnark-example

zkSNARK in golang for Ethereum

Language: Go - Size: 35.2 KB - Last synced at: 9 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

reilabs/gnark-lean-demo

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

Language: Lean - Size: 111 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 0

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: Go - Size: 19.8 MB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 3

zksecurity/zkBank

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

Language: Go - Size: 569 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 39 - Forks: 5

fosgate29/financialcircuit

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

Language: Go - Size: 28.7 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 0

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: Go - Size: 333 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

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: Go - Size: 881 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

airchains-network/evm-sequencer-node

Language: Go - Size: 887 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

reilabs/lean-circuit-compiler