BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

Home Search Compare Equivalents

One search box and one honest, consistent read on every open-source library — across every ecosystem.

npmPyPIcrates.ioRubyGemsGoMavenNuGet

Discover

Tools

Compare Equivalents

Data

deps.dev OSV advisories npm registry PyPI

About

Methodology Partner with us

© 2026 Modules · A precision instrument for picking dependencies.Data refreshed continuously from public registries, deps.dev & OSV

cross-ecosystem search · live

Results for proof_system

Found in 3 of 7 ecosystemsnpm 1–1 of 1 · 1525 matches across other registries

npm1 crates.io1519 NuGet6

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

npm matches

1 match · JavaScript

@surgebuild/bitcoin-zkp-sdkv1.0.4

Bitcoin ZKP SDK for blockchain applications

MaintenanceAging

PopularityNiche

Aging — last published over a year ago — check before adopting.

crates.io matches

Showing 12 of 1,519 · Rust

See all crates.io →

proof_systemv0.34.0

Proof system to comprise various cryptographic primitives

MaintenanceAging

PopularityNiche

Aging — last published 10 months ago — check before adopting.

newton-corev0.4.15

newton protocol core sdk

MaintenanceHealthy

PopularityNiche

Maintained. Niche but maintained, actively maintained.

newton-prover-corev0.1.38

newton protocol core sdk

MaintenanceHealthy

PopularityNiche

Maintained. Niche but maintained, actively maintained.

fawkes-crypto-bellman_cev0.3.5

zk-SNARK library

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 5 years ago.

fawkes-crypto-zkbob-bellman_cev0.4.0

zk-SNARK library

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

ZYGA zero-knowledge proof system - CLI and library for generating ZK proofs

MaintenanceAging

PopularityNiche

Aging — last published 8 months ago — check before adopting.

nova-snarkv0.71.1

High-speed recursive arguments from folding schemes

MaintenanceHealthy

PopularityNiche

Maintained. Niche but maintained, actively maintained.

ark-spartan-goldenv0.5.0

Spartan ZKP system over arkworks (fork for golden-dkg crate)

MaintenanceHealthy

PopularityNiche

Maintained. Niche but maintained, actively maintained.

sigma_funv0.9.0

A framework for making Sigma protocols fun!

MaintenanceAging

PopularityNiche

Aging — last published 6 months ago — check before adopting.

Recursive zkSNARKs without trusted setup

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

midnight-proofsv0.8.0

Fast PLONK-based zero-knowledge proving system

MaintenanceHealthy

PopularityNiche

Maintained. Niche but maintained, actively maintained.

High-speed zkSNARKs without trusted setup

MaintenanceAging

PopularityNiche

Aging — last published over a year ago — check before adopting.

NuGet matches

6 matches · .NET

bajiepa.threadproofconsolewriter.libraryv1.0.0

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 7 years ago.

redakt.allv1.6.0

No description provided.

MaintenanceHealthy

PopularityUnknown

Maintained. Maintained, actively maintained.

polymorphicpseudonymisationv2.0.0

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 6 years ago.

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 10 years ago.

netmodulesv1.4.4

No description provided.

MaintenanceAging

PopularityUnknown

Aging — last published 6 months ago — check before adopting.

wpninjas.aaddeviceauthenticationv1.0.0

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 4 years ago.