All tags
Catalogue tag

#snark

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

8 records
Tagged “snark”Ranked by health index
Go
94Exceptionalhealth index
Consensys-Incorporated/gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems
Go · Go Template · Assembly★ 601Oct 21, 2026
Apache-2.0Oct 21, 2026 · metrics 2.10.0
crates.io
94Exceptionalhealth index
Plonky3/Plonky3
A toolkit for polynomial IOPs (PIOPs)
Rust★ 848↓ 1.2M/moSep 12, 2026
Apache-2.0Sep 12, 2026 · metrics 2.10.0
crates.io
84Excellenthealth index
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Rust★ 116Sep 12, 2026
Apache-2.0Sep 12, 2026 · metrics 2.10.0
—
84Excellenthealth index
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
Lean★ 347Oct 19, 2026
Apache-2.0Oct 19, 2026 · metrics 2.10.0
crates.io
65Goodhealth index
Quantus-Network/qp-plonky2
No repository description published.
Rust★ 1↓ 14.9K/moSep 9, 2026
Apache-2.0Sep 9, 2026 · metrics 2.10.0
npm
56Moderatehealth index
iden3/ffjavascript
Finite Field Library in Javascript
JavaScript★ 57↓ 625.2K/moSep 18, 2026
GPL-3.0Sep 18, 2026 · metrics 2.10.0
npm
51Moderatehealth index
iden3/rapidsnark
rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
C++ · Assembly★ 101↓ 100/moSep 20, 2026
LGPL-3.0Sep 20, 2026 · metrics 2.10.0
npm
23At Riskhealth index
iden3/circomlibjs
Javascript library to work with circomlib circuits
JavaScript★ 94↓ 94.7K/moSep 20, 2026
No licenseSep 20, 2026 · metrics 2.10.0