pub fn step_op_crypto(op: Crypto, stack: &mut Stack) -> OpResult<()>
Step forward constraint checking by the given crypto operation.