lib-q-ring-sig 0.0.4

Federation-style ring openings over Ajtai commitments (DualRing-LB CCS 2021 aggregated verify)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

//! Federation “ring” openings over shared Ajtai CRS commitments.
//!
//! This crate provides **opening-proof–based federation signatures**: one issuer proves
//! knowledge of an opening for its public commitment while binding a Fiat–Shamir context
//! to the full member list. Verification without a signer index uses a linear scan
//! ([`verify::verify_federation_opening_scan`]), which is not issuer-hiding toward the
//! verifier. [`dualring_lb`] implements DualRing-LB (CCS 2021, Algorithm 3) aggregated verification on
//! the Ajtai opening relation; see [`DESIGN.md`](./DESIGN.md) for transcript binding and parameter notes.
//! The optional `dualring_prf` module (feature `pilot-insecure-prf-transcript`) defines the
//! DualRing-style PRF transcript wire format; `pilot_insecure_prf_transcript` re-exports the legacy
//! `pilot_*` names. Both are **not** a ring signature: laboratory PRF wiring only; see [`DESIGN.md`](./DESIGN.md) (PRF laboratory transcript) and those modules' docs before enabling.
#![forbid(unsafe_code)]
#![cfg_attr(not(feature = "std"), no_std)]

extern crate alloc;

pub mod credential;
pub mod dualring_lb;
pub mod keygen;
pub mod params;
pub mod ring;
pub mod sign;
pub mod verify;

#[cfg(feature = "wasm")]
mod wasm;

#[cfg(feature = "pilot-insecure-prf-transcript")]
pub mod dualring_prf;
#[cfg(feature = "pilot-insecure-prf-transcript")]
pub mod pilot_insecure_prf_transcript;

#[cfg(feature = "federation-opening")]
pub use credential::verify_credential_presentation_federation_opening;
pub use credential::{
    CredentialPresentation,
    attribute_message_digest,
    verify_credential_presentation,
};
pub use dualring_lb::{
    DualRingLbChallengeState,
    DualRingLbSignature,
    DualRingOpeningProof,
    dualring_lb_challenge_state,
    dualring_lb_signing_context,
    sign_dualring_lb,
    verify_dualring_lb,
};
pub use keygen::MemberIssuerKey;
pub use params::RingSigParams;
pub use ring::{
    FederationRing,
    federation_digest,
};
pub use sign::{
    federation_signing_context,
    sign_federation_message,
};
pub use verify::{
    verify_federation_opening,
    verify_federation_opening_scan,
};