Looks like @ethiocrypt hasn't commented yet!