Module dleq::cross_group

Available on crate feature experimental only.

A cross-group DLEq proof capable of proving that two public keys, across two different curves, share a private key.

Modules

• scalar
  Scalar utilities.

Structs

• Generators
  A pair of generators, one committing to values (primary), one blinding (alt), for an elliptic curve.

Enums

• DLEqError
  Error for cross-group DLEq proofs.

Type Aliases

• ClassicLinearDLEq
  The DLEq proof described in MRL-0010.
• CompromiseLinearDLEq
  A DLEq proof modified from MRL-0010, using R, s forms instead of c, s forms, while proving for two bits at a time, to enable batch verification and take advantage of space savings.
• ConciseLinearDLEq
  A DLEq proof modified from MRL-0010, proving for two bits at a time to save on space.
• EfficientLinearDLEq
  A DLEq proof modified from MRL-0010, using R, s forms instead of c, s forms to enable batch verification at the cost of space usage.