Filip/matrix-spec
1
0
Fork 0
mirror of https://github.com/matrix-org/matrix-spec synced 2026-03-26 04:54:10 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Reword definition of auth difference

Browse source
This commit is contained in:
David Robertson 2022-06-14 18:34:33 +01:00
parent 7cac4700dc
commit 2b51fa6e10
No known key found for this signature in database
GPG key ID: 903ECE108A39DEDD
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
content/rooms/fragments/v2-state-res.md
View file

@ -52,9 +52,9 @@ events, the *full auth chain of S* is the union of the auth chains of every
event *E* in *S*.
**Auth difference.**
The *auth difference* is calculated by first calculating the full auth
chain for each state *S*<sub>*i*</sub>, and then discarding the events
belonging to each full auth chain. In symbols: if *F*(*S*) is the full auth
For each state *S<sub>i</sub>*, compute its full auth chain.
The *auth difference* is the set of events which belong to some, but not all,
of these full auth chains. In symbols: if *F*(*S*) is the full auth
chain of a collection of events *S*, the auth difference is
∪<sub>*i*</sub> *F*(*S<sub>i</sub>*) - ∩<sub>*i*</sub> *F*(*S<sub>i</sub>*).