binius_circuits::lasso::sha256

Function sha256

Source 
pub fn sha256<U, F>(
    builder: &mut ConstraintSystemBuilder<'_, U, F>,
    input: [OracleId; 16],
    log_size: usize,
) -> Result<[OracleId; 8], Error>
where
    U: UnderlierType + Pod + PackScalar<F> + PackScalar<BinaryField1b> + PackScalar<BinaryField4b> + PackScalar<BinaryField8b> + PackScalar<BinaryField16b> + PackScalar<BinaryField32b>,
    PackedType<U, BinaryField8b>: PackedFieldIndexable,
    PackedType<U, BinaryField16b>: PackedFieldIndexable,
    PackedType<U, BinaryField32b>: PackedFieldIndexable,
    F: TowerField + ExtensionField<BinaryField4b> + ExtensionField<BinaryField8b> + ExtensionField<BinaryField16b> + ExtensionField<BinaryField32b>,