Cryptocurrency Programming

Cryptocurrencies have attracted some of the world’s most talented software developers. As a result, very innovative and advanced software applications have been created in the crypto scene, including smart contract programming languages which themselves make decentralized software development possible.

In this section we take a look at cryptos from the software development perspective.

ELI5 Semi-formal Cryptocurrency Development by @Cryptobill
We've previously discussed formal software verification as related to crypto programming. Today we'd like to discuss an intermediary concept called semi-formal cryptocurrency de...
History and importance of Open Source Software in cryptocurrency development by @Cryptobill
Open Source Software (OSS) plays a critically important role in the development of cryptocurrencies, but it is almost always ignored or taken for granted by most crypto users. I...
Understand the Dandelion Bitcoin privacy project by @Cryptobill
The Dandelion privacy project is a BIP that is based on an idea that has been under public discussion since June 2017. It was submitted as a BIP in May 2018 and since then it has g...
Cryptocurrency programming languages you should learn by @Cryptobill
Many different computer programming languages are employed in cryptocurrency programming. In this article, we take a look at cryptocurrency projects and the languages they emplo...
What is “formal verification” of cryptocurrency software? by @Cryptobill
You may have heard that Cardano ADA is aiming for formal verification of its core software. What does it mean for software programs to be formally verified? Why is it important ...