roadmap/waku/updates/2024-05-15.html

264 lines
141 KiB
HTML
Raw Normal View History

2024-05-15 06:20:55 +00:00
<!DOCTYPE html>
2024-05-17 04:34:57 +00:00
<html><head><title>2024-05-15 Waku Weekly</title><meta charSet="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><meta property="og:title" content="2024-05-15 Waku Weekly"/><meta property="og:description" content="Research Milestones § Store Incentivisation Status: In Progress Project: https://github.com/orgs/waku-org/projects/17 in-progress: [nwaku] feat: experimental incentivize store protocol RLN in resource-restricted clients Status: In Progress Project: https://github."/><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="Research Milestones § Store Incentivisation Status: In Progress Project: https://github.com/orgs/waku-org/projects/17 in-progress: [nwaku] feat: experimental incentivize store protocol RLN in resource-restricted clients Status: In Progress Project: https://github."/><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&amp;family=sans-serif:wght@400;700&amp;family=sans-serif:ital,wght@0,400;0,600;1,400;1,600&amp;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="waku/updates/2024-05-15"><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.
2024-05-15 06:20:55 +00:00
<p><a href="https://github.com/waku-org/pm/milestone/23" class="external">Store Incentivisation</a></p>
<ul>
<li>Status: In Progress</li>
<li>Project: <a href="https://github.com/orgs/waku-org/projects/17" class="external">https://github.com/orgs/waku-org/projects/17</a>
<ul>
<li>in-progress:
<ul>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/1961" class="external">feat: experimental incentivize store protocol</a></li>
</ul>
</li>
</ul>
</li>
</ul>
<p><a href="https://github.com/waku-org/pm/issues/159" class="external">RLN in resource-restricted clients</a></p>
<ul>
<li>Status: In Progress</li>
<li>Project: <a href="https://github.com/orgs/waku-org/projects/18/views/1" class="external">https://github.com/orgs/waku-org/projects/18/views/1</a>
<ul>
<li>achieved: PR for message validation in lightpush before relaying.</li>
<li>next: continue lightpush attaching RLN proofs to messages received from clients.</li>
</ul>
</li>
</ul>
<p><a href="https://github.com/waku-org/pm/issues/163" class="external">RLNv2</a></p>
<ul>
<li>Status: In Progress</li>
<li>Project: <a href="https://github.com/orgs/waku-org/projects/21/views/1" class="external">https://github.com/orgs/waku-org/projects/21/views/1</a>
<ul>
<li>achieved: Test implementation WIP.</li>
<li>next:
<ul>
<li>Continue planning for next waku fork (RLNv2 + onchain root/proofs) See: <a href="https://github.com/waku-org/research/issues/96" class="external">https://github.com/waku-org/research/issues/96</a> (future section). RLN v2 testing. New smart contract with both features. Prepare presentation for DLT conference.</li>
<li>Test implementation continued and testing.</li>
</ul>
</li>
</ul>
</li>
</ul>
<p><a href="https://github.com/waku-org/pm/milestone/21" class="external">Store v3 - Waku Sync</a></p>
<ul>
<li>Status: In Progress</li>
<li>Project: <a href="https://github.com/orgs/waku-org/projects/20/views/1" class="external">https://github.com/orgs/waku-org/projects/20/views/1</a>
<ul>
<li>achieved:
<ul>
<li>Explored if there is a way to prune the negentropy storage based on timestamp.</li>
<li>Ttype state machine implementation and pruning mechanism.</li>
</ul>
</li>
<li>next:
<ul>
<li>write subrange wrappers for negentropy and use subranges to sync.</li>
<li>using hashes to fill the archive with the missing messages.</li>
</ul>
</li>
</ul>
</li>
</ul>
<p><a href="https://github.com/waku-org/pm/milestone/20" class="external">Store v3 - message hashes</a></p>
<ul>
<li>Status: In Progress</li>
<li>Project: <a href="https://github.com/orgs/waku-org/projects/16/views/1" class="external">https://github.com/orgs/waku-org/projects/16/views/1</a>
<ul>
<li>achieved:
<ul>
<li>bug fixes</li>
</ul>
</li>
<li>next:
<ul>
<li>fix compatability with Waku sync</li>
</ul>
</li>
</ul>
</li>
</ul>
<h2 id="engineering-milestones">Engineering Milestones<a aria-hidden="true" tabindex="-1" href="#engineering-milestones" class="internal"> §</a></h2>
<p><a href="https://github.com/waku-org/pm/issues/114" class="external">Composing Waku Protocols to Improve Reliability</a></p>
<ul>
<li>Status: In Progress</li>
<li>Project: <a href="https://github.com/orgs/waku-org/projects/9/views/1" class="external">https://github.com/orgs/waku-org/projects/9/views/1</a>
<ul>
<li>completed:
<ul>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/1890" class="external">refine Filter</a></li>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/1886" class="external">chore: protocol implementations in @waku/core should be as unopinionated as possible</a></li>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/1463" class="external">feat: SDK for redundant usage of filter/lightpush</a></li>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/1966" class="external">bug: lightPush is not able to keep node connections</a></li>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/2002" class="external">https://github.com/waku-org/js-waku/issues/2002</a></li>
</ul>
</li>
<li>in-progress:
<ul>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/2002" class="external">feat: peer management for protocols (with disconnection management)</a></li>
</ul>
</li>
<li>next:
<ul>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/2000" class="external">investigate suspended js-waku in suspended mode</a></li>
</ul>
</li>
</ul>
</li>
</ul>
<p><a href="https://github.com/waku-org/pm/issues/66" class="external">DOS protection for req-res protocols and metrics</a></p>
<ul>
<li>Status: In Progress</li>
<li>Project: <a href="https://github.com/orgs/waku-org/projects/11/views/1" class="external">https://github.com/orgs/waku-org/projects/11/views/1</a>
<ul>
<li>completed:
<ul>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2589" class="external">chore: Address more attack vectors in rate limiting non-relay protocols</a></li>
</ul>
</li>
<li>in-progress:
<ul>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2683" class="external">feat: Rate limit phase#3 - peer request rate registration and prioritization</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/1945" class="external">feat: Proper bandwidth metrics per shard</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2032" class="external">feat: Enforce service specific rate limits</a></li>
</ul>
</li>
<li>next:
<ul>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/1946" class="external">feat: Failsafe mechanism (guide) for BW limiting</a></li>
</ul>
</li>
</ul>
</li>
</ul>
<p><a href="https://github.com/waku-org/pm/issues/121" class="external">Bindings</a></p>
<ul>
<li>Status: In Progress</li>
<li>Project: <a href="https://github.com/orgs/waku-org/projects/6/views/6" class="external">https://github.com/orgs/waku-org/projects/6/views/6</a>
<ul>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2455" class="external">chore: support setting DiscV5 and DNS-discovery in libwaku</a></li>
</ul>
</li>
</ul>
<h2 id="other-work">Other Work<a aria-hidden="true" tabindex="-1" href="#other-work" class="internal"> §</a></h2>
<h3 id="bugs">Bugs<a aria-hidden="true" tabindex="-1" href="#bugs" class="internal"> §</a></h3>
<h4 id="in-progress">In Progress<a aria-hidden="true" tabindex="-1" href="#in-progress" class="internal"> §</a></h4>
<ul>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/2011" class="external">feat: map/use correct bootstrap nodes fleet according to the configured pubsub topic</a></li>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/2007" class="external">test: create scripts for running light-push/filter and measuring ratio of messages sent and received</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2701" class="external">bug: flaky test fails on MacOS</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2621" class="external">bug: nwaku &lt;> js-waku interop tests failing</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2592" class="external">bug: Peer Reconnection not working?</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2560" class="external">bug: build error on new AMD cpus (ubuntu 22.04 LTS)</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2552" class="external">bug/regression: node ca be started on multiple clusters</a></li>
</ul>
<h4 id="next">Next<a aria-hidden="true" tabindex="-1" href="#next" class="internal"> §</a></h4>
<ul>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/1902" class="external">bug: ApplicationInfo to PubsubTopic doesnt take clusterId into consideration</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2643" class="external">bug: Deserialization error on POST /relay/v1/auto/messages with ephemeral field in body</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2628" class="external">bug: running testwaku can hang in some cases of UPnP or nat-pmp networking</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2615" class="external">bug: Store REST API returns invalid digest</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2538" class="external">bug: autosharding resolves content topics to wrong shard</a></li>
</ul>
<h3 id="enhancements">Enhancements<a aria-hidden="true" tabindex="-1" href="#enhancements" class="internal"> §</a></h3>
<h4 id="in-progress-1">In Progress<a aria-hidden="true" tabindex="-1" href="#in-progress-1" class="internal"> §</a></h4>
<ul>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/2011" class="external">feat: map/use correct bootstrap nodes fleet according to the configured pubsub topic</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2700" class="external">feat: light protocol tester application</a></li>
</ul>
<h4 id="next-1">Next<a aria-hidden="true" tabindex="-1" href="#next-1" class="internal"> §</a></h4>
<ul>
<li>[js-waku] <a href="https://github.com/waku-org/js-waku/issues/1814" class="external">feat: improve reuse of pubsub/content topic configuration</a></li>
<li>[js-waku] <a href="https://github.com/waku-org/js-rln/issues/76" class="external">feat: better developer experience</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/2593" class="external">feat: RLN-proofs as a lightpush service</a></li>
<li>[nwaku] <a href="https://github.com/waku-org/nwaku/issues/1004" class="external">Add a flag to require minimum number of peers to publish a message on relay</a></li>
</ul>
<h2 id="ecosystem-development">Ecosystem Development<a aria-hidden="true" tabindex="-1" href="#ecosystem-development" class="internal"> §</a></h2>
<h3 id="bd">BD<a aria-hidden="true" tabindex="-1" href="#bd" class="internal"> §</a></h3>
<ul>
<li>Qualified two leads</li>
<li>Advanced one lead toward deal</li>
<li>Set up two meetings with potential partners</li>
</ul>
<h3 id="dev-rel">Dev Rel<a aria-hidden="true" tabindex="-1" href="#dev-rel" class="internal"> §</a></h3>
<ul>
<li>The Waku Network hit 500 nodes - yay!</li>
<li>Events page update</li>
<li>The Graph blog article draft</li>
<li>The Graph interview</li>
</ul>
<h3 id="comms-and-events">Comms and Events<a aria-hidden="true" tabindex="-1" href="#comms-and-events" class="internal"> §</a></h3>
<ul>
<li>X: +489</li>
<li>Linkedin: +7</li>
<li>Discord: +44</li>
<li>Waku intro finalized - <a href="https://www.youtube.com/watch?v=nIWx5Vp_Qxk" class="external">https://www.youtube.com/watch?v=nIWx5Vp_Qxk</a></li>
<li>2 “how to run nodes” tutorials went live</li>
<li>Published Montly newsletter</li>
<li>Railgun interview went live</li>
<li>Builder Spotlight went live</li>
</ul>
<h3 id="docs">Docs<a aria-hidden="true" tabindex="-1" href="#docs" class="internal"> §</a></h3>
<ul>
<li>Implemented a script on waku.org for automatic creation and updating of the specs section</li>
<li>Submitted a pull request to the specs repository to fix broken links and adjust the front matter</li>
<li>Got the specs repo PR approved and merged Follow up with Hanno on <a href="https://github.com/waku-org/waku.org/pull/76#issuecomment-2090271892" class="external">RFC website</a> plans Added high level overview of waku simulation results</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="{&quot;drag&quot;:true,&quot;zoom&quot;:true,&quot;depth&quot;:1,&quot;scale&quot;:1.1,&quot;repelForce&quot;:0.5,&quot;centerForce&quot;:0.3,&quot;linkDistance&quot;:30,&quot;fontSize&quot;:0.6,&quot;opacityScale&quot;:1,&quot;showTags&quot;:true,&quot;removeTags&quot;:[]}"></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="{&quot;drag&quot;:true,&quot;zoom&quot;:true,&quot;depth&quot;:-1,&quot;scale&quot;:0.9,&quot;repelForce&quot;:0.5,&quot;centerForce&quot;:0.3,&quot;linkDistance&quot;:30,&quot;fontSize&quot;:0.6,&quot;opacityScale&quot;:1,&quot;showTags&quot;:true,&quot;removeTags&quot;:[]}"></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="#research-milestones" data-for="research-milestones">Research Milestones</a></li><li class="depth-0"><a href="#engineering-milestones" data-for="engineering-milestones">Engineering Milestones</a></li><li class="depth-0"><a href="#other-work" data-for="other-work">Other Work</a></li><li class="depth-1"><a href="#bugs" data-for="bugs">Bugs</a></li><li class="depth-1"><a href="#enhancements" data-for="enhancements">Enhancements</a></li><li class="depth-0"><a href="#ecosystem-development" data-for="ecosystem-development">Ecosystem Development</a></li><li class="depth-1"><a href="#bd" data-for="bd">BD</a></li><li class="depth-1"><a href="#dev-rel" data-for="dev-rel">Dev Rel</a></li><li class="depth-1"><a href="#comms-and-events" data-for="comms-and-events">Comms and Events</a></li><li class="depth-1"><a href="#docs" data-for="docs">Docs</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>, © 2024</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">// quartz/components/scripts/quartz/components/scripts/callout.inline.ts
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>