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... This piece was found by us on 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... This publication was discovered by us on November 8, 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... This data was first seen by us on October 31, 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 ... This posting was discovered by us on 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... This piece was obtained by us on June 7, 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... This post was obtained by us on June 1, 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... This data was first seen by us on 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... This data was discovered by us on May 30, 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... This item was obtained by us on 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 ... This piece was discovered by us on May 29, 2018.
Work & Learn