Update global constraint directly

[hecmas]

The bus-related global constraint can now be updated using the following function:

function direct_update(const int opid, const expr cols[], const expr sel = 1, const int proves = 1, int bus_type = PIOP_BUS_DEFAULT, int name = PIOP_NAME_DEFAULT)

This function is crucial in preventing malicious provers from exploiting re-execution attacks. For example, without proper control mechanisms, continuations could be vulnerable, allowing provers to execute the same cycle multiple times. By enforcing constraints, we ensure that each cycle is executed only once, enhancing the security of the protocol.

[zkronos73]

😄