Function kimchi_msm::test::test_circuit::interpreter::constrain_test_fixed_sel_degree_7
source · pub fn constrain_test_fixed_sel_degree_7<F: PrimeField, Env: ColAccessCap<F, TestColumn>>(
env: &mut Env
)
Expand description
A constraint function for A_0^7 + B_0 - FIXED_SEL_1