Struct PrivacyProof 

pub struct PrivacyProof {
    pub proof_bytes: String,
    pub public_inputs: String,
    pub scheme: ProofScheme,
    pub security_bits: u32,
    pub proof_size: usize,
    pub chsh_value: f64,
    pub lyapunov: f64,
}

A privacy-preserving zero-knowledge proof.

Fields

proof_bytes: String

Serialized proof bytes (base64url)

public_inputs: String

Public inputs (hex-encoded)

scheme: ProofScheme

Proof scheme used

security_bits: u32

Security level in bits

proof_size: usize

Approximate proof size in bytes

chsh_value: f64

Simulated CHSH correlation (for entangled proofs)

lyapunov: f64

Lyapunov exponent of chaos perturbation applied

Implementations

impl PrivacyProof

pub fn is_non_local(&self) -> bool

Returns true if the proof achieves non-local soundness (CHSH > 2.8).

Trait Implementations

impl Clone for PrivacyProof

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PrivacyProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PrivacyProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<SnarkProof> for PrivacyProof

fn from(s: SnarkProof) -> Self

Converts to this type from the input type.

impl From<StarkProof> for PrivacyProof

fn from(s: StarkProof) -> Self

Converts to this type from the input type.

impl Serialize for PrivacyProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.