One cool thing about leap seconds is that it is bidirectional, so a time proxy could introduce time traveling into any supported system aside from vector clock

One cool thing about leap seconds is that it is bidirectional, so a time proxy could introduce time traveling into any supported system aside from vector clock issues.