Commit Graph

9 Commits (363ce1cdf6fe6478736ff91e1458d650c2319248)

Author SHA1 Message Date
Thomas Eizinger febc68c780
Enforce consistent formatting of Markdown files 3 years ago
Lucas Soriano 4a4729d331
Minor fixes in README.md 3 years ago
Thomas Eizinger 8d8b3100ea
Fixup backticks in README 3 years ago
Thomas Eizinger 0b17b1177a
Replace protocol definition in README with setup instructions
Fixes #262.
3 years ago
Tobin C. Harding bfeb460073 Fix typo 4 years ago
Tobin C. Harding 30767ec755 Move alice/bob definition comment 4 years ago
Tobin C. Harding 1f89ea122e Fix embedded image 4 years ago
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
4 years ago
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
4 years ago