Sindri Zero-Knowledge Proof CLI
AegisSovereignAI: The Cross-Ecosystem Trust Layer for the Distributed Enterprise. Verifiable Identity, Hardware-Rooted Integrity, and Sovereign AI Governance - from Silicon to Prompt. Unifying AI, Cloud-Native, and Decentralized architectures.
This example uses the libsnark library to define an R1CS (Rank-1 Constraint System) that represents a simple circuit, where the output is the product of two input values. It then generates a proof for this circuit using the ppzkSNARK proof system provided by libsnark, and verifies the proof using the same library.
zk-proof application on Mina protocol
zk-Rollup Layer 2 Solution
[DEPRECATED - Merged into @grimswap/circuits] ZK Privacy SDK for GrimSwap
CrossChain crypto mixer smart contract for Ethereum blockchain (Solidity)
Solidity smart contracts for GrimSwap - Uniswap v4 hooks with Groth16 ZK verification, GrimPool deposit system, and stealth address registry
A minimal, functional zero-knowledge proof project based on zkSNARKs, designed to help developers understand the fundamental workflow of zk applications—including circuit writing, proof generation, and smart contract verification.
Integration tests for GrimSwap ZK private swaps - End-to-end Groth16 proof verification on Uniswap v4
Anonymous Attributes Verification System Based on Zero-Knowledge Proofs and Distributed Blockchain Networks.
ZK Privacy SDK for GrimSwap - Groth16 circuits, Poseidon Merkle proofs, stealth addresses (ERC-5564), and nullifier verification for private Uniswap v4 swaps
GrimSwap Frontend - Privacy-preserving DEX interface with ZK proof generation for Uniswap v4
Add a description, image, and links to the zk-snark topic page so that developers can more easily learn about it.
To associate your repository with the zk-snark topic, visit your repo's landing page and select "manage topics."