In section 2.1.4.1, > If m <= k, the right subtree entries D[k:n] only exist in the current > tree. We prove that the left subtree entries D[0:k] are consistent > and add a commitment to D[k:n]: > > SUBPROOF(m, D_n, b) = SUBPROOF(m, D[0:k], b) : MTH(D[k:n]) > >This 'b' is always 'false', right?
I think no. Looking at the sample code that’s in the repo https://github.com/google/certificate-transparency-rfcs/blob/master/test_rfc_algorithms.py#L55: if m <= k: return self.subproof(m, start_n, start_n + k, b) + [(start_n + k, end_n)]
_______________________________________________ Trans mailing list [email protected] https://www.ietf.org/mailman/listinfo/trans
