Skip to main content

build_kani_glue

logicaffeine_proof::isogeny

Function build_kani_glue 

Source 
pub fn build_kani_glue(
    domain: &Curve2,
    kernel_gen: &Point2,
    ell: u64,
    n: u64,
) -> Option<KaniGlue>
Expand description

Build a genuine Kani glue kernel over 𝔽_{p²} from a real ell-isogeny and an N-torsion basis.