[HotStuff_color]