Type Alias dleq::cross_group::ConciseLinearDLEq

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

Available on crate feature experimental only.

A DLEq proof modified from MRL-0010, proving for two bits at a time to save on space.

Aliased Type

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