Hacker News new | ask | show | jobs
by deterministic 1021 days ago
Nope. Cryptography code should be written using proof assistents. Proving the correctness of the code.

Like the Everest project.