- Linea - Ethereum L2 rollup based on ZKPs. gnark is used for precompile proving, Vortex proof recursive verification, 2-chain proof aggregation, proof compression to BN254 and PLONK Solidity verification. gnark-crypto is used for finite field arithmetic.
- DAVINCI - Specialized L2 rollup based on ZKPs for voting. A decentralized, anonymous and receipt-free voting protocol designed and implemented by the Vocdoni team. Uses Proof recursion and settles to Ethereum.
- Union - Modular interoperability protocol which facilitates the exchange of messages between blockchains. Gnark is used to prove consensus.
- Reclaim protocol - Migrated circuits from snarkjs to gnark for mobile-proof generation efficiency; open‑sourced their symmetric‑crypto circuits.
- AlgoPlonk - Go toolkit that turns any gnark-defined PLONK circuit into an Algorand smart contract verifier.
- Celer Network – Leveraging gnark for zero-knowledge proof generation within cross-chain messaging and state verification mechanisms.
- zkBTC by the Lightec Labs team - A decentralized bridge from Bitcoin to Ethereum. gnark is used for proving deposit and redeem transactions.