From 602c2e5d25c93a48e39ddd644f6eed530b921908 Mon Sep 17 00:00:00 2001 From: Holden Rohrer Date: Mon, 21 Oct 2019 22:41:41 -0400 Subject: renamed Overview --- progress/Consensus.tex | 5 +++++ progress/Overview.tex | 5 ----- progress/progress.tex | 2 +- 3 files changed, 6 insertions(+), 6 deletions(-) create mode 100644 progress/Consensus.tex delete mode 100644 progress/Overview.tex (limited to 'progress') diff --git a/progress/Consensus.tex b/progress/Consensus.tex new file mode 100644 index 0000000..a9b484b --- /dev/null +++ b/progress/Consensus.tex @@ -0,0 +1,5 @@ +There's a famous problem in computer science called the Two Generals' Problem. It follows two Roman camps on opposite sides of a valley, claimed by enemies. Each can send a scout to the other to decide when to attack---which is necessary because if either attacks alone he is guaranteed to lose---but there is no guarantee the scout will arrive. Clearly, one message cannot guarantee consensus between the two. But neither can thirty---or a billion. + +This is an attempt at global consensus in a distributed system, and is still an unsolved problem so far as such a problem can be ``solved.'' However, algorithmic approaches are rapidly becoming more important as global consensus is intimately intertwined with novel technologies. These start with the internet and routing paths (even though they're both about 60 years old), torrent software, the TOR network, server redundancy in commercial applications, and the holy grail of distributed computing: cryptocurrency. % Are all of them necessary? If so, long sentence. + +We want to review existing literature on the topic as well as practical applications of those principles (e.g. Bitcoin's consensus algorithm and its failures),\footnote{$^1$}{\link{https://bitcointalk.org/index.php?topic=702755.0}} so we will use a variety of sources, primarily academic in nature, as well as use computing tools and/or combinatoric algorithms to understand how effective (or ineffective) certain systems are at achieving different tasks, like the several routing algorithms available to ISPs and different cryptocurrencies' consensus and hash algorithms (like between Monero and Bitcoin). diff --git a/progress/Overview.tex b/progress/Overview.tex deleted file mode 100644 index a9b484b..0000000 --- a/progress/Overview.tex +++ /dev/null @@ -1,5 +0,0 @@ -There's a famous problem in computer science called the Two Generals' Problem. It follows two Roman camps on opposite sides of a valley, claimed by enemies. Each can send a scout to the other to decide when to attack---which is necessary because if either attacks alone he is guaranteed to lose---but there is no guarantee the scout will arrive. Clearly, one message cannot guarantee consensus between the two. But neither can thirty---or a billion. - -This is an attempt at global consensus in a distributed system, and is still an unsolved problem so far as such a problem can be ``solved.'' However, algorithmic approaches are rapidly becoming more important as global consensus is intimately intertwined with novel technologies. These start with the internet and routing paths (even though they're both about 60 years old), torrent software, the TOR network, server redundancy in commercial applications, and the holy grail of distributed computing: cryptocurrency. % Are all of them necessary? If so, long sentence. - -We want to review existing literature on the topic as well as practical applications of those principles (e.g. Bitcoin's consensus algorithm and its failures),\footnote{$^1$}{\link{https://bitcointalk.org/index.php?topic=702755.0}} so we will use a variety of sources, primarily academic in nature, as well as use computing tools and/or combinatoric algorithms to understand how effective (or ineffective) certain systems are at achieving different tasks, like the several routing algorithms available to ISPs and different cryptocurrencies' consensus and hash algorithms (like between Monero and Bitcoin). diff --git a/progress/progress.tex b/progress/progress.tex index 7955bd2..ef5d722 100644 --- a/progress/progress.tex +++ b/progress/progress.tex @@ -1,7 +1,7 @@ \input ../format \titlesub{Part 2: Progress Report}{Topic: Distributed Systems Integrity and Correctness} -\include Overview:Overview +\include Global Consensus:Consensus %\include Products:Products % No Longer Necessary -- cgit