Commit Graph

7 Commits

Author SHA1 Message Date
Thomas Eizinger
8d8b3100ea
Fixup backticks in README 2021-03-10 14:55:36 +11:00
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