improving proof generator for CloudSource