logos-co/roadmap
1
0
Fork 0
mirror of https://github.com/logos-co/roadmap.git synced 2025-02-24 13:48:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
roadmap/vac/updates/2023-10-02.html

296 lines
106 KiB
HTML
Raw Normal View History

Update documentation
2023-10-02 14:55:53 +00:00
<!DOCTYPE html>
Update documentation
2023-10-12 17:24:25 +00:00
<html><head><title>2023-10-02 Vac weekly</title><meta charSet="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><meta property="og:title" content="2023-10-02 Vac weekly"/><meta property="og:description" content="vac:p2p: § nim-chronos:vac:maintenance Opened alternative fix for closure completion issue nimlibp2p:vac:gossipsub-stagger-send Continued simulations nimlibp2p:vac:webrtc-transport Continued vertical integration of protocols nim-libp2p:vac:maintenance Merged gossipsub IWANT fix vac:tke: § vac:tke::codex:economic-analysis Codex pushed meeting back again, reviewing this week to get in sync on timeline and steps for final delivery vac:tke::status:SNT-staking John has reviewed goverance process itself, governance proposal template, staking gov proposal, finalize details with him this week Complete anonymous user matching proposal draft Still some differences between design and implementation in SC, Martin working on these items in order to hand off - Rewards should not be claim order dependent - Restaking mechanism, same vault vs create new vault - Rewards can be claimed retroactively vs GMX style model of needing to claim in real-time vac:tke::nomos:economic-analysis Frederico in regular communication with Alvaro, continuing on Private Addressing research vac:tke::waku:economic-analysis Martin follow up with Sergei on collaboration ideas and feedback on WAKU so far vac:dst: § wakurtosis:vac:retrospective-rlog Delivered for first round of reviews (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="vac:p2p: § nim-chronos:vac:maintenance Opened alternative fix for closure completion issue nimlibp2p:vac:gossipsub-stagger-send Continued simulations nimlibp2p:vac:webrtc-transport Continued vertical integration of protocols nim-libp2p:vac:maintenance Merged gossipsub IWANT fix vac:tke: § vac:tke::codex:economic-analysis Codex pushed meeting back again, reviewing this week to get in sync on timeline and steps for final delivery vac:tke::status:SNT-staking John has reviewed goverance process itself, governance proposal template, staking gov proposal, finalize details with him this week Complete anonymous user matching proposal draft Still some differences between design and implementation in SC, Martin working on these items in order to hand off - Rewards should not be claim order dependent - Restaking mechanism, same vault vs create new vault - Rewards can be claimed retroactively vs GMX style model of needing to claim in real-time vac:tke::nomos:economic-analysis Frederico in regular communication with Alvaro, continuing on Private Addressing research vac:tke::waku:economic-analysis Martin follow up with Sergei on collaboration ideas and feedback on WAKU so far vac:dst: § wakurtosis:vac:retrospective-rlog Delivered for first round of reviews (https://github."/><meta name="generator" content="Logos Roadmaps"/><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="vac/updates/2023-10-02"><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
Update documentation
2023-10-02 15:44:53 +00:00
<ul>
<li><code>nim-chronos:vac:maintenance</code>
<ul>
<li>Opened alternative <a href="https://github.com/status-im/nim-chronos/pull/449" class="external">fix</a> for closure completion issue</li>
</ul>
</li>
<li><code>nimlibp2p:vac:gossipsub-stagger-send</code>
<ul>
<li>Continued simulations</li>
</ul>
</li>
<li><code>nimlibp2p:vac:webrtc-transport</code>
<ul>
<li>Continued vertical integration of protocols</li>
</ul>
</li>
<li><code>nim-libp2p:vac:maintenance</code>
<ul>
<li>Merged gossipsub IWANT <a href="https://github.com/status-im/nim-libp2p/pull/944" class="external">fix</a></li>
</ul>
</li>
</ul>
Update documentation
2023-10-02 14:55:53 +00:00
<h3 id="vactke">vac:tke:<a aria-hidden="true" tabindex="-1" href="#vactke" class="internal"> §</a></h3>
<ul>
<li><code>vac:tke::codex:economic-analysis</code>
<ul>
<li>Codex pushed meeting back again, reviewing this week to get in sync on timeline and steps for final delivery</li>
</ul>
</li>
<li><code>vac:tke::status:SNT-staking</code>
<ul>
<li>John has reviewed goverance process itself, governance proposal template, staking gov proposal, finalize details with him this week</li>
<li>Complete anonymous user matching proposal draft</li>
<li>Still some differences between design and implementation in SC, Martin working on these items in order to hand off
- Rewards should not be claim order dependent
- Restaking mechanism, same vault vs create new vault
- Rewards can be claimed retroactively vs GMX style model of needing to claim in real-time</li>
</ul>
</li>
<li><code>vac:tke::nomos:economic-analysis</code>
<ul>
<li>Frederico in regular communication with Alvaro, continuing on Private Addressing research</li>
</ul>
</li>
<li><code>vac:tke::waku:economic-analysis</code>
<ul>
<li>Martin follow up with Sergei on collaboration ideas and feedback on WAKU so far</li>
</ul>
</li>
</ul>
<h3 id="vacdst">vac:dst:<a aria-hidden="true" tabindex="-1" href="#vacdst" class="internal"> §</a></h3>
<ul>
<li><code>wakurtosis:vac:retrospective-rlog</code>
<ul>
<li>Delivered for first round of reviews (<a href="https://github.com/vacp2p/vac.dev/pull/131" class="external">https://github.com/vacp2p/vac.dev/pull/131</a>)</li>
</ul>
</li>
<li><code>wakurtosis:vac:rlog</code>
<ul>
<li>Taken care of review comments, still issues with results (injection loss)</li>
</ul>
</li>
<li><code>eng-10ktool:vac:bandwidth-test</code>
<ul>
<li>Changed dst-node code to fit a K8s environment</li>
<li>Put dst-node in dockerhub</li>
<li>Run as many nodes as possible on two machines with plain Kubernetes</li>
</ul>
</li>
<li><code>software-testing:waku:test-plans</code>
<ul>
<li>Finished the Relay test plan: <a href="https://www.notion.so/Relay-c91b6df8d96a4527b5d2d599bf8dd54e" class="external">https://www.notion.so/Relay-c91b6df8d96a4527b5d2d599bf8dd54e</a></li>
</ul>
</li>
<li><code>software-testing:waku:test-automation-js-waku</code>
<ul>
<li>Added new tests for <strong>static sharding</strong> feature (phase 1) to cover filter, lighPush, store and relay protocol. Also changed existing methods and tests to support multiple pubSubTopics. Awaiting review: <a href="https://github.com/waku-org/js-waku/pull/1624" class="external">https://github.com/waku-org/js-waku/pull/1624</a></li>
<li>Started refactoring and adding new tests for <strong>store</strong> protocol. Draft PR: <a href="https://github.com/waku-org/js-waku/pull/1627" class="external">https://github.com/waku-org/js-waku/pull/1627</a></li>
<li>Helped investigating a change in nwaku that caused issues in the js-waku lightPush tests</li>
</ul>
</li>
<li><code>software-testing:waku:test-automation-nwaku</code>
<ul>
<li>Merge coverage <a href="https://github.com/waku-org/nwaku/pull/2067" class="external">https://github.com/waku-org/nwaku/pull/2067</a></li>
<li>Update open Filter PRs</li>
<li>Implement waku filter tests (Unsubscribe, payloads, security and privacy)
<ul>
<li><a href="https://github.com/waku-org/nwaku/pull/2085" class="external">Unsubscribe PR</a></li>
<li><a href="https://github.com/waku-org/nwaku/pull/2095" class="external">Unsubscribe All, Payloads, and Privacy and Security PR</a></li>
<li><a href="https://github.com/waku-org/nwaku/pull/2096" class="external">Node Privacy and Security PR</a></li>
</ul>
</li>
<li>Implement returning error on “unsubscribing from non-subscribed server” (Change inside <code>Unsubscribe PR</code>)</li>
</ul>
</li>
<li><code>software-testing:waku:test-automation-go-waku</code>
<ul>
<li>Ran Go’s coverage report to see about unit tests</li>
<li>Built and played with Waku v2 Filter example, docker image locally</li>
<li>Wrote Dockerfile and test container image build workflow</li>
<li>go-waku’s test docker registry @quay.io is in preparation with jakubgs</li>
</ul>
</li>
</ul>
<h3 id="vacacz">vac:acz:<a aria-hidden="true" tabindex="-1" href="#vacacz" class="internal"> §</a></h3>
<ul>
<li><code>zerokit:vac:zerokit-v0.4</code>
<ul>
<li>unblocked rln-v2 proof verification, pending rln-wasm bug fix</li>
</ul>
</li>
<li><code>secure-channels:waku:ethereum-chat</code>
<ul>
<li>Completed a first version of the WiP including an extension to group chats.</li>
<li>Completed a first approach to using Noise nomenclature for X3DH and the DH ratchet in the double ratchet.</li>
<li>Studied how to approach Signal’s PQXDH in terms of Noise.</li>
</ul>
</li>
</ul>
<h3 id="vacsc">vac:sc::<a aria-hidden="true" tabindex="-1" href="#vacsc" class="internal"> §</a></h3>
<ul>
<li><code>status:community-contracts-deployer</code>
<ul>
<li>Code clean up <a href="https://github.com/status-im/communities-contracts/pull/17" class="external">https://github.com/status-im/communities-contracts/pull/17</a></li>
<li>Custom token events <a href="https://github.com/status-im/communities-contracts/pull/18" class="external">https://github.com/status-im/communities-contracts/pull/18</a></li>
</ul>
</li>
<li><code>status:community-curation-contracts</code>
<ul>
<li>Finish moving to foundry template <a href="https://github.com/status-im/community-dapp/pull/69" class="external">https://github.com/status-im/community-dapp/pull/69</a></li>
<li>Add foundry deployment script <a href="https://github.com/status-im/community-dapp/pull/70" class="external">https://github.com/status-im/community-dapp/pull/70</a></li>
<li>Introduce evaluation limit and use minime token <a href="https://github.com/status-im/community-dapp/pull/72" class="external">https://github.com/status-im/community-dapp/pull/72</a></li>
<li>Smaller additional PRs
<ul>
<li>Remove safeMath/save gas <a href="https://github.com/status-im/community-dapp/pull/71" class="external">https://github.com/status-im/community-dapp/pull/71</a></li>
<li>Use OZs Ownable <a href="https://github.com/status-im/community-dapp/pull/73" class="external">https://github.com/status-im/community-dapp/pull/73</a></li>
<li>Production parameters <a href="https://github.com/status-im/community-dapp/pull/74" class="external">https://github.com/status-im/community-dapp/pull/74</a></li>
</ul>
</li>
</ul>
</li>
<li><code>status:SNT-optimism-bridge</code>
<ul>
<li>Move repository to foundry template</li>
<li>Add modern minime as dependency <a href="https://github.com/logos-co/optimism-bridge-snt/pull/9" class="external">https://github.com/logos-co/optimism-bridge-snt/pull/9</a></li>
</ul>
</li>
<li><code>status:community-contracts-ERC20</code>
<ul>
<li>Added Owners and Master tokens to Community ERC20 contract</li>
</ul>
</li>
<li><code>status:SNT-optimism-bridge</code>
<ul>
<li><a href="https://notes.status.im/_dVHPVA9TZe-ORa_SNkmJg#" class="external">report for certora</a></li>
<li><a href="https://github.com/vacp2p/minime/pull/36" class="external">implement ERC2612</a></li>
<li><a href="https://github.com/vacp2p/minime/pull/39" class="external">improve code and gas cost</a></li>
<li><a href="https://github.com/vacp2p/minime/pull/33" class="external">coverage to almost 100%</a></li>
<li><a href="https://github.com/vacp2p/minime/pull/34" class="external">improve abstraction of MiniMeBase</a></li>
<li>work on SNTPlaceHolder issues
<ul>
<li><a href="https://github.com/logos-co/optimism-bridge-snt/pull/11" class="external">add claimTokens</a></li>
<li><a href="https://github.com/logos-co/optimism-bridge-snt/pull/10" class="external">remove safemath</a></li>
</ul>
</li>
</ul>
</li>
</ul>
<h3 id="vaczkvm">vac:zkvm:<a aria-hidden="true" tabindex="-1" href="#vaczkvm" class="internal"> §</a></h3>
<ul>
<li><code>proofsystems:vac:research-existing-proof-systems</code>
<ul>
<li>Written a document for Proof Creation and Verification (Goal 3 for Nescience) - WIP 70%</li>
<li>Started a first draft for research article for Nescience</li>
<li>Started readings on bulding secure zkVMs</li>
<li>Researched on Poseidon paper (<a href="https://eprint.iacr.org/2019/458.pdf" class="external">https://eprint.iacr.org/2019/458.pdf</a>) and is implementations</li>
<li>Finished Jolt writeup (<a href="https://www.notion.so/zkVM-cd358fe429b14fa2ab38ca42835a8451?pvs=4#43de765557544ec59efa038a2d39c98b" class="external">https://www.notion.so/zkVM-cd358fe429b14fa2ab38ca42835a8451?pvs=4#43de765557544ec59efa038a2d39c98b</a>)</li>
</ul>
</li>
<li><code>proofsystems:vac:benchmarks</code>
<ul>
<li>added ducumentation to plonky2 code (<a href="https://github.com/vacp2p/zk-explorations/pull/15" class="external">https://github.com/vacp2p/zk-explorations/pull/15</a>)</li>
<li>Work on <a href="https://github.com/vacp2p/zk-explorations/pull/11" class="external">Halo2-benchmark</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>Reducing attestation miss rate, separating peerpool/conn table for torswitch</li>
</ul>
</li>
<li><code>valpriv:vac:tor-push-paper</code>
<ul>
<li>paper updated</li>
</ul>
</li>
<li><code>gsub-scaling:vac:unstructured-p2p-improvements-survey</code>
<ul>
<li>Incorporated suggested changes GossipSub improvements research log post (<a href="https://github.com/vacp2p/vac.dev/pull/130" class="external">https://github.com/vacp2p/vac.dev/pull/130</a>). Currently doing proofreads, and readjusting citations.</li>
</ul>
</li>
<li><code>gsub-scaling:vac:gossipsub-simulation</code>
<ul>
<li>Pull request created for GossipSub shadow simulation.</li>
</ul>
</li>
<li><code>consensus:nomos:carnot-vote-2-3rds-vote-aggregation</code>
<ul>
<li>Writing the psuedocode (<a href="https://github.com/logos-co/nomos-specs/blob/Carnot-vote-aggregation/carnot/carnot-vote-aggregation.py" class="external">https://github.com/logos-co/nomos-specs/blob/Carnot-vote-aggregation/carnot/carnot-vote-aggregation.py</a>).</li>
<li>Adding discussion to the high level protocol document(<a href="https://www.notion.so/High-Level-Algorithm-6535ac0363df4629ad2c40dff4bc62cd" class="external">https://www.notion.so/High-Level-Algorithm-6535ac0363df4629ad2c40dff4bc62cd</a>)</li>
</ul>
</li>
<li><code>:nomos:review</code>
<ul>
<li>Reviewing <a href="https://www.notion.so/Data-Availability-Specification-c3961b681eba4ccdab2be9181e4207b4#3df2088e8a9b4c048310e51ff8e577a8" class="external">https://www.notion.so/Data-Availability-Specification-c3961b681eba4ccdab2be9181e4207b4#3df2088e8a9b4c048310e51ff8e577a8</a></li>
</ul>
</li>
<li><code>zk:codex:storage-proofs-open-problems-review</code>
<ul>
<li>sync with Codex on the issues</li>
</ul>
</li>
</ul>
<h3 id="vacrfc">vac:rfc:<a aria-hidden="true" tabindex="-1" href="#vacrfc" class="internal"> §</a></h3>
<ul>
<li><code>status:port-status-specs</code>
<ul>
<li>clean up 65/status-accounts spec, draft of test vectors which were omitted</li>
<li>Continue and finish porting a version of the PAYLOADS spec <a href="https://github.com/vacp2p/rfc/pull/612" class="external">https://github.com/vacp2p/rfc/pull/612</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="{&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="#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="#vaczkvm" data-for="vaczkvm">vac:zkvm:</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><hr/><p>Created by Logos 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">// 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>
Reference in New Issue Copy Permalink