aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDeterminant <tederminant@gmail.com>2020-08-30 02:26:45 -0400
committerDeterminant <tederminant@gmail.com>2020-08-30 02:26:45 -0400
commit03868ddf0574bfd56a7523a2de75a586b8af17a3 (patch)
treed1aaaaa2d552df28d6ec0ede23258bb3e0d44c3f
parentca656ec422aa8f2d098d33f6abe810dbe4261977 (diff)
add link to the deployment readme
-rw-r--r--README.rst7
1 files changed, 7 insertions, 0 deletions
diff --git a/README.rst b/README.rst
index cec827b..86d4720 100644
--- a/README.rst
+++ b/README.rst
@@ -83,6 +83,11 @@ section may be incomplete and subject to changes.
# stable. Or try the following script:
# scripts/faulty_leader_demo.sh
+Try to Reproduce Our Basic Results
+==================================
+
+See here_.
+
TODO
====
@@ -90,3 +95,5 @@ TODO
- Branch pruning & swapping (the current implementation stores the entire chain in memory)
- Limit the async events (improve robustness)
- Persistent protocol state (recovery?)
+
+.. _here: https://github.com/hot-stuff/libhotstuff/tree/master/scripts/deploy