2023-12-11 18:42:52 +00:00
<!DOCTYPE html>
2023-12-25 20:11:11 +00:00
< html > < head > < title > 2023-12-11 Vac weekly< / title > < meta charSet = "utf-8" / > < meta name = "viewport" content = "width=device-width, initial-scale=1.0" / > < meta property = "og:title" content = "2023-12-11 Vac weekly" / > < meta property = "og:description" content = "vac:p2p: § nimlibp2p:vac:webrtc-transport Debugging SCTP nimlibp2p:vac:maintenance Yamux Re-write misleading parts (eg sendQueueSize) Start writing explanations/comments cont’ / > < meta property = "og:image" content = "https://roadmap.logos.co/static/og-image.png" / > < meta property = "og:width" content = "1200" / > < meta property = "og:height" content = "675" / > < link rel = "icon" href = "../../static/icon.png" / > < meta name = "description" content = "vac:p2p: § nimlibp2p:vac:webrtc-transport Debugging SCTP nimlibp2p:vac:maintenance Yamux Re-write misleading parts (eg sendQueueSize) Start writing explanations/comments cont’ / > < meta name = "generator" content = "Quartz" / > < link rel = "preconnect" href = "https://fonts.googleapis.com" / > < link rel = "preconnect" href = "https://fonts.gstatic.com" / > < link href = "../../index.css" rel = "stylesheet" type = "text/css" spa-preserve / > < link href = "https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.css" rel = "stylesheet" type = "text/css" spa-preserve / > < link href = "https://fonts.googleapis.com/css2?family=IBM Plex Mono&family=sans-serif:wght@400;700&family=sans-serif:ital,wght@0,400;0,600;1,400;1,600&display=swap" rel = "stylesheet" type = "text/css" spa-preserve / > < script src = "../../prescript.js" type = "application/javascript" spa-preserve > < / script > < script type = "application/javascript" spa-preserve > const fetchData = fetch ( ` ../../static/contentIndex.json ` ) . then ( data => data . json ( ) ) < / script > < / head > < body data-slug = "vac/updates/2023-12-11" > < div id = "quartz-root" class = "page" > < div id = "quartz-body" > < div class = "left sidebar" > < h1 class = "page-title " > < a href = "../.." > Logos Collective Project Roadmaps< / a > < / h1 > < div class = "spacer mobile-only" > < / div > < div class = "search " > < div id = "search-icon" > < p > Search< / p > < div > < / div > < svg tabIndex = "0" aria-labelledby = "title desc" role = "img" xmlns = "http://www.w3.org/2000/svg" viewBox = "0 0 19.9 19.7" > < title id = "title" > Search< / title > < desc id = "desc" > Search< / desc > < g class = "search-path" fill = "none" > < path stroke-linecap = "square" d = "M18.5 18.3l-5.4-5.4" > < / path > < circle cx = "8" cy = "8" r = "7" > < / circle > < / g > < / svg > < / div > < div id = "search-container" > < div id = "search-space" > < input autocomplete = "off" id = "search-bar" name = "search" type = "text" aria-label = "Search for something" placeholder = "Search for something" / > < div id = "results-container" > < / div > < / div > < / div > < / div > < div class = "darkmode " > < input class = "toggle" id = "darkmode-toggle" type = "checkbox" tabIndex = "-1" / > < label id = "toggle-label-light" for = "darkmode-toggle" tabIndex = "-1" > < svg xmlns = "http://www.w3.org/2000/svg" xmlnsXlink = "http://www.w3.org/1999/xlink" version = "1.1" id = "dayIcon" x = "0px" y = "0px" viewBox = "0 0 35 35" style = "enable-background:new 0 0 35 35;" xmlSpace = "preserve" > < title > Light mode< / title > < path d = "M6,17.5C6,16.672,5.328,16,4.5,16h-3C0.672,16,0,16.672,0,17.5 S0 . 672 , 19 , 1 . 5 , 19h3C5 . 328 , 19 , 6 , 18 . 328 , 6 , 17 . 5z M7 . 5 , 26c-0 . 414 , 0-0 . 789 , 0 . 168-1 . 061 , 0 . 439l-2 , 2C4 . 168 , 28 . 711 , 4 , 29 . 086 , 4 , 29 . 5 C4 , 30 . 328 , 4 . 671 , 31 , 5 . 5 , 31c0 . 414 , 0 , 0 . 789-0 . 168 , 1 . 06-0 . 44l2-2C8 . 832 , 28 . 289 , 9 , 27 . 914 , 9 , 27 . 5C9 , 26 . 672 , 8 . 329 , 26 , 7 . 5 , 26z M17 . 5 , 6 C18 . 329 , 6 , 19 , 5 . 328 , 19 , 4 . 5v-3C19 , 0 . 672 , 18 . 329 , 0 , 17 . 5 , 0S16 , 0 . 672 , 16 , 1 . 5v3C16 , 5 . 328 , 16 . 671 , 6 , 17 . 5 , 6z M27 . 5 , 9 c0 . 414 , 0 , 0 . 789-0 . 168 , 1 . 06-0 . 439l2-2C30 . 832 , 6 . 289 , 31 , 5 . 914 , 31 , 5 . 5C31 , 4 . 672 , 30 . 329 , 4 , 29 . 5 , 4c-0 . 414 , 0-0 . 789 , 0 . 168-1 . 061 , 0 . 44 l-2 , 2C26 . 168 , 6 . 711 , 26 , 7 . 086 , 26 , 7 . 5C26 , 8 . 328 , 26 . 671 , 9 , 27 . 5 , 9z M6 . 439 , 8 . 561C6 . 711 , 8 . 832 , 7 . 086 , 9 , 7 . 5 , 9C8 . 328 , 9 , 9 , 8 . 328 , 9 , 7 . 5 c0-0 . 414-0 . 168-0 . 789-0 . 439-1 . 061l-2-2C6 . 289 , 4 . 168 , 5 . 914 , 4 , 5 . 5 , 4C4 . 672 , 4 , 4 , 4 . 672 , 4 , 5 . 5c0 , 0 . 414 , 0 . 168 , 0 . 789 , 0 . 439 , 1 . 06 L6 . 439 , 8 . 561z M33 . 5 , 16h-3c-0 . 828 , 0-1 . 5 , 0 . 672-1 . 5 , 1 . 5s0 . 672 , 1 . 5 , 1 . 5 , 1 . 5h3c0 . 828 , 0 , 1 . 5-0 . 672 , 1 . 5-1 . 5S34 . 328 , 16 , 33 . 5 , 16z M28 . 561 , 26 . 439C28 . 289 , 26 . 168 , 27 . 914 , 26 , 27 . 5 , 26c-0 . 828 , 0-1 . 5 , 0 . 672-1 . 5 , 1 . 5c0 , 0 . 414 , 0 . 168 , 0 . 789 , 0 . 439 , 1 . 06l2 , 2 C28 . 711 , 30 . 832 , 29 . 086 , 31 , 29 . 5 , 31c0 . 828 , 0 , 1 . 5-0 . 672 , 1 . 5-1 . 5c0-0 . 414-0 . 168-0 . 789-0 . 439-1 . 061L
2023-12-11 18:42:52 +00:00
< ul >
< li > < code > nimlibp2p:vac:webrtc-transport< / code >
< ul >
< li > Debugging SCTP< / li >
< / ul >
< / li >
< li > < code > nimlibp2p:vac:maintenance< / code >
< ul >
< li > Yamux
< ul >
< li > Re-write misleading parts (eg sendQueueSize)< / li >
< li > Start writing explanations/comments< / li >
< li > cont’ < a href = "https://github.com/status-im/nim-libp2p/pull/987" class = "external" > https://github.com/status-im/nim-libp2p/pull/987< / a > < / li >
< / ul >
< / li >
< li > added the hp tests to nim-libp2p (they run with every PR)< / li >
< li > working on the nim-libp2p releases< / li >
< / ul >
< / li >
< / ul >
< h3 id = "vactke" > vac:tke:< a aria-hidden = "true" tabindex = "-1" href = "#vactke" class = "internal" > §< / a > < / h3 >
< ul >
< li > < code > vac:tke::status:SNT-staking< / code >
< ul >
< li > Resuming conversation with SC team on staking contract and Certora training< / li >
< li > starting to discuss with Pablo on Waku sharding to support decentralized scaling of Status< / li >
< / ul >
< / li >
< li > < code > vac:tke::nomos:economic-analysis< / code >
< ul >
< li > Incorporating changes in consensus from Carnot to Ouroboros< / li >
< li > Research how delegation is used in comps of Cardano, Polkadot, and EigenLayer, compared against privacy restrictions given Nomos objectives< / li >
< / ul >
< / li >
< li > < code > vac:tke::waku:economic-analysis< / code >
< ul >
< li > Sharding discussion w/ Pablo on Waku< / li >
< li > Continuing GitHub issue feedback on Waku incentives and reputation (bottom up approach)< / li >
< li > Also start a business model analysis and implications for next steps with the protocol (top down approach)< / li >
< / ul >
< / li >
< / ul >
< h3 id = "vacdst" > vac:dst:< a aria-hidden = "true" tabindex = "-1" href = "#vacdst" class = "internal" > §< / a > < / h3 >
< ul >
< li > < code > analysis:nomos:simulation-analysis< / code >
< ul >
< li > The goals and the responsibilities for the paper reaffirmed< / li >
< li > Analysis correctly and switfly found parameter issues in the small-tree simulations (which follow a different control path); met with Gusto and it is fixed now< / li >
< / ul >
< / li >
< li > < code > analysis-gsub-model:vac:refactoring< / code >
< ul >
< li > 95% done, barring minor stylistics and input re-structuring branch(< a href = "https://github.com/vacp2p/research/tree/0xFugue-waku-scaling-rewrite" class = "external" > https://github.com/vacp2p/research/tree/0xFugue-waku-scaling-rewrite< / a > )< / li >
< / ul >
< / li >
< li > < code > analysis-gsub-model:status:control-messages< / code >
< ul >
< li > The blog post is one 20% done: the overall design of Waku explained and modelling focus defined draft(< a href = "https://github.com/vacp2p/vac.dev/tree/0xFugue-waku-model" class = "external" > https://github.com/vacp2p/vac.dev/tree/0xFugue-waku-model< / a > )< / li >
< / ul >
< / li >
< li > < code > eng-10ktool:vac:bandwidth-test< / code > :
< ul >
< li > Test new kernel parameters< / li >
< li > Investigame uptimes for ram on simulations< / li >
< li > Investigate packets drop< / li >
< li > Solve issues with libp2p versions (< a href = "https://www.notion.so/Notes-423c72646a0944d1bd7889d7dec30bb4" class = "external" > https://www.notion.so/Notes-423c72646a0944d1bd7889d7dec30bb4< / a > )< / li >
< / ul >
< / li >
< li > < code > software-testing:waku:test-automation-nwaku< / code >
< ul >
< li > Continued implementing lightpush tests< / li >
< li > Decided on way forward with < code > direction< / code > refactor PR: Merge.< / li >
< li > Lightpush SEGFAULT on publishing message over size limit; < a href = "https://github.com/waku-org/nwaku/issues/2271" class = "external" > Issue< / a > < / li >
< / ul >
< / li >
< / ul >
< h3 id = "vacacz" > vac:acz:< a aria-hidden = "true" tabindex = "-1" href = "#vacacz" class = "internal" > §< / a > < / h3 >
< ul >
< li > < code > admin/misc< / code >
< ul >
< li > participate @ waku hackerhouse, ethindia< / li >
< / ul >
< / li >
< li > < code > rlnp2p:waku:rln-relay-enhancments< / code >
< ul >
< li > assist in benchmarking rln tree onchain, report: < a href = "https://github.com/waku-org/research/issues/72" class = "external" > https://github.com/waku-org/research/issues/72< / a > < / li >
< / ul >
< / li >
< li > < code > secure-channels:waku:ethereum-chat< / code >
< ul >
< li > Familiarization with RFC9420 and RFC9180.< / li >
< li > Confection of several comparisons to get to SoA:
< ul >
< li > TreeKEM vs ART.< / li >
< li > HPKE vs UPKE.< / li >
< / ul >
< / li >
< li > Work on using Ethereum as Authentication Service.< / li >
< li > Created a document about Farcaster’ < a href = "https://www.notion.so/WiP-Farcaster-s-Async-Triple-Ratchet-Protocol-ATR-a940e4f944fd40a8a8e039a47431bb9b?pvs=4" class = "external" > (WIP)< / a > < / li >
< li > Researching about Triple-Ratchet protocol from literature.< / li >
< / ul >
< / li >
< li > < code > zerokit:vac:maintenance< / code >
< ul >
< li > researched issue < a href = "https://github.com/vacp2p/zerokit/issues/115" class = "external" > https://github.com/vacp2p/zerokit/issues/115< / a > < / li >
< / ul >
< / li >
< / ul >
< h3 id = "vacsc" > vac:sc::< a aria-hidden = "true" tabindex = "-1" href = "#vacsc" class = "internal" > §< / a > < / h3 >
< ul >
< li > < code > vac:maintainance/misc< / code >
< ul >
< li > Continued researching Certora and formal verification< / li >
< li > reviewed old Certora specs< / li >
< li > Exploring Requirements for Smart Contracts in a Privacy-preserving Environment (for logos research call)< / li >
< / ul >
< / li >
< / ul >
< h3 id = "vacnescience" > vac:nescience:< a aria-hidden = "true" tabindex = "-1" href = "#vacnescience" class = "internal" > §< / a > < / h3 >
< ul >
< li > < code > state-separation:vac:state-separation-doc< / code >
< ul >
< li > Researched different L2 and Rollups focusing on privacy (Az, Pol, Zc, Nmd, Ada)< / li >
< li > Reviewed Az Ugur’ < / li >
< li > Discussed on Zc for a proposal model< / li >
< li > Produced a full doc on < a href = "https://www.notion.so/Nescience-cd358fe429b14fa2ab38ca42835a8451?pvs=4#3bd6854511f04c46804e9c465e76230c" class = "external" > Pol architecture< / a > < / li >
< li > Continue with Verkle tree document for complexity estimates for various cases.< / li >
< li > Wrote brief survey on (newer PCSs) (Pending upload): < a href = "https://eprint.iacr.org/2022/420.pdf" class = "external" > 1< / a > , < a href = "https://eprint.iacr.org/2023/917" class = "external" > 2< / a > , < a href = "https://eprint.iacr.org/2021/1043.pdf" class = "external" > 3< / a > < / li >
< li > Continued reading < a href = "https://eprint.iacr.org/2023/1762.pdf" class = "external" > VM SMT< / a > < / li >
< li > Began reading < a href = "https://eprint.iacr.org/2023/1784" class = "external" > towers over binary fields< / a > < / li >
< li > researched how to update the public state by a private execution< / li >
< li > Worked on a proposal about a public state that we can update by a private TX< / li >
< li > Read about how Zcash update their public state< / li >
< li > Check a < a href = "https://arxiv.org/pdf/1904.00905.pdf" class = "external" > paper about Zcash-like execution on Ethereum< / a > < / li >
< / ul >
< / li >
< li > < code > proofsystems:vac:benchmarks< / code >
< ul >
< li > Fixed comment for a PR for GWC implementation of poseidon circuit for halo2 < a href = "https://github.com/vacp2p/zk-explorations/pull/17" class = "external" > https://github.com/vacp2p/zk-explorations/pull/17< / a > < / li >
< li > Fixed comment for a PR for SHPLONK implementation of poseidon circuit for halo2 < a href = "https://github.com/vacp2p/zk-explorations/pull/18" class = "external" > https://github.com/vacp2p/zk-explorations/pull/18< / a > < / li >
< li > Fixed github issues on zk-explorations repo< / li >
< / ul >
< / li >
< li > < code > proofsystems:vac:research-existing-proof-systems< / code >
< ul >
< li > Writing BaseFold writeup (< a href = "https://eprint.iacr.org/2023/1705.pdf" class = "external" > https://eprint.iacr.org/2023/1705.pdf< / a > )< / li >
< / ul >
< / li >
< / ul >
< h3 id = "vacdr" > vac:dr:< a aria-hidden = "true" tabindex = "-1" href = "#vacdr" class = "internal" > §< / a > < / h3 >
< ul >
< li > < code > valpriv:vac:tor-push-poc< / code >
< ul >
< li > separate measurement for aggregation from attestation, block proposal, sync committee.< / li >
< / ul >
< / li >
< li > < code > valpriv:vac:tor-push-paper< / code >
< ul >
< li > Shared to-be-submitted arxiv version< / li >
< / ul >
< / li >
< li > < code > gsub-scaling:vac:gossipsub-improvements-paper< / code >
< ul >
< li > Completed simulations for relatively large network (upto 6000 nodes with 50KB and upto 1000 nodes with 1MB messages), on DST test server< / li >
< li > Result analysis is complete. Looking into one anomaly (increased latency seen for approximately 1% nodes in Reduced Sending method)< / li >
< li > Finalizing graphs and results presentation< / li >
< / ul >
< / li >
< / ul >
< h3 id = "vacrfc" > vac:rfc:< a aria-hidden = "true" tabindex = "-1" href = "#vacrfc" class = "internal" > §< / a > < / h3 >
< ul >
< li > < code > waku:waku-usage< / code >
< ul >
< li > updated waku-usage - < a href = "https://github.com/vacp2p/rfc/pull/627" class = "external" > https://github.com/vacp2p/rfc/pull/627< / a > < / li >
< / ul >
< / li >
< li > < code > waku:waku-keystore< / code >
< ul >
< li > Updated waku-keystore, ready for feedback - < a href = "https://github.com/vacp2p/rfc/pull/631" class = "external" > https://github.com/vacp2p/rfc/pull/631< / a > < / li >
< / ul >
< / li >
< / ul > < / article > < / div > < div class = "right sidebar" > < div class = "graph " > < h3 > Graph View< / h3 > < div class = "graph-outer" > < div id = "graph-container" data-cfg = "{"drag":true,"zoom":true,"depth":1,"scale":1.1,"repelForce":0.5,"centerForce":0.3,"linkDistance":30,"fontSize":0.6,"opacityScale":1,"showTags":true,"removeTags":[]}" > < / div > < svg version = "1.1" id = "global-graph-icon" xmlns = "http://www.w3.org/2000/svg" xmlnsXlink = "http://www.w3.org/1999/xlink" x = "0px" y = "0px" viewBox = "0 0 55 55" fill = "currentColor" xmlSpace = "preserve" > < path d = "M49,0c-3.309,0-6,2.691-6,6c0,1.035,0.263,2.009,0.726,2.86l-9.829,9.829C32.542,17.634,30.846,17,29,17
s-3.542,0.634-4.898,1.688l-7.669-7.669C16.785,10.424,17,9.74,17,9c0-2.206-1.794-4-4-4S9,6.794,9,9s1.794,4,4,4
c0.74,0,1.424-0.215,2.019-0.567l7.669,7.669C21.634,21.458,21,23.154,21,25s0.634,3.542,1.688,4.897L10.024,42.562
C8.958,41.595,7.549,41,6,41c-3.309,0-6,2.691-6,6s2.691,6,6,6s6-2.691,6-6c0-1.035-0.263-2.009-0.726-2.86l12.829-12.829
c1.106,0.86,2.44,1.436,3.898,1.619v10.16c-2.833,0.478-5,2.942-5,5.91c0,3.309,2.691,6,6,6s6-2.691,6-6c0-2.967-2.167-5.431-5-5.91
v-10.16c1.458-0.183,2.792-0.759,3.898-1.619l7.669,7.669C41.215,39.576,41,40.26,41,41c0,2.206,1.794,4,4,4s4-1.794,4-4
s-1.794-4-4-4c-0.74,0-1.424,0.215-2.019,0.567l-7.669-7.669C36.366,28.542,37,26.846,37,25s-0.634-3.542-1.688-4.897l9.665-9.665
C46.042,11.405,47.451,12,49,12c3.309,0,6-2.691,6-6S52.309,0,49,0z M11,9c0-1.103,0.897-2,2-2s2,0.897,2,2s-0.897,2-2,2
S11,10.103,11,9z M6,51c-2.206,0-4-1.794-4-4s1.794-4,4-4s4,1.794,4,4S8.206,51,6,51z M33,49c0,2.206-1.794,4-4,4s-4-1.794-4-4
s1.794-4,4-4S33,46.794,33,49z M29,31c-3.309,0-6-2.691-6-6s2.691-6,6-6s6,2.691,6,6S32.309,31,29,31z M47,41c0,1.103-0.897,2-2,2
s-2-0.897-2-2s0.897-2,2-2S47,39.897,47,41z M49,10c-2.206,0-4-1.794-4-4s1.794-4,4-4s4,1.794,4,4S51.206,10,49,10z">< / path > < / svg > < / div > < div id = "global-graph-outer" > < div id = "global-graph-container" data-cfg = "{"drag":true,"zoom":true,"depth":-1,"scale":0.9,"repelForce":0.5,"centerForce":0.3,"linkDistance":30,"fontSize":0.6,"opacityScale":1,"showTags":true,"removeTags":[]}" > < / div > < / div > < / div > < div class = "toc desktop-only" > < button type = "button" id = "toc" > < h3 > Table of Contents< / h3 > < svg xmlns = "http://www.w3.org/2000/svg" width = "24" height = "24" viewBox = "0 0 24 24" fill = "none" stroke = "currentColor" stroke-width = "2" stroke-linecap = "round" stroke-linejoin = "round" class = "fold" > < polyline points = "6 9 12 15 18 9" > < / polyline > < / svg > < / button > < div id = "toc-content" > < ul class = "overflow" > < li class = "depth-0" > < a href = "#vacp2p" data-for = "vacp2p" > vac:p2p:< / a > < / li > < li class = "depth-0" > < a href = "#vactke" data-for = "vactke" > vac:tke:< / a > < / li > < li class = "depth-0" > < a href = "#vacdst" data-for = "vacdst" > vac:dst:< / a > < / li > < li class = "depth-0" > < a href = "#vacacz" data-for = "vacacz" > vac:acz:< / a > < / li > < li class = "depth-0" > < a href = "#vacsc" data-for = "vacsc" > vac:sc::< / a > < / li > < li class = "depth-0" > < a href = "#vacnescience" data-for = "vacnescience" > vac:nescience:< / a > < / li > < li class = "depth-0" > < a href = "#vacdr" data-for = "vacdr" > vac:dr:< / a > < / li > < li class = "depth-0" > < a href = "#vacrfc" data-for = "vacrfc" > vac:rfc:< / a > < / li > < / ul > < / div > < / div > < div class = "backlinks " > < h3 > Backlinks< / h3 > < ul class = "overflow" > < li > No backlinks found< / li > < / ul > < / div > < / div > < / div > < footer class > < hr / > < p > Created with < a href = "https://quartz.jzhao.xyz/" > Quartz v4.1.0< / a > , © 2023< / p > < ul > < li > < a href = "https://github.com/logos-co/roadmap" > GitHub< / a > < / li > < li > < a href = "https://discord.com/invite/logos-state" > Discord Community< / a > < / li > < / ul > < / footer > < / div > < / body > < script type = "application/javascript" > / / q u a r t z / c o m p o n e n t s / s c r i p t s / q u a r t z / c o m p o n e n t s / s c r i p t s / c a l l o u t . i n l i n e . t s
function toggleCallout() {
const outerBlock = this.parentElement;
outerBlock.classList.toggle(`is-collapsed`);
const collapsed = outerBlock.classList.contains(`is-collapsed`);
const height = collapsed ? this.scrollHeight : outerBlock.scrollHeight;
outerBlock.style.maxHeight = height + `px`;
let current = outerBlock;
let parent = outerBlock.parentElement;
while (parent) {
if (!parent.classList.contains(`callout`)) {
return;
}
const collapsed2 = parent.classList.contains(`is-collapsed`);
const height2 = collapsed2 ? parent.scrollHeight : parent.scrollHeight + current.scrollHeight;
parent.style.maxHeight = height2 + `px`;
current = parent;
parent = parent.parentElement;
}
}
function setupCallout() {
const collapsible = document.getElementsByClassName(
`callout is-collapsible`
);
for (const div of collapsible) {
const title = div.firstElementChild;
if (title) {
title.removeEventListener(`click`, toggleCallout);
title.addEventListener(`click`, toggleCallout);
const collapsed = div.classList.contains(`is-collapsed`);
const height = collapsed ? title.scrollHeight : div.scrollHeight;
div.style.maxHeight = height + `px`;
}
}
}
document.addEventListener(`nav`, setupCallout);
window.addEventListener(`resize`, setupCallout);
< / script > < script type = "module" >
import mermaid from 'https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.esm.min.mjs';
const darkMode = document.documentElement.getAttribute('saved-theme') === 'dark'
mermaid.initialize({
startOnLoad: false,
securityLevel: 'loose',
theme: darkMode ? 'dark' : 'default'
});
document.addEventListener('nav', async () => {
await mermaid.run({
querySelector: '.mermaid'
})
});
< / script > < script src = "https://cdn.jsdelivr.net/npm/katex@0.16.7/dist/contrib/copy-tex.min.js" type = "application/javascript" > < / script > < script src = "../../postscript.js" type = "module" > < / script > < / html >
