Philipp Kant, IOHK’s director of formal methods, explained the release of a semi-formal specification of the wallet.
Charles Hoskinson, the founder of IOHK had mentioned previously that they are trying to figure out the transition from research papers, laboratory experiments to actual machine-executable codes. This is a lengthy process but is very precise and has to be conducted with utmost care. IOHK is adopting formal methods for its development process to create software that is robust and completely reliable.
The formal method director hence explained how such research papers are transcribed and made executable and further refined with the formal specification. He spoke during a technical presentation on Cardano earlier this year. He has worked as a software developer using primarily Haskell for various projects.
He stated during his talk:
“In the blockchain industry, IOHK is pretty unique in applying formal methods something like it usually is done in aerospace, clinical or medical purpose, or in systems where there is high value or even harm to life at stake.”
He leads the group that works on formal methods into software development methodology. The idea of the group is to make sure that the results of the researchers who write to improve things about protocols at a very abstract level and in a language that is suitable for writing papers and conveying information between humans.
Cardano has been associated with Ethiopia, or Africa on the whole and during one of the blockchain meetup’s this statement about Cardano gained a lot of prominences:
“What differentiates blockchain from existing digital technologies is that it is trusted. It is not centralized. It is cheaper. No need for backup redundancy. It is resilient – Shem and John.”
Subscribe to AMBCrypto’s Newsletter
Co-Founder of Newly Launched ZBX Exchange Speaking at Stockholm Blockchain Forum
Bitcoin.org co-owner calls out Jack Dorsey; predicts CashApp will push censorship
Ethereum [ETH] dApp users drop as EOS and Tron dominate the market
World Blockchain STO Summit: 29 – 30 April 2019, Dubai, UAE
Bitcoin [BTC] and Ethereum [ETH] can be exchanged for Euros or Swiss Francs on MyEtherWallet
Bitcoin [BTC] developer Jimmy Song lists 3 reasons why Bitcoin SV [BSV] is a “scam”
Bitcoin [BTC] among cryptocurrencies enabled by new debit card launched by Australian Crypto exchange
Bitcoin [BTC]: Mt Gox redemption plan demonstrates the power of open source network, says Brock Pierce
Tron’s BitTorrent [BTT] hikes by a whopping 18%; airdrop concludes
Ripple allegedly offering attractive XRP packages as an incentive to prospective hires
- Press Release
A New Generation of Crypto-Exchange: ALL IN ONE Crypto-Exchange
- Bitcoin Cash
Bitcoin Cash [BCH] support rolled out by Coinbase custodial wallet app
Flash Hike: XRP pumps by 10% as most top-10 coins gleam green
Cryptocurrency Adoption: Institutional investors should consider cryptocurrencies, says pension and endowment adviser Cambridge Associates