openvm_sha256_guest

Constant SHA256_FUNCT7

Source 
pub const SHA256_FUNCT7: u8 = 0x1;