Struct DifferentialPrivacyLogic 

pub struct DifferentialPrivacyLogic {
    pub program: String,
    pub epsilon: f64,
}

Differential privacy proof rules.

Fields

program: String

epsilon: f64

Implementations

impl DifferentialPrivacyLogic

pub fn new(program: impl Into<String>, epsilon: f64) -> Self

pub fn dp_proof_rule(&self) -> String

Describe the DP proof rule using the coupling (apRHL) method.

pub fn coupling_proof(&self) -> String

Describe the coupling-based proof technique.