Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness inflation" overhead typical of traditional arithmetization.

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.

Sindri Zero-Knowledge Proof CLI

Open privacy Layer 2 for Solana. Groth16 zk-SNARKs, BFT cohort, ~10 ms verification on commodity hardware. Pre-mainnet.

Tokamak zk-EVM: CLI and proving pipeline to convert Tokamak Layer 2 transactions into zk-SNARK proofs

Give your AI agent its own Solana wallet — it trades for you, and nothing traces back to it. MCP server + Telegram bot, open source.

A gnark (Go) circuit that verifies a RISC Zero succinct STARK receipt inside a Groth16 proof over BLS12-381 — settling RISC Zero proofs on Cardano with one native pairing check, no BN254.

Zero-knowledge proximity verification for 3D coordinates on Sui — Poseidon commitments + Groth16 proofs

Implementation KZG zk-SNARKs protocol Marlin and Plonk in Python/SageMath

Merkle Patricia Trie (MPT) circuits written in Noir

Example circuits for circom 2.0

A blockchain data compression and pruning project to optimize storage, leveraging ZK-SNARKs, state deltas, and Merkle trees.

The ZK-SNARK circuit used in HyperMed that allows patients to prove alignment between their private diagnosis and insurance requirements, enabling agencies to verify claims with zero data leakage.

Groth16 GPU prover aimed primarily at browser environments

Structure-private verification framework for molecular toxicity repair tasks based on Groth16 zero-knowledge proofs. IFAC BIKA 2025 Best Paper.

zk-Rollup Layer 2 Solution

Enterprise-grade Privacy Lifecycle Management (PLM) platform for the Solana Ecosystem

Uniswap v4 hook: senior/junior credit tranching with priority waterfall, IL subordination, and epoch fee smoothing. UHI9 Hookathon — testnet Solidity + Foundry.

A Rust implementation of the Groth16 zkSNARK; but faster, secure, and more adaptable.

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.