pub fn scalar_certificate(body: &ScalarBody) -> ComputeStageCertExpand description
The per-PE proof of a scalar ALU/select stage: the ROUTED grid proven equal to the body’s own datapath, for every 8-bit input, with the refutation kept.
pub fn scalar_certificate(body: &ScalarBody) -> ComputeStageCertThe per-PE proof of a scalar ALU/select stage: the ROUTED grid proven equal to the body’s own datapath, for every 8-bit input, with the refutation kept.