OT math

gistfile1.txt

s1, s2 and s3 are operations in the server, and c1, c2 are operations performed on the client.


s1 s2 s3
c1 c2

1. transform(c1, s1) = (c1', s1')  => c1 s1' = s1 c1'
2. transform(c1', s2) = (c1'', s2') => c1' s2' = s2 c1''
3. transform(c1'', s3) = (c1''', s3') => c1'' s3' = s3 c1'''

4. transform(c2, s1') = (c2', s1'')  => c2 s1'' = s1' c2'
5. transform(c2', s2') = (c2'', s2'') => c2' s2'' = s2' c2''
6. transform(c2'', s3') = (c2''', s3'') => c2'' s3'' = s3' c2'''

7. s1 s2 s3 c1''' =3= s1 s2 c1'' s3' =2= s1 c1' s2' s3' =1= c1 s1' s2' s3'

s1 s2 s3 c1''' c2''' =7= c1 s1' s2' s3' c2''' =6= c1 s1' s2' c2'' s3'' =5= c1 s1' c2' s2'' s3'' =4= c1 c2 s1'' s2'' s3''