diff --git a/doc/Doxyfile b/doc/Doxyfile
index 45b8630..d4d5a71 100644
--- a/doc/Doxyfile
+++ b/doc/Doxyfile
@@ -1029,6 +1029,11 @@ INPUT = include/dpf.hpp \
doc/pages/multipoint.md \
doc/pages/dealer_free.md \
doc/pages/beaver.md \
+ doc/pages/yao.md \
+ doc/pages/arith.md \
+ doc/pages/compose.md \
+ doc/pages/network_and_mpc.md \
+ doc/pages/experiment.md \
doc/pages/api.md \
doc/pages/bibliography.md \
doc/pages/jet_and_ring.md \
@@ -1489,7 +1494,8 @@ HTML_EXTRA_FILES = doc/doc-extras.js \
doc/papers/storrier-vadapalli-lyons-henry-grotto-eprint-2023-108.pdf \
doc/papers/boyle-gilboa-ishai-kolobov-it-dpf-eprint-2023-028.pdf \
doc/papers/chou-orlandi-simplest-ot-eprint-2015-267.pdf \
- doc/papers/boyar-peralta-aes-sbox-eprint-2011-332.pdf
+ doc/papers/boyar-peralta-aes-sbox-eprint-2011-332.pdf \
+ doc/papers/reis-ugurbil-wagh-henry-de-vega-wave-hello-eprint-2025-013.pdf
# The HTML_COLORSTYLE tag can be used to specify if the generated HTML output
# should be rendered with a dark or light theme.
diff --git a/doc/DoxygenLayout.xml b/doc/DoxygenLayout.xml
index 2b7de4f..9331f79 100644
--- a/doc/DoxygenLayout.xml
+++ b/doc/DoxygenLayout.xml
@@ -22,12 +22,19 @@
-
+
+
+
+
+
+
+
+
diff --git a/doc/doc-extras.js b/doc/doc-extras.js
index e677d45..b363f79 100644
--- a/doc/doc-extras.js
+++ b/doc/doc-extras.js
@@ -116,10 +116,14 @@
function mountPageNav() {
var contents = document.querySelector("#doc-content .contents") || document.querySelector(".contents");
if (!contents || contents.querySelector(".page-nav")) return;
+ // Doxygen's theme makes `.contents` a row so the outline can sit beside
+ // the prose. A nav inserted as a sibling becomes another column and
+ // lands on top of the first paragraph. Keep it inside the text column.
+ var column = contents.querySelector(".textblock") || contents;
var top = pageNav("top");
if (!top) return;
- contents.insertBefore(top, contents.firstChild);
- contents.appendChild(pageNav("bottom"));
+ column.insertBefore(top, column.firstChild);
+ column.appendChild(pageNav("bottom"));
}
if (document.readyState === "loading") {
diff --git a/doc/examples.dox b/doc/examples.dox
index 0037fa4..d47bfe1 100644
--- a/doc/examples.dox
+++ b/doc/examples.dox
@@ -105,6 +105,9 @@
/// @example grotto/repr_and_twist.cpp repr_and_twist.cpp
/// @brief Fibonacci / geometric representation shift and twisted monomials
+/// @example grotto/dwt_lut.cpp dwt_lut.cpp
+/// @brief Haar and bior(5,3) compressed lookup tables
+
/// @}
@@ -178,6 +181,9 @@
/// @example applications/sabre.cpp sabre.cpp
/// @brief Sabre mailbox write with a verifiable-DPF audit
+/// @example protocol/compose_schedule.cpp compose_schedule.cpp
+/// @brief Composer schedules: fused audit, early-stop, prefixes, RSS, ABY scale
+
/// @example applications/ledger23.cpp ledger23.cpp
/// @brief (2,3) ledger append with a verified point key
@@ -205,4 +211,7 @@
/// @example mwe/ppvc.cpp ppvc.cpp
/// @brief a point-programmable vector commitment
+/// @example mwe/shamir.cpp shamir.cpp
+/// @brief (K,N) Shamir, with (2,3) as the slope specialization
+
/// @}
\ No newline at end of file
diff --git a/doc/footer.html b/doc/footer.html
index 18dbf1a..4bed83c 100644
--- a/doc/footer.html
+++ b/doc/footer.html
@@ -14,7 +14,7 @@ $generatedby
-
+
+