ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready - TrendCloud