(aligned with this model)

Just so you see it end-to-end:

  1. Wallet generates:
  2. Wallet builds sub-commitments:
  3. Wallet computes identity_commitment using the equation above.
  4. Wallet:
  5. From now on, every proof references this identity_commitment.