The IC for geeks—A new DFINITY whitepaper

Developers
1
2

I think there is something wrong with the definition of \delta-synchor

WechatIMG4886
WechatIMG48861470×170 21.5 KB

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

3

@diegop can you help take a look and find the man?

4

Yup, Will take a look

6

@victorshoup could you tell me if the definition of delta synchronous is right?

7

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.