Struct SecretRecovery 

pub struct SecretRecovery {
    pub e0: Curve2,
    pub basis_a: (Point2, Point2),
    pub basis_b: (Point2, Point2),
    pub images: (Point2, Point2),
    pub ell: u64,
    pub a: u32,
    pub secret: BigInt,
    pub generator: Point2,
    pub path: Vec<IsogenyStep2>,
    pub laws: Vec<RecoveryLaw>,
}

A recovered SIDH secret together with the self-checking record of the laws its recovery invoked. The certificate carries everything needed to re-derive itself: verify re-runs every law from scratch, trusting nothing about how the answer was produced. This is the auto-formalizing recovery — it inverts images → generator and emits the re-checkable mathematics it stands on.

Fields

e0: Curve2

basis_a: (Point2, Point2)

basis_b: (Point2, Point2)

images: (Point2, Point2)

ell: u64

a: u32

secret: BigInt

generator: Point2

path: Vec<IsogenyStep2>

laws: Vec<RecoveryLaw>

Implementations

impl SecretRecovery

pub fn learnings(&self) -> Vec<String>

The formalized laws this recovery relied on, as statements — the rules and learnings, popped out.

pub fn verify(&self) -> bool

Re-check every law from scratch. Trusts nothing about how the recovery ran.

Trait Implementations

impl Clone for SecretRecovery

fn clone(&self) -> SecretRecovery

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SecretRecovery

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

Formats the value using the given formatter.