Repository navigation

Major website rewrite - #5

Merged

dstebila merged 61 commits into

mainfrom

manual-rewrite

Apr 11, 2026

Merged

Major website rewrite#5
dstebila merged 61 commits into
mainfrom
manual-rewrite

Commits on Apr 8, 2026
- docs: scaffold Manual and For Researchers nav structure
  
  dstebila
  and
  claude
  committed
  3dccd64
- docs: add manual/installation page
  
  dstebila
  and
  claude
  committed
  ceb9abc
- docs: installation.md review fixes
  
  dstebila
  and
  claude
  committed
  fd92dd7
- docs: add tutorial part 1 (Hello Frog)
  
  dstebila
  and
  claude
  committed
  f9fdcb6
- docs: add manual/cli-reference page
  
  dstebila
  and
  claude
  committed
  633c938
- docs: add language-reference/basics page
  
  dstebila
  and
  claude
  committed
  680b93c
- docs: tutorial-1 review fixes
  
  dstebila
  and
  claude
  committed
  a510b79
- docs: add language-reference/execution-model page
  
  dstebila
  and
  claude
  committed
  450b433
- docs: add language-reference/primitives page
  
  dstebila
  and
  claude
  committed
  46f7f89
- docs: add tutorial part 2 (OTP one-time secrecy)
  
  dstebila
  and
  claude
  committed
  42edd27
- docs: language-reference/basics + cli-reference review fixes
  
  dstebila
  and
  claude
  committed
  2c95bb5
- docs: link tutorial-1 to tutorial-2; replace reconstructed mismatch error with verified output
  
  dstebila
  and
  claude
  committed
  13c6276
- docs: add manual/web-editor page
  
  dstebila
  and
  claude
  committed
  d37f83e
- docs: review fixes for tutorial-2, execution-model, basics, primitives
  
  dstebila
  and
  claude
  committed
  8c99646
- docs: add language-reference/schemes page
  
  dstebila
  and
  claude
  committed
  99be7b0
- docs: add language-reference/games page
  
  dstebila
  and
  claude
  committed
  7a1c74c
- docs: add language-reference/proofs page
  
  dstebila
  and
  claude
  committed
  872f96f
- docs: add manual/editor-plugins page
  
  dstebila
  and
  claude
  committed
  9ddf8fe
- docs: web-editor review fixes (trim and accuracy)
  
  dstebila
  and
  claude
  committed
  1d7182e
- docs: add manual/limitations page
  
  dstebila
  and
  claude
  committed
  fc0bdbf
- docs: add manual/troubleshooting page
  
  dstebila
  and
  claude
  committed
  c5a85a4
- docs: schemes + proofs review fixes
  
  dstebila
  and
  claude
  committed
  cf8e439
- docs: add Chained Encryption worked example
  
  dstebila
  and
  claude
  committed
  3741170
- docs: add manual/transformations page
  
  dstebila
  and
  claude
  committed
  ea055d9
- docs: add researchers/scientific-background page
  
  dstebila
  and
  claude
  committed
  84f0029
- docs: transformations review fixes
  
  dstebila
  and
  claude
  committed
  a59e889
- docs: add researchers/soundness page
  
  dstebila
  and
  claude
  committed
  32c0bbd
- docs: add KEM-DEM CPA worked example
  
  dstebila
  and
  claude
  committed
  04538be
- docs: fill in worked-examples and language-reference index pages
  
  dstebila
  and
  claude
  committed
  e301856
- docs: add researchers/vibe-coding page
  
  dstebila
  and
  claude
  committed
  40808dc
- docs: add researchers/engine-internals page
  
  dstebila
  and
  claude
  committed
  46cdaa6
- docs: fill researchers + manual landing pages
  
  dstebila
  and
  claude
  committed
  95b61cf
- docs: rewrite home page to point at the Manual
  
  dstebila
  and
  claude
  committed
  e8bebb6
- docs: decommission old top-level pages with redirects
  
  dstebila
  and
  claude
  committed
  9b6c44a
- docs: final link audit -- promote stale plain-text references to live links
  
  dstebila
  and
  claude
  committed
  e56de71
- Change code block formatting
  dstebila
  committed
  8e77b75
- Silence sass deprecation warnings
  dstebila
  committed
  96a11ed
- Various edits
  dstebila
  committed
  693569c
- Douglas review of tutorial part 1
  dstebila
  committed
  2ad64c1
Commits on Apr 9, 2026
- Claude's review of its initial draft
  dstebila
  committed
  966cf08
- Douglas' review of tutorial part 2
  dstebila
  committed
  511ab0f
- Douglas edits to tutorial and worked examples
  dstebila
  committed
  9c91e54
- Rewrite KEM-DEM CPA worked example to match in-repo proof
  
  dstebila
  and
  claude
  committed
  20c7f47
- [wip] a few edits
  dstebila
  committed
  c020965
- More edits
  dstebila
  committed
  d240f70
- Douglas edits
  dstebila
  committed
  edad767
Commits on Apr 10, 2026
- More edits
  dstebila
  committed
  91b7f64
- More edits
  dstebila
  committed
  63b46f1
- Move around presentations and more edits
  dstebila
  committed
  88d2afe
- Update www manual for Group assumption renames (DDH/CDH/HashedDDH)
  
  dstebila
  and
  claude
  committed
  892a875
- Edits to for researchers section
  dstebila
  committed
  ec08376
Commits on Apr 11, 2026
- Update docs for new download-examples CLI command
  
  dstebila
  and
  claude
  committed
  8c2a623
- Minor edits
  dstebila
  committed
  3443ff9
- Mention proof strategies from old guide.md doc
  dstebila
  committed
  61f29f1
- Upgrade instructions
  dstebila
  committed
  1d01ae8
- Updates due to example renaming
  dstebila
  committed
  2554d80
- Update UniqueSampling game
  dstebila
  committed
  90ba281
- Manual edits
  dstebila
  committed
  a304ee9
- Edit engine internals and revise architecture diagram
  
  dstebila
  and
  claude
  committed
  4ebb5e0
- More edits
  dstebila
  committed
  0a533f8
- Copy editing
  
  dstebila
  and
  claude
  committed
  ce23da4

Commits

Commits on Apr 8, 2026

Commits on Apr 9, 2026

Commits on Apr 10, 2026

Commits on Apr 11, 2026