search

microsoft / CCF

Confidential Consortium Framework
https://microsoft.github.io/CCF/
Apache License 2.0
761 stars 205 forks source link

Consistency Trace Validation: match transaction ids #6136

Closed achamayou closed 3 weeks ago

achamayou commented 4 weeks ago

Tighten validation for Rw and Ro transactions.

A couple of changes were necessary:

  1. On the spec: view 1 is always empty. Otherwise we spend our time trying to append other transactions to it.
  2. On the client: capture the txid on Execute steps. Otherwise it's not possible to constrain them enough when validating, and they end up inserted at bogus seqnos.

Next up: rollbacks. In another PR.