Type Alias dleq::cross_group::EfficientLinearDLEq

pub type EfficientLinearDLEq<G0, G1> = __DLEqProof<G0, G1, { _ }, { _ }, { _ }>;

Available on crate feature experimental only.

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.

Aliased Type

struct EfficientLinearDLEq<G0, G1> { /* private fields */ }