Search 30 packages

Found detections shipping vulnerabilities yanked

Build behaviour fetched outside the registry undeclared fetch fetch went into the output linked a downloaded binary read credentials connected outside the registry

Packages1–30 of 30	Version	Findings	Description	Downloads	When
sp-transaction-storage-proof cargo	44.0.0	clean	Transaction storage proof primitives	1M	12h ago
cumulus-primitives-proof-size-hostfunction cargo	0.21.0	clean	Hostfunction exposing storage proof size to the runtime.	971K	13h ago
cumulus-test-relay-sproof-builder cargo	0.28.0	clean	Mocked relay state proof builder for testing Cumulus.	963K	11h ago
cumulus-client-proof-size-recording cargo	0.4.0	clean	Storage proof size recording utilities.	5.7K	11h ago
wickra-proof-core cargo	0.2.0	clean	Deterministic Proof-of-Backtest core: fold a (spec, data) pair into a wickra-backtest report and a canonical blake3 hash reproducible byte-for-byte across ten…	2.1K	2d ago
wickra-proof-cli cargo	0.2.0	clean	Reference command-line prover/verifier over wickra-proof-core: fold a (spec, data) pair into a deterministic backtest report and canonical hash, and verify a…	66	2d ago
cumulus-primitives-parachain-inherent cargo	0.27.0	clean	Inherent that needs to be present in every parachain block. Contains messages and a relay chain storage-proof.	1M	11h ago
cumulus-pallet-weight-reclaim cargo	0.12.0	clean	pallet and transaction extensions for accurate proof size reclaim	177K	9h ago
acvm cargo	1.0.0-rc.4	clean	The virtual machine that processes ACIR given a backend/proof system.	131K	1d ago
barretenberg-rs cargo	7.0.0-nightly.20261008	2 detections 2	Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs	35K	6m ago
gnostr-legit cargo	970403.1846.49785	2 detections 16 vulnerabilities 216	add proof of work to a git commit	14K	3h ago
arbintrary cargo	0.4.0	clean	Proof of concept for arbitrary integer sizes using generic const.	11K	2h ago
blvm-consensus cargo	0.1.53	clean	Bitcoin Commons BLVM: Direct mathematical implementation of Bitcoin consensus rules from the Orange Paper	3.5K	10h ago
krusty-kms-crypto cargo	0.13.0	clean	Cryptographic primitives and zero-knowledge proofs for krusty-kms	1.5K	10h ago
miden-pow-rate-limiter cargo	0.17.1	clean	Miden Proof-of-Work rate limiter	1.5K	7h ago
krusty-kms-sdk cargo	0.13.0	clean	Tongo confidential account and proof-operation flows for krusty-kms	1.1K	7h ago
polyc-session-family cargo		not built 2026.10.2 did not build	The durable session-family store: rotation, reuse detection, and expiry for long-lived sessions rooted in a one-time proof. Knows nothing about how a family's…	553	7h ago
discrtree cargo	0.64.0	clean	Find Lean declarations by shape and lift them into a proof	445	2d ago
wai-quantum cargo	0.3.36	clean	A deterministic quantum stack in pure Rust: byte-exact circuit simulation (statevector / stabilizer / tensor-network MPS / sparse-Pauli backends), sparse Pauli…	413	2d ago
octet-attest-verify cargo	2.5.0	clean	Offline verification of mobile device-attestation evidence carried on an Octet LocationProof: Apple App Attest (attestation object + assertion, against Apple's…	281	5h ago
wickra-zk-host cargo		not built 0.2.0 did not build	Prover and verifier for wickra-zk: runs the deterministic wickra-backtest inside a risc0 zkVM guest and turns a receipt into a trustless, data-hiding proof of…	151	1d ago
lingotweaker cargo	0.2.8	clean	Proofreading engine: pattern rules, tagger, speller and pipelines for many languages	142	2d ago
owl-dl-verify cargo	0.4.36	clean	Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of…	80	2d ago
blockle-pow cargo	0.1.4	clean	Equihash proof-of-work and difficulty adjustment for the Blockle blockchain	24	10h ago
blockle-zk cargo	0.1.4	clean	Blockle shielded pool: STARK spend proofs (winterfell), Rescue note commitments, note tree	24	10h ago
blockle cargo	0.2.8	clean	Blockle AutoPool — the universal deployment system for PoW mining pools: point it at a chain, get a pool	22	21h ago
camazotz cargo	0.1.1	clean	Certified erasure: per-subject keys, crypto-shredding with verified decrypt-failure, consent revocation, incidental-mention purging, and signed…	15	1d ago
noun cargo	0.1.0	clean	Content-addressable 32-byte identifiers for immutable Merkle proofs	11	1d ago
degine cargo	0.1.1	clean	Command line client for a degine argument library	7	2d ago
familiar-ai cargo	0.0.0	clean	Proof that an AI coding agent's work is done: each requirement has a test that failed first, was not changed, and passes. In development; this release holds…	6	2d ago