crypto.bi

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.

Cryptocurrency programming languages you should learn
Many different computer programming languages are employed in cryptocurrency programming. In this article, we take a look at cryptocurrency projects and the languages they empl...
History and importance of Open Source Software in cryptocurrency development
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. ...
ELI5 Semi-formal Cryptocurrency Development
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 d...
What is “formal verification” of cryptocurrency software?
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...
Understand the Dandelion Bitcoin privacy project
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 ...