Researchers have just released hacker-proof cryptographic code — programs with the same level of invincibility as a mathematical proof.