JustPaste.it
User avatar
@anonymous · Jan 22, 2020

commitment to lock time t (can be spent once real_time >= t)

C(x, t) = xG + tH

new commitment to same thing
C(y, t) = yG + tH

sign in a ring commitment to zero
C(x, t) - C(y, t) = (x - y)G

then calculate, where t’ is a block time in which the tx is spendable (or any later block)
P = t’H - C(y,t)

then do a range proof on P, since if t’ - t is negative then it will roll over