let dkey = "cfgproof"