Trace Pairing

Recovers inner products from packed ring elements via the trace form on cyclotomic rings. Theory: trace-pairing.pdf.

API

use etale::lattice::pairing::{
    TracePairingParams, pack, inner_product_from_trace,
};
use etale::lattice::trace::GaloisSubgroup;

// Setup parameters (Hachi: d=1024, k=4)
let params = TracePairingParams::hachi();
let h = GaloisSubgroup::new(params.d, params.k);

// Pack vectors into ring elements (n = 256 elements each)
let a: Vec<F> = (0..params.n).map(|i| F::from(i as u64)).collect();
let b: Vec<F> = (0..params.n).map(|i| F::from((i + 1) as u64)).collect();

let packed_a = pack(&a, &params);
let packed_b = pack(&b, &params);

// Recover ⟨a, b⟩ via trace pairing
let inner_product = inner_product_from_trace(&packed_a, &packed_b, &params, &h);

Note: F is a generic field type implementing ark_ff::Field. See tests in src/lattice/pairing.rs for concrete examples using Fp64.

Parameters

Functions