Do not need circuit state to be atomic since there is a single writer