gnark
Here are 20 public repositories matching this topic...
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 r…
-
Updated
Jul 28, 2024
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
-
Updated
Jun 8, 2024 - Go
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
-
Updated
Feb 26, 2023 - Go
A Noir's backend implementation using Gnark
-
Updated
Mar 8, 2024 - Go
.ptau deserializer for gnark groth16 bn254 trusted setup
-
Updated
May 27, 2024 - Go
snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup
-
Updated
Jul 24, 2024 - Go
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
-
Updated
Mar 3, 2024 - Lean
Sindri Zero-Knowledge Proof CLI
-
Updated
Aug 23, 2024 - TypeScript
A versatile and powerful framework for creating customized rollups with a variety of options. Our framework supports EVM, SVM, and CosmWasm-based rollups
-
Updated
Jul 7, 2024 - Go
Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
-
Updated
Jul 24, 2024 - Go
A tool to extract gnark circuits defined in Go to Lean for formal verification.
-
Updated
Jul 27, 2024 - Go
gnark is a fast, open-source library for zero-knowledge proof protocols written in Go.
-
Updated
Jul 10, 2024 - CSS
Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.
-
Updated
Dec 24, 2023 - Go
A tool to extract gnark circuits defined in Go to Lean for formal verification.
-
Updated
Nov 29, 2023 - Go
Improve this page
Add a description, image, and links to the gnark topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the gnark topic, visit your repo's landing page and select "manage topics."