3 ms·
It did spark some research into formally verifiable code so not all hope is lost; also other interesting spin-offs like zero-knowledge proofs in cryptography et
by mirekrusin 8y ago
It did spark some research into formally verifiable code so not all hope is lost; also other interesting spin-offs like zero-knowledge proofs in cryptography etc. are all very interesting. Now that the hype on speculation is gone, we can hope there’ll be more interesting “blockchain” news about moving research in this area forward, without recently seen nonsense.