As a way to eliminate bugs in high-risk code, a style of software programming known as formal verification is making its way into the blockchain world.
Put simply, formal verification uses math to specify and analyze a program for errors in logic.
Quantum computers are coming and encryption – including the kind used to underpin cryptocurrencies – is in trouble, researchers say.
That's according to researchers at the National University of Singapore and colleagues who have estimated how soon the computers might be able to break bitcoin's security. Based on the most aggressive estimates for the advancement of quantum computation, private keys might be cracked as early as 2027, their paper says.
The rise of bitcoin is seeing an increasing number of students signing up for cryptocurrency classes at top computer science schools such as Stanford.
According to Dan Boneh, co-director of the Stanford Computer Security Lab and professor of cryptography, he is attracting a large number of people to his cryptocurrency courses. As a cryptography researcher for almost 30 years, Boneh began teaching a bitcoin and cryptocurrency class in 2015, attracting more than 100 students. His online cryptography course has seen over one million signing up, reports CNBC.
Silvio Micali is an MIT professor and Turing Award–winning cryptographer known for his work in technologies that form the bedrock of blockchains today: public-key cryptosystems, digital signatures, pseudorandomness and multiparty computations. He is also the co-inventor of the zero-knowledge proof.