Many of most successful people in IT industry are college dropouts while "professors" are people which fart in their seat for 30 years, just repeating same "knowledge" slightly updated to present.
To validate if something is hacker-resistant, one needs to think like a hacker and have skills and knowledge of a hacker. People behind CertiK have none of these.
Every fullnode wallet/daemon is updated, what is "bulletproof" today, might not be "bulletproof" with next update.
I don't believe every update will go through CertiK (I bet it would often be the initial version). Many fullnodes/daemons have dozens of updates over couple of years.
Whole CertiK ICO looks more like a retirement fund for couple of old fart "professors" and couple of people kicked out of top corporations years ago and incapable to find a job equal to their EGO.
Appreciate you commenting mate. Well with advance in technology yea there will be new problems to deal with and solve . But with regard to the scenario now, Certik could have helped warn the Bancor & DAO hack...
In addition to that if they had nothing to offer, its unlikely they would have got huge partners in the crypto space more importantly start working with NEO on securing their smart contract even before the ICO and thats a big deal thb..
It will hardly prevent insider to steal (that's what's most "hacks" are about).
But I agree, Certik might have positive impact on smart contracts on being safe and undisputable.
Some of MIT and Yale professors (even if useless in real life) are good at analytics and they have access to powerful hardware to verify their assumptions with bruteforce testing.
We'll see.