6 Likes
I think there is something wrong with the definition of \delta-synchor
I think the right definition is that if all messages that have been sent by honest replicas at or before time t arrive at their destination before time t+\delta
2 Likes
@diegop can you help take a look and find the man?
1 Like
Yup, Will take a look
1 Like
@victorshoup could you tell me if the definition of delta synchronous is right?
Sorry for the delay. That is indeed a typo. It should read "before time $t+\delta$’’. I’ve uploaded v1.2 to eprint.iacr.org with that fix. It will eventually appear on dfinity.org as well.
5 Likes