Added proof to util server protocol