Cryptocurrency Programming

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 plays such an important role in the world of cryptocurrencies, that it is almost forgotten and taken for granted by crypto users. It's as if the transparency and collab...
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...
What programming languages should I learn to work with cryptocurrencies? by @Cryptobill
Many different computer programming languages are employed in cryptocurrency programming. In this article we take a look at cryptocurrency projects, the languages they use and w...
 
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 ...