@inthecloud247 Laymen do not verify mathematical proofs.
understood for code written for self-use only. but how to evaluate if other ppl ( w diff experience / intelligence ) can read/understand.
-
-
-
@johanatan curious to know what % of 'expert' crypto programmers would be able/willing to write formal proofs for their code. - 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.