ZEC übersteigt kurzzeitig 500 $, nachdem der Gründer sagt, dass der formale Beweis fast bereit ist.
Nach dem versteckten Fehler von Orchard sagte Zcash, dass die formale Verifizierung von Ironwood kurz davor steht, zu beweisen, dass es keine unentdeckbaren Fälschungsfehler gibt.









