binius_core::constraint_system::exp

Function make_exp_witnesses

Source 
pub fn make_exp_witnesses<'a, U, Tower>(
    witness: &mut MultilinearExtensionIndex<'a, PackedType<U, <Tower as TowerFamily>::B128>>,
    oracles: &MultilinearOracleSet<<Tower as TowerFamily>::B128>,
    exponents: &[Exp<Tower::B128>],
) -> Result<Vec<BaseExpWitness<'a, PackedType<U, <Tower as ProverTowerFamily>::FastB128>>>, Error>
where
    U: ProverTowerUnderlier<Tower>,
    Tower: ProverTowerFamily,
    PackedType<U, Tower::B128>: PackedTransformationFactory<PackedType<U, Tower::FastB128>>,
    PackedType<U, Tower::FastB128>: PackedTransformationFactory<PackedType<U, Tower::B128>>,
Expand description

Constructs BaseExpWitness instances and adds the exponentiation-result witnesses to the MultiplicationWitnesses.