snark — 开源软件健康 — inspect.software

94卓越健康指数

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★ 6012026年10月21日

Apache-2.02026年10月21日 · 指标 2.10.0

crates.io

94卓越健康指数

Plonky3/Plonky3

A toolkit for polynomial IOPs (PIOPs)

Rust★ 848↓ 1.2M/月2026年9月12日

Apache-2.02026年9月12日 · 指标 2.10.0

crates.io

84优秀健康指数

ProjectZKM/Ziren

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

Rust★ 1162026年9月12日

Apache-2.02026年9月12日 · 指标 2.10.0

—

84优秀健康指数

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

Lean★ 3472026年10月19日

Apache-2.02026年10月19日 · 指标 2.10.0

crates.io

65良好健康指数

Quantus-Network/qp-plonky2

该仓库未发布描述。

Rust★ 1↓ 14.9K/月2026年9月9日

Apache-2.02026年9月9日 · 指标 2.10.0

npm

56中等健康指数

iden3/ffjavascript

Finite Field Library in Javascript

JavaScript★ 57↓ 625.2K/月2026年9月18日

GPL-3.02026年9月18日 · 指标 2.10.0

npm

51中等健康指数

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/月2026年9月20日

LGPL-3.02026年9月20日 · 指标 2.10.0

npm

23存在风险健康指数

iden3/circomlibjs

Javascript library to work with circomlib circuits

JavaScript★ 94↓ 94.7K/月2026年9月20日

无许可证2026年9月20日 · 指标 2.10.0

#snark