Site updated: 2023-12-04 21:19:32

liqi16 · Dec 4, 2023 · e662c1a · e662c1a
1 parent b74a91e
commit e662c1a
Show file tree

Hide file tree

Showing 50 changed files with 871 additions and 245 deletions.
diff --git a/2023/11/29/ZKP-15-3-Formal-Methods-in-ZK-Part-II/index.html b/2023/11/29/ZKP-15-3-Formal-Methods-in-ZK-Part-II/index.html
@@ -327,6 +327,8 @@ <h2 id="Lecture-15-Secure-ZK-Circuits-via-Formal-Methods-Guest-Lecturer-Yu-Feng-
         </section>
         <section class="post-nav">
 
+                <a class="prev" rel="prev" href="/2023/12/04/ZKP-zkDT-PaperReading/">ZKP-zkDT(PaperReading)</a>
+
 
             <a class="next" rel="next" href="/2023/11/28/ZKP-15-2-Formal-Methods-in-ZK-Part-I/">ZKP15.2 Formal Methods in ZK (Part I)</a>
 

diff --git a/2023/12/04/ZKP-zkDT-PaperReading/1.png b/2023/12/04/ZKP-zkDT-PaperReading/1.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/10.png b/2023/12/04/ZKP-zkDT-PaperReading/10.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/11.png b/2023/12/04/ZKP-zkDT-PaperReading/11.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/12.png b/2023/12/04/ZKP-zkDT-PaperReading/12.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/13.png b/2023/12/04/ZKP-zkDT-PaperReading/13.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/2.png b/2023/12/04/ZKP-zkDT-PaperReading/2.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/3.png b/2023/12/04/ZKP-zkDT-PaperReading/3.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/4.png b/2023/12/04/ZKP-zkDT-PaperReading/4.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/5.png b/2023/12/04/ZKP-zkDT-PaperReading/5.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/6.png b/2023/12/04/ZKP-zkDT-PaperReading/6.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/7.png b/2023/12/04/ZKP-zkDT-PaperReading/7.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/8.png b/2023/12/04/ZKP-zkDT-PaperReading/8.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/9.png b/2023/12/04/ZKP-zkDT-PaperReading/9.png
diff --git a/2023/12/04/ZKP-zkDT-PaperReading/index.html b/2023/12/04/ZKP-zkDT-PaperReading/index.html
diff --git a/archives/2023/12/index.html b/archives/2023/12/index.html
@@ -0,0 +1,153 @@
+<!DOCTYPE html>
+<html lang="en">
+
+<head>
+    <meta charset="UTF-8">
+<meta name="viewport"
+      content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0">
+<meta http-equiv="X-UA-Compatible" content="ie=edge">
+
+    <meta name="author" content="Simba">
+
+
+
+
+
+<title>Archives: 2023/12 | Simba&#39;s Homepage</title>
+
+
+
+    <link rel="icon" href="/favicon.ico">
+
+
+
+
+    <!-- stylesheets list from _config.yml -->
+
+    <link rel="stylesheet" href="/css/style.css">
+
+
+
+
+    <!-- scripts list from _config.yml -->
+
+    <script src="/js/script.js"></script>
+
+    <script src="/js/tocbot.min.js"></script>
+
+
+
+
+
+
+
+
+
+
+<meta name="generator" content="Hexo 6.3.0"></head>
+
+<body>
+    <script>
+        // this function is used to check current theme before page loaded.
+        (() => {
+            const currentTheme = window.localStorage && window.localStorage.getItem('theme') || '';
+            const isDark = currentTheme === 'dark';
+            const pagebody = document.getElementsByTagName('body')[0]
+            if (isDark) {
+                pagebody.classList.add('dark-theme');
+                // mobile
+                document.getElementById("mobile-toggle-theme").innerText = "· Dark"
+            } else {
+                pagebody.classList.remove('dark-theme');
+                // mobile
+                document.getElementById("mobile-toggle-theme").innerText = "· Light"
+            }
+        })();
+    </script>
+
+    <div class="wrapper">
+        <header>
+    <nav class="navbar">
+        <div class="container">
+            <div class="navbar-header header-logo"><a href="/">Simba&#39;s Homepage</a></div>
+            <div class="menu navbar-right">
+
+                    <a class="menu-item" href="/archives">Posts</a>
+
+                    <a class="menu-item" href="/category">Categories</a>
+
+                    <a class="menu-item" href="/tag">Tags</a>
+
+                    <a class="menu-item" href="/about">About</a>
+
+                <input id="switch_default" type="checkbox" class="switch_default">
+                <label for="switch_default" class="toggleBtn"></label>
+            </div>
+        </div>
+    </nav>
+
+
+    <nav class="navbar-mobile" id="nav-mobile">
+        <div class="container">
+            <div class="navbar-header">
+                <div>
+                    <a href="/">Simba&#39;s Homepage</a><a id="mobile-toggle-theme">·&nbsp;Light</a>
+                </div>
+                <div class="menu-toggle" onclick="mobileBtn()">&#9776; Menu</div>
+            </div>
+            <div class="menu" id="mobile-menu">
+
+                    <a class="menu-item" href="/archives">Posts</a>
+
+                    <a class="menu-item" href="/category">Categories</a>
+
+                    <a class="menu-item" href="/tag">Tags</a>
+
+                    <a class="menu-item" href="/about">About</a>
+
+            </div>
+        </div>
+    </nav>
+
+</header>
+<script>
+    var mobileBtn = function f() {
+        var toggleMenu = document.getElementsByClassName("menu-toggle")[0];
+        var mobileMenu = document.getElementById("mobile-menu");
+        if(toggleMenu.classList.contains("active")){
+           toggleMenu.classList.remove("active")
+            mobileMenu.classList.remove("active")
+        }else{
+            toggleMenu.classList.add("active")
+            mobileMenu.classList.add("active")
+        }
+    }
+</script>
+            <div class="main">
+                <div class="post-wrap archive">
+
+
+
+
+
+            <h3>2023</h3>
+
+
+        <article class="archive-item">
+            <a class="archive-item-link" href="/2023/12/04/ZKP-zkDT-PaperReading/">ZKP-zkDT(PaperReading)</a>
+            <span class="archive-item-date">December 04, 2023</span>
+        </article>
+
+
+</div>
+            </div>
+            <footer id="footer" class="footer">
+    <div class="copyright">
+        <span>© Simba | Powered by <a href="https://hexo.io" target="_blank">Hexo</a> & <a href="https://github.com/Siricee/hexo-theme-Chic" target="_blank">Chic</a></span>
+    </div>
+</footer>
+
+    </div>
+</body>
+
+</html>
diff --git a/archives/2023/index.html b/archives/2023/index.html
@@ -133,6 +133,15 @@
             <h3>2023</h3>
 
 
+        <article class="archive-item">
+            <a class="archive-item-link" href="/2023/12/04/ZKP-zkDT-PaperReading/">ZKP-zkDT(PaperReading)</a>
+            <span class="archive-item-date">December 04, 2023</span>
+        </article>
+
+
+
+
+
         <article class="archive-item">
             <a class="archive-item-link" href="/2023/11/29/ZKP-15-3-Formal-Methods-in-ZK-Part-II/">ZKP15.3 Formal Methods in ZK (Part II)</a>
             <span class="archive-item-date">November 29, 2023</span>
@@ -210,15 +219,6 @@ <h3>2023</h3>
             <span class="archive-item-date">November 21, 2023</span>
         </article>
 
-
-
-
-
-        <article class="archive-item">
-            <a class="archive-item-link" href="/2023/11/20/Rust9-1-Object-Oriented-Programming-Features-of-Rust/">Rust9.1 Object-Oriented Programming Features of Rust</a>
-            <span class="archive-item-date">November 20, 2023</span>
-        </article>
-
 
     <nav class="pagination">
         <span class="page-number current">1</span><a class="page-number" href="/archives/2023/page/2/">2</a><a class="page-number" href="/archives/2023/page/3/">3</a><span class="space">&hellip;</span><a class="page-number" href="/archives/2023/page/8/">8</a>

diff --git a/archives/2023/page/2/index.html b/archives/2023/page/2/index.html
@@ -133,6 +133,15 @@
             <h3>2023</h3>
 
 
+        <article class="archive-item">
+            <a class="archive-item-link" href="/2023/11/20/Rust9-1-Object-Oriented-Programming-Features-of-Rust/">Rust9.1 Object-Oriented Programming Features of Rust</a>
+            <span class="archive-item-date">November 20, 2023</span>
+        </article>
+
+
+
+
+
         <article class="archive-item">
             <a class="archive-item-link" href="/2023/11/19/Rust8-2-Fearless-Concurrency/">Rust8.2 Fearless Concurrency</a>
             <span class="archive-item-date">November 19, 2023</span>
@@ -210,15 +219,6 @@ <h3>2023</h3>
             <span class="archive-item-date">November 11, 2023</span>
         </article>
 
-
-
-
-
-        <article class="archive-item">
-            <a class="archive-item-link" href="/2023/11/10/Rust4-1-Managing-Growing-Projects-with-Packages-Crates-and-Modules/">Rust4.1 Managing Growing Projects with Packages, Crates, and Modules</a>
-            <span class="archive-item-date">November 10, 2023</span>
-        </article>
-
 
     <nav class="pagination">
         <a class="page-number" href="/archives/2023/">1</a><span class="page-number current">2</span><a class="page-number" href="/archives/2023/page/3/">3</a><a class="page-number" href="/archives/2023/page/4/">4</a><span class="space">&hellip;</span><a class="page-number" href="/archives/2023/page/8/">8</a>

diff --git a/archives/2023/page/3/index.html b/archives/2023/page/3/index.html
@@ -133,6 +133,15 @@
             <h3>2023</h3>
 
 
+        <article class="archive-item">
+            <a class="archive-item-link" href="/2023/11/10/Rust4-1-Managing-Growing-Projects-with-Packages-Crates-and-Modules/">Rust4.1 Managing Growing Projects with Packages, Crates, and Modules</a>
+            <span class="archive-item-date">November 10, 2023</span>
+        </article>
+
+
+
+
+
         <article class="archive-item">
             <a class="archive-item-link" href="/2023/11/09/Rust3-Using-Structs-to-Structure-Related-Data-Enums-and-Pattern-Matching/">Rust3 Using Structs to Structure Related Data &amp; Enums and Pattern Matching</a>
             <span class="archive-item-date">November 09, 2023</span>
@@ -210,15 +219,6 @@ <h3>2023</h3>
             <span class="archive-item-date">November 02, 2023</span>
         </article>
 
-
-
-
-
-        <article class="archive-item">
-            <a class="archive-item-link" href="/2023/11/01/ZKP-9-SNARKs-based-on-Linear-PCP/">ZKP9 SNARKs based on Linear PCP (Pinocchio &amp; Groth16)</a>
-            <span class="archive-item-date">November 01, 2023</span>
-        </article>
-
 
     <nav class="pagination">
         <a class="page-number" href="/archives/2023/">1</a><a class="page-number" href="/archives/2023/page/2/">2</a><span class="page-number current">3</span><a class="page-number" href="/archives/2023/page/4/">4</a><a class="page-number" href="/archives/2023/page/5/">5</a><span class="space">&hellip;</span><a class="page-number" href="/archives/2023/page/8/">8</a>

diff --git a/archives/2023/page/4/index.html b/archives/2023/page/4/index.html
@@ -133,6 +133,15 @@
             <h3>2023</h3>
 
 
+        <article class="archive-item">
+            <a class="archive-item-link" href="/2023/11/01/ZKP-9-SNARKs-based-on-Linear-PCP/">ZKP9 SNARKs based on Linear PCP (Pinocchio &amp; Groth16)</a>
+            <span class="archive-item-date">November 01, 2023</span>
+        </article>
+
+
+
+
+
         <article class="archive-item">
             <a class="archive-item-link" href="/2023/10/31/ZKP-7-3-Linear-time-encodable-code-based-on-expanders/">ZKP7.3 Linear-time Encodable Code Based on Expanders</a>
             <span class="archive-item-date">October 31, 2023</span>
@@ -210,15 +219,6 @@ <h3>2023</h3>
             <span class="archive-item-date">October 19, 2023</span>
         </article>
 
-
-
-
-
-        <article class="archive-item">
-            <a class="archive-item-link" href="/2023/10/18/ZKP-4-1-SNARKs-via-Interactive-Proofs/">ZKP4.1 SNARKs via Interactive Proofs</a>
-            <span class="archive-item-date">October 18, 2023</span>
-        </article>
-
 
     <nav class="pagination">
         <a class="page-number" href="/archives/2023/">1</a><a class="page-number" href="/archives/2023/page/2/">2</a><a class="page-number" href="/archives/2023/page/3/">3</a><span class="page-number current">4</span><a class="page-number" href="/archives/2023/page/5/">5</a><a class="page-number" href="/archives/2023/page/6/">6</a><span class="space">&hellip;</span><a class="page-number" href="/archives/2023/page/8/">8</a>

diff --git a/archives/2023/page/5/index.html b/archives/2023/page/5/index.html
@@ -133,6 +133,15 @@
             <h3>2023</h3>
 
 
+        <article class="archive-item">
+            <a class="archive-item-link" href="/2023/10/18/ZKP-4-1-SNARKs-via-Interactive-Proofs/">ZKP4.1 SNARKs via Interactive Proofs</a>
+            <span class="archive-item-date">October 18, 2023</span>
+        </article>
+
+
+
+
+
         <article class="archive-item">
             <a class="archive-item-link" href="/2023/10/17/ZKP-3-2-Programming-ZKPs-Part-2/">ZKP3.2 Programming ZKPs</a>
             <span class="archive-item-date">October 17, 2023</span>
@@ -210,15 +219,6 @@ <h3>2023</h3>
             <span class="archive-item-date">October 08, 2023</span>
         </article>
 
-
-
-
-
-        <article class="archive-item">
-            <a class="archive-item-link" href="/2023/10/07/ZKP-14-1-zkBridge-Trustless-Bridge-Made-Practical/">ZKP14.1 zkBridge: Trustless Bridge Made Practical</a>
-            <span class="archive-item-date">October 07, 2023</span>
-        </article>
-
 
     <nav class="pagination">
         <a class="page-number" href="/archives/2023/">1</a><span class="space">&hellip;</span><a class="page-number" href="/archives/2023/page/3/">3</a><a class="page-number" href="/archives/2023/page/4/">4</a><span class="page-number current">5</span><a class="page-number" href="/archives/2023/page/6/">6</a><a class="page-number" href="/archives/2023/page/7/">7</a><a class="page-number" href="/archives/2023/page/8/">8</a>

diff --git a/archives/2023/page/6/index.html b/archives/2023/page/6/index.html
@@ -133,6 +133,15 @@
             <h3>2023</h3>
 
 
+        <article class="archive-item">
+            <a class="archive-item-link" href="/2023/10/07/ZKP-14-1-zkBridge-Trustless-Bridge-Made-Practical/">ZKP14.1 zkBridge: Trustless Bridge Made Practical</a>
+            <span class="archive-item-date">October 07, 2023</span>
+        </article>
+
+
+
+
+
         <article class="archive-item">
             <a class="archive-item-link" href="/2023/10/06/ZKP-12-1-zkEVM-design-optimization-and-applications/">ZKP12.1 zkEVM design, optimization and applications</a>
             <span class="archive-item-date">October 06, 2023</span>
@@ -210,15 +219,6 @@ <h3>2023</h3>
             <span class="archive-item-date">September 13, 2023</span>
         </article>
 
-
-
-
-
-        <article class="archive-item">
-            <a class="archive-item-link" href="/2023/09/13/GNN-2-3-Node2Vec/">GNN2.3 Node2Vec (PaperReading)</a>
-            <span class="archive-item-date">September 13, 2023</span>
-        </article>
-
 
     <nav class="pagination">
         <a class="page-number" href="/archives/2023/">1</a><span class="space">&hellip;</span><a class="page-number" href="/archives/2023/page/4/">4</a><a class="page-number" href="/archives/2023/page/5/">5</a><span class="page-number current">6</span><a class="page-number" href="/archives/2023/page/7/">7</a><a class="page-number" href="/archives/2023/page/8/">8</a>

diff --git a/archives/2023/page/7/index.html b/archives/2023/page/7/index.html
@@ -133,6 +133,15 @@
             <h3>2023</h3>
 
 
+        <article class="archive-item">
+            <a class="archive-item-link" href="/2023/09/13/GNN-2-3-Node2Vec/">GNN2.3 Node2Vec (PaperReading)</a>
+            <span class="archive-item-date">September 13, 2023</span>
+        </article>
+
+
+
+
+
         <article class="archive-item">
             <a class="archive-item-link" href="/2023/09/12/GNN-2-2-LINE/">GNN2.2 LINE (PaperReading)</a>
             <span class="archive-item-date">September 12, 2023</span>
@@ -210,15 +219,6 @@ <h3>2023</h3>
             <span class="archive-item-date">September 04, 2023</span>
         </article>
 
-
-
-
-
-        <article class="archive-item">
-            <a class="archive-item-link" href="/2023/09/02/CN5-4-ISP%E4%B9%8B%E9%97%B4%E7%9A%84%E8%B7%AF%E7%94%B1%E9%80%89%E6%8B%A9/">CN5.4 ISP之间的路由选择</a>
-            <span class="archive-item-date">September 02, 2023</span>
-        </article>
-
 
     <nav class="pagination">
         <a class="page-number" href="/archives/2023/">1</a><span class="space">&hellip;</span><a class="page-number" href="/archives/2023/page/5/">5</a><a class="page-number" href="/archives/2023/page/6/">6</a><span class="page-number current">7</span><a class="page-number" href="/archives/2023/page/8/">8</a>