docs: render rareskills map with mermaid

Author: 0xpantera

Manifest.toml

@@ -1,8 +1,8 @@
 # This file is machine-generated - editing it directly is not advised
 
-julia_version = "1.12.5"
+julia_version = "1.12.6"
 manifest_format = "2.0"
-project_hash = "44178f3129a9ec399c0d8471e53ac9a18a1d8008"
+project_hash = "271c077b1c46f1c8b9429f02b011c4657fd1aadb"
 
 [[deps.ANSIColoredPrinters]]
 git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c"
@@ -279,6 +279,12 @@ git-tree-sha1 = "56e9c37b5e7c3b4f080ab1da18d72d5c290e184a"
 uuid = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 version = "1.17.0"
 
+[[deps.DocumenterMermaid]]
+deps = ["Documenter", "MarkdownAST"]
+git-tree-sha1 = "c0c408289a505a15496d914b19204e272a7e8b0f"
+uuid = "a078cd44-4d9c-4618-b545-3ab9d77f9177"
+version = "0.2.0"
+
 [[deps.DocumenterTools]]
 deps = ["AbstractTrees", "Base64", "DocStringExtensions", "Documenter", "FileWatching", "Git", "Gumbo", "LibGit2", "OpenSSH_jll", "Sass"]
 git-tree-sha1 = "253294b1d77e4d3d1d16670b8c7ee9d80524c9cb"
@@ -325,7 +331,7 @@ uuid = "c87230d0-a227-11e9-1b43-d7ebe4e7570a"
 version = "0.4.5"
 
 [[deps.FFMPEG_jll]]
-deps = ["Artifacts", "Bzip2_jll", "FreeType2_jll", "FriBidi_jll", "JLLWrappers", "LAME_jll", "Libdl", "Ogg_jll", "OpenSSL_jll", "Opus_jll", "PCRE2_jll", "Zlib_jll", "libaom_jll", "libass_jll", "libfdk_aac_jll", "libvorbis_jll", "x264_jll", "x265_jll"]
+deps = ["Artifacts", "Bzip2_jll", "FreeType2_jll", "FriBidi_jll", "JLLWrappers", "LAME_jll", "Libdl", "Ogg_jll", "OpenSSL_jll", "Opus_jll", "PCRE2_jll", "Zlib_jll", "libaom_jll", "libass_jll", "libfdk_aac_jll", "libva_jll", "libvorbis_jll", "x264_jll", "x265_jll"]
 git-tree-sha1 = "01ba9d15e9eae375dc1eb9589df76b3572acd3f2"
 uuid = "b22a6f82-2f65-5046-a5b2-351ab43fb4e5"
 version = "8.0.1+0"
@@ -475,7 +481,7 @@ version = "1.0.0-DEV"
 deps = ["GrothAlgebra", "GrothCurves", "Random"]
 path = "GrothProofs"
 uuid = "a08a9250-f3dc-4127-bcf9-3e12d47ce125"
-version = "1.0.0-DEV"
+version = "0.2.0"
 
 [[deps.Gumbo]]
 deps = ["AbstractTrees", "Gumbo_jll", "Libdl"]
@@ -1050,9 +1056,9 @@ version = "1.4.0"
 
 [[deps.Qt6Base_jll]]
 deps = ["Artifacts", "CompilerSupportLibraries_jll", "Fontconfig_jll", "Glib_jll", "JLLWrappers", "Libdl", "Libglvnd_jll", "OpenSSL_jll", "Vulkan_Loader_jll", "Xorg_libSM_jll", "Xorg_libXext_jll", "Xorg_libXrender_jll", "Xorg_libxcb_jll", "Xorg_xcb_util_cursor_jll", "Xorg_xcb_util_image_jll", "Xorg_xcb_util_keysyms_jll", "Xorg_xcb_util_renderutil_jll", "Xorg_xcb_util_wm_jll", "Zlib_jll", "libinput_jll", "xkbcommon_jll"]
-git-tree-sha1 = "d7a4bff94f42208ce3cf6bc8e4e7d1d663e7ee8b"
+git-tree-sha1 = "144895f6166994730ee7ff8113b981fc360638f1"
 uuid = "c0090381-4147-56d7-9ebc-da0b1113ec56"
-version = "6.10.2+1"
+version = "6.10.2+2"
 
 [[deps.Qt6Declarative_jll]]
 deps = ["Artifacts", "JLLWrappers", "Libdl", "Qt6Base_jll", "Qt6ShaderTools_jll", "Qt6Svg_jll"]
@@ -1497,6 +1503,12 @@ git-tree-sha1 = "7ed9347888fac59a618302ee38216dd0379c480d"
 uuid = "ea2f1a96-1ddc-540d-b46f-429655e07cfa"
 version = "0.9.12+0"
 
+[[deps.Xorg_libpciaccess_jll]]
+deps = ["Artifacts", "JLLWrappers", "Libdl", "Zlib_jll"]
+git-tree-sha1 = "58972370b81423fc546c56a60ed1a009450177c3"
+uuid = "a65dc6b1-eb27-53a1-bb3e-dea574b5389e"
+version = "0.19.0+0"
+
 [[deps.Xorg_libxcb_jll]]
 deps = ["Artifacts", "JLLWrappers", "Libdl", "Xorg_libXau_jll", "Xorg_libXdmcp_jll"]
 git-tree-sha1 = "bfcaf7ec088eaba362093393fe11aa141fa15422"
@@ -1609,6 +1621,12 @@ git-tree-sha1 = "9bf7903af251d2050b467f76bdbe57ce541f7f4f"
 uuid = "1183f4f0-6f2a-5f1a-908b-139f9cdfea6f"
 version = "0.2.2+0"
 
+[[deps.libdrm_jll]]
+deps = ["Artifacts", "JLLWrappers", "Libdl", "Xorg_libpciaccess_jll"]
+git-tree-sha1 = "63aac0bcb0b582e11bad965cef4a689905456c03"
+uuid = "8e53e030-5e6c-5a89-a30b-be5b7263a166"
+version = "2.4.125+1"
+
 [[deps.libevdev_jll]]
 deps = ["Artifacts", "JLLWrappers", "Libdl"]
 git-tree-sha1 = "56d643b57b188d30cccc25e331d416d3d358e557"
@@ -1639,6 +1657,12 @@ git-tree-sha1 = "6044ffe7e7bf0602e2039dc747c3332a097ac74b"
 uuid = "47bcb7c8-5119-555a-9eeb-0afcc36cd728"
 version = "3.6.6+0"
 
+[[deps.libva_jll]]
+deps = ["Artifacts", "JLLWrappers", "Libdl", "Xorg_libX11_jll", "Xorg_libXext_jll", "Xorg_libXfixes_jll", "libdrm_jll"]
+git-tree-sha1 = "7dbf96baae3310fe2fa0df0ccbb3c6288d5816c9"
+uuid = "9a156e7d-b971-5f62-b2c9-67348b8fb97c"
+version = "2.23.0+0"
+
 [[deps.libvorbis_jll]]
 deps = ["Artifacts", "JLLWrappers", "Libdl", "Ogg_jll"]
 git-tree-sha1 = "11e1772e7f3cc987e9d3de991dd4f6b2602663a5"

docs/Project.toml

@@ -1,5 +1,6 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+DocumenterMermaid = "a078cd44-4d9c-4618-b545-3ab9d77f9177"
 DocumenterTools = "35a29f4d-8980-5a13-9543-d66fff28ecb8"
 GrothAlgebra = "c7a79d44-cfd6-4e24-8a20-28d2d2e8370b"
 GrothCurves = "5abac9ed-d1ba-4f09-bf87-1d0505e406bb"

docs/make.jl

@@ -1,4 +1,5 @@
 using Documenter
+using DocumenterMermaid
 using Documenter.Remotes
 using GrothAlgebra
 using GrothCurves

docs/src/rareskills-map.md

@@ -9,16 +9,44 @@ Pages = ["rareskills-map.md"]
 Depth = 2
 ```
 
-| RareSkills ZK Book concept | Groth.jl implementation |
-| --- | --- |
-| Finite fields and modular arithmetic | `GrothAlgebra/FiniteFields.jl` |
-| Group theory and subgroups | `GrothAlgebra/Group.jl` |
-| Elliptic curve arithmetic | `GrothCurves/BN254Curve.jl` |
-| Pairings and final exponentiation | `GrothCurves/BN254MillerLoop.jl`, `GrothCurves/BN254FinalExp.jl`, `GrothCurves/BN254Pairing.jl` |
-| Rank-1 constraint systems | `GrothProofs/R1CS.jl` |
-| Lagrange interpolation, QAP, and R1CS to QAP | `GrothAlgebra/Polynomial.jl`, `GrothProofs/QAP.jl` |
-| Trusted setup and Groth16 proving/verification | `GrothProofs/Groth16.jl` |
-| Worked circuits and tutorials | `GrothExamples/` |
+```mermaid
+flowchart LR
+    subgraph Book["RareSkills ZK Book concepts"]
+        direction TB
+        FF["Finite fields<br/>modular arithmetic"]
+        SUB["Group theory<br/>subgroups"]
+        POLY["Lagrange interpolation<br/>polynomials"]
+        ECC["Elliptic curve arithmetic"]
+        PAIR["Pairings<br/>final exponentiation"]
+        R1CS["Rank-1 constraint systems"]
+        QAP["QAP<br/>R1CS to QAP"]
+        G16["Trusted setup<br/>Groth16"]
+        EX["Worked circuits<br/>tutorials"]
+    end
+
+    subgraph Code["Groth.jl implementation"]
+        direction TB
+        GA["GrothAlgebra/FiniteFields.jl"]
+        GG["GrothAlgebra/Group.jl"]
+        PA["GrothAlgebra/Polynomial.jl"]
+        GC["GrothCurves/BN254Curve.jl"]
+        GP["GrothCurves pairing pipeline"]
+        PR1["GrothProofs/R1CS.jl"]
+        PQ["GrothProofs/QAP.jl"]
+        PG["GrothProofs/Groth16.jl"]
+        EXJ["GrothExamples/"]
+    end
+
+    FF --> GA
+    SUB --> GG
+    POLY --> PA
+    ECC --> GC
+    PAIR --> GP
+    R1CS --> PR1
+    QAP --> PQ
+    G16 --> PG
+    EX --> EXJ
+```
 
 ## Algebraic Foundations