Technical

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

ELI5 Cryptocurrency Sharding ELI5 Cryptocurrency Sharding
November 8, 2018 Discuss 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...

ELI5 Zero Knowledge (ZKP) cryptocurrency proofs ELI5 Zero Knowledge (ZKP) cryptocurrency proofs
October 31, 2018 Discuss 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...

Is your cryptocurrency at risk of a 51% attack Is your cryptocurrency at risk of a 51% attack
June 7, 2018 Discuss 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 ...

What is a Directed Acyclic Graph (DAG) Why should I know about this What is a Directed Acyclic Graph (DAG) Why should I know about this
June 7, 2018 Discuss 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...

Understand the Double Spending problem Understand the Double Spending problem
June 1, 2018 Discuss 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...

What programming languages should I learn to work with cryptocurrencies What programming languages should I learn to work with cryptocurrencies
May 30, 2018 Discuss 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 Turing completeness and how does it relate to cryptocurrencies What is Turing completeness and how does it relate to cryptocurrencies
May 30, 2018 Discuss 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...

Understand the challenges of decentralized databases (e Understand the challenges of decentralized databases (e
May 29, 2018 Discuss 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...

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