6 Commits

Author	SHA1	Message	Date
Thomas Eizinger	0b17b1177a	Replace protocol definition in README with setup instructions ... Fixes #262.	2021-03-05 15:56:00 +11:00
Tobin C. Harding	bfeb460073	Fix typo	2020-10-09 09:49:39 +11:00
Tobin C. Harding	30767ec755	Move alice/bob definition comment	2020-10-09 09:46:44 +11:00
Tobin C. Harding	1f89ea122e	Fix embedded image	2020-10-09 09:45:48 +11:00
Tobin C. Harding	861dcc4a56	Update README ... Update the readme inline with review suggestions by doing: - Copy 'long story short' text from blog post - Correct the erroneous description of watching blockchains - Fix gramar	2020-10-09 09:34:24 +11:00
Tobin C. Harding	65b0e54a5f	Add a README.md file ... Add a readme that describes the project. Specifically - module structure - what we prove and do not prove - how we test	2020-10-08 09:17:39 +11:00