Crate bbs_plus

BBS+ signature according to the paper: Anonymous Attestation Using the Strong Diffie Hellman Assumption Revisited. Provides

• signature creation and verification in both groups G1 and G2.
• proof of knowledge of signature and corresponding messages in group G1 as that is more efficient.

Modules

1. Signature parameters and key generation module - setup
2. Signature module - signature
3. Proof of knowledge of signature module - proof

The implementation tries to use the same variable names as the paper and thus violate Rust’s naming conventions at places.

Modules

error

prelude

proof

Proof of knowledge of the signature and corresponding messages as per section 4.5 of the paper

setup

Keys and setup parameters

signature

BBS+ signature and verification as per section 4.3 of the paper