Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
-
Updated
Feb 26, 2023 - Go
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
.ptau deserializer for gnark groth16 bn254 trusted setup
A tool to extract gnark circuits defined in Go to Lean for formal verification.
Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.
A versatile and powerful framework for creating customized rollups with a variety of options. Our framework supports EVM, SVM, and CosmWasm-based rollups
A Noir's backend implementation using Gnark
Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
A tool to extract gnark circuits defined in Go to Lean for formal verification.
snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup
Add a description, image, and links to the gnark topic page so that developers can more easily learn about it.
To associate your repository with the gnark topic, visit your repo's landing page and select "manage topics."