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 enterpri...
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
A Noir's backend implementation using Gnark
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
.ptau deserializer for gnark groth16 bn254 trusted setup
Sindri Zero-Knowledge Proof CLI
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
A versatile and powerful framework for creating customized rollups with a variety of options. Our framework supports EVM, SVM, and CosmWasm-based rollups
A tool to extract gnark circuits defined in Go to Lean for formal verification.
EVM-compatible Cosmos Chain for scalable and interoperable DApps and smart contracts, integrating Ethereum's robust features with Cosmos' network
gnark is a fast, open-source library for zero-knowledge proof protocols written in Go.
Golang packages using gnark-crypto library to parse and verify AZTEC ignition ceremony. Example usage; build a KZG SRS for bn254.
A blockchain platform focused on secure and efficient data management. It features custom execution layers, batch processing, and a democratic validator system.
Accompanying code for technical walkthrough of verifiable credentials and zero-knowledge proving hosted on Google cloud
Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reli...
