Technical

1
ELI5 Semi-formal Cryptocurrency Development
November 8, 2018
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 de...

2
ELI5 Cryptocurrency Sharding
November 8, 2018
ELI5 Cryptocurrency Sharding
If you come from the world of IT, then you've probably heard of database or disk data sharding. For those who don't come from IT, a real simple way to put it is that sharding me...

3
ELI5 Zero Knowledge (ZKP) cryptocurrency proofs?
October 31, 2018
ELI5 Zero Knowledge (ZKP) cryptocurrency proofs?
In cryptographic theory, a zero knowledge proof is a method by which you can convince someone, who does not necessarily trust you, that you possess a piece of knowledge (proof) wit...

4
Is your cryptocurrency at risk of a 51% attack?
June 7, 2018
Is your cryptocurrency at risk of a 51% attack?
Half plus one attacks could theoretically happen to any Proof of Work based cryptocurrency. The amount of risk of such an attack happening depends on several factors, including ...

5
What is a Directed Acyclic Graph (DAG)? Why should I know about this?
June 7, 2018
What is a Directed Acyclic Graph (DAG)? Why should I know about this?
A Directed Acyclic Graph, or DAG, is a graph where no "loops" exist and where you can only flow one way throughbnlout its paths. Essentially a DAG represents a process where each s...

6
Understand the Double Spending problem
June 1, 2018
Understand the Double Spending problem
As the name implies, the double spending problem consists in executing a transaction twice while subtracting only once from your balance. This, of course, represents a failed finan...

7
What programming languages should I learn to work with cryptocurrencies?
May 30, 2018
What programming languages should I learn to work with cryptocurrencies?
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...

8
What is Turing completeness and how does it relate to cryptocurrencies?
May 30, 2018
What is Turing completeness and how does it relate to cryptocurrencies?
Turing-completeness refers to a characteristic of computing platforms where a computer that is deemed Turing-complete can execute all programs that a Turing Machine would be able t...

9
Understand the challenges of decentralized databases (e.g. the Bitcoin ledger)
May 29, 2018
Understand the challenges of decentralized databases (e.g. the Bitcoin ledger)
Decentralization is what makes Bitcoin special. Cryptocurrencies are simply applications of the more general concept of decentralized databases. In fact, Bitcoin is one large datab...

10
What is “formal verification” of cryptocurrency software?
May 29, 2018
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 ...


Send us news tips, suggestions or general comments by email: contact [at] crypto.bi