News for hackers. Stuff that matters.

A comment on Zcoin implementation bug enabled attacker to create over 500K Zcoins. Parent comment

Re:Zcoin implementation bug enabled attacker to create over ... by gmfawcett on Tuesday March 07, 2017 @09:47AM (#13810665)
Ada isn't my favourite language to code in. But if I was tasked to build something safety-critical, I would strongly consider Ada SPARK [1] among the possible tools to use.

[1] http://www.spark-2014.org/about

[ Parent | on HN ]

There are no comments on this comment yet.