fix #86 exception when proof not exist