Skip to content

Commit 4437642

Browse files
committed
Merge branch 'docs/e6-done' into develop
2 parents 8920d6d + 33cf32c commit 4437642

2 files changed

Lines changed: 20 additions & 5 deletions

File tree

README.md

Lines changed: 15 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -98,6 +98,18 @@ every commitment and every proof itself.
9898

9999
Nine sections, explained one by one in [`demo/README.md`](demo/README.md).
100100

101+
### Try the browser verifier against a real node
102+
103+
```sh
104+
go run ./demo -serve
105+
```
106+
107+
Runs the same demonstration, then keeps the node up and prints a ready link — build the WASM
108+
verifier once (`client/wasm/build.sh`), open `client/web/index.html`, paste the link's node URL and
109+
subject in, and watch the same checks the demo just ran happen again independently, this time in
110+
the browser rather than the CLI. Details, including what the page deliberately does not trust:
111+
[`client/README.md`](client/README.md), [OWM-8](spec/owm-8-client.md).
112+
101113
## How it works
102114

103115
### Entry, leaf, tree
@@ -253,7 +265,7 @@ wants to pull in `core/` on its own.
253265
| [`trust/`](trust/) | entity trust levels from attestation chains | Apache-2.0 |
254266
| [`node/`](node/) | node server and `owmnode` | AGPL-3.0-only |
255267
| [`monitor/`](monitor/) | independent log monitor | AGPL-3.0-only |
256-
| [`client/`](client/) | WASM verifier and web app (planned) | Apache-2.0 |
268+
| [`client/`](client/) | WASM verifier and web app | Apache-2.0 |
257269
| [`demo/`](demo/) | end-to-end demonstration against a real node | Apache-2.0 |
258270
| [`testdata/`](testdata/) | test vectors for third-party implementations | Apache-2.0 |
259271

@@ -274,7 +286,7 @@ far is meant for production use.
274286
| E4 | federation: DNS discovery, gossip, `monitor/` | done |
275287
| E5 | trust levels, attestations, sensor certificates | done |
276288
|| ten further schema profiles across other industries (see the table above) | done |
277-
| E6 | web app and WASM verifier | next |
289+
| E6 | web app and WASM verifier | done |
278290
| E7/E8 | deposit system and dispute resolution | deliberately deferred |
279291

280292
E7/E8 wait until at least two independently operated nodes carry real data. Only then can cap
@@ -292,6 +304,7 @@ deliberately built so that it does not depend on them.
292304
| [OWM-5](spec/owm-5-federation.md) | federation: DNS discovery, gossip, the independent monitor's contract |
293305
| [OWM-6](spec/owm-6-trust.md) | trust levels, attestation entries, sensor certificates |
294306
| [OWM-7](spec/owm-7-node-api.md) | node API: submitting, reading, proofs, administration |
307+
| [OWM-8](spec/owm-8-client.md) | client and verifier: fetch-then-verify contract, CORS, addressing |
295308
| [OWM-9](spec/owm-9-threat-model.md) | threat model, limits of the system |
296309

297310
Package-level explanations live in the README files of the directories

demo/README.md

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@ It needs no outside network and touches nothing that is not its own.
2121
| `-keep` | keep the working directory (database, identity, configuration) |
2222
| `-work DIR` | parent directory for the throwaway data |
2323
| `-repo DIR` | repository root, if it cannot be derived from the module |
24+
| `-serve` | after the demonstration, keep the node running and print how to try the [browser verifier](../client/) against it — stop with Ctrl+C |
2425

2526
The output is plain text: no ANSI colours, no box drawing, no emoji, no typographic arrows — it
2627
looks the same in every terminal and can be copied unchanged into a file, a ticket or a mail. The
@@ -53,6 +54,7 @@ single signature.
5354
| 8 Tampering | A flipped byte, a swapped leaf, an STH signed with a foreign key — and a split view that the node signs validly with its own key. Only someone who sees both trees finds that one. |
5455
| 9 Balance sheet | Sizes: 3407 bytes per entry on average against 488 bytes of payload on average. The lion's share is the post-quantum signature. |
5556

56-
Section 8 is the only one that runs ahead of the code: the split view is constructed and detected
57-
by hand here. What notices it in production is the [monitor](../spec/owm-9-threat-model.md), which
58-
has yet to be built.
57+
Section 8 is the only one that runs ahead of a live deployment: the split view here is constructed
58+
and detected by hand, in one process, to show the mechanism. What notices it between independently
59+
operated nodes in production is the [monitor](../monitor/) — polling STHs from outside any business
60+
relationship, exactly the gap partner gossip alone cannot close (OWM-9 A1).

0 commit comments

Comments
 (0)