Hot Stuff dev

Hot Stuff dev