Closed moodlezoup closed 6 months ago
Avoids a couple of commitments and constraints by being smarter about how we compute (a, v, t) tuples for read-write memory, namely:
v_write = v_read
t_write = global_timestamp
t_write = global_timestamp + 1
Avoids a couple of commitments and constraints by being smarter about how we compute (a, v, t) tuples for read-write memory, namely:
v_write = v_read
andt_write = global_timestamp
t_write = global_timestamp + 1