Type Alias dleq::cross_group::CompromiseLinearDLEq

pub type CompromiseLinearDLEq<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, while proving for two bits at a time, to enable batch verification and take advantage of space savings.

This isn’t quite as efficient as EfficientLinearDLEq, and isn’t as compact as ConciseLinearDLEq, yet strikes a strong balance of performance and conciseness.

Aliased Type

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