Reference implementation for the Poseidon Snark-friendly Hash algorithm.
-
Updated
Oct 11, 2026 - Rust
#
zk-circuits
Here are 10 public repositories matching this topic...
Container of general purpose gadgets used across Dusk Network's circuit implementations.
-
Updated
Jul 5, 2021 - Rust
A blockchain network that proves the ownership & originality of photos with zero knowledge technology. The ultimate goal is to differentiate malicious AI-generated deepfakes from human-taken photos, while preserving user privacy.
photos privacy typescript photography ethereum smart-contracts solidity zk-snarks zero-knowledge-proofs circom deepfake-detection zk-circuits
-
Updated
Nov 29, 2023
-
Updated
Nov 3, 2026 - Solidity
Machine-checked (Rocq/Coq) soundness and completeness of our BigMult circuit, a circom-bigint template the 2022 audit left 'In Progress'
-
Updated
Oct 21, 2026 - Rocq Prover
Poseidon arithmetic hash function optimized for zero-knowledge circuits using MDS mixing matrix and prime field S-boxes.
-
Updated
Sep 10, 2026 - Python
Machine-checked (Rocq/Coq) soundness and completeness of our LongToShortNoEndCarry circuit, a circom-bigint template the 2022 audit left 'In Progress'
-
Updated
Oct 21, 2026 - Rocq Prover
A simple circuit for zk proofs with Noir
-
Updated
Oct 25, 2025 - Noir
ECDSA signature verification on Noir - enabling private authentication without revealing the signature or private keys on-chain.
-
Updated
Oct 25, 2025 - Solidity
Machine-checked (Rocq/Coq) soundness and completeness of our BigModInv circuit, a circom-bigint template the 2022 audit left 'In Progress'
-
Updated
Oct 21, 2026 - Rocq Prover
Add this topic to your repo
To associate your repository with the zk-circuits topic, visit your repo's landing page and select "manage topics."