Crate confium_crypto_zk 

Zero-knowledge proof systems and set-membership primitives.

Audit status

Unaudited. Fiat-Shamir transcripts carry rejection-sampled challenges, but the crate has had no external cryptographic review.

Modules

accumulator

Homomorphic hash accumulator.

threshold_abs

Threshold attribute-based signing.

zk_key_possession

Experimental demonstration primitive — NOT AUDITED. The proof Schnorr proof of possession of a P-256 signing key.

zk_set_membership

Zero-knowledge set membership proof.