<!DOCTYPE html> <html lang="zh-CN"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible" content="IE=Edge"> <link rel="stylesheet" href="/assets/css/just-the-docs-default.css"> <link rel="stylesheet" href="/assets/css/just-the-docs-head-nav.css" id="jtd-head-nav-stylesheet"> <style id="jtd-nav-activation"> .site-nav ul li a { background-image: none; } </style> <script src="/assets/js/vendor/lunr.min.js"></script> <script src="/assets/js/just-the-docs.js"></script> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="icon" href="/assets/img/favicons/favicon.ico" type="image/x-icon"> <!-- Begin Jekyll SEO tag v2.9.0 --> <title>cxcen | 区块链、DeFi、Rust 与零知识证明的个人技术学习笔记。</title> <meta name="generator" content="Jekyll v4.4.1" /> <meta property="og:title" content="cxcen" /> <meta name="author" content="Chen Xichao" /> <meta property="og:locale" content="zh_CN" /> <meta name="description" content="区块链、DeFi、Rust 与零知识证明的个人技术学习笔记。" /> <meta name="twitter:description" property="og:description" content="区块链、DeFi、Rust 与零知识证明的个人技术学习笔记。" /> <link rel="canonical" href="https://cxcen.github.io/assets/css/just-the-docs-head-nav.css" /> <meta property="og:url" content="https://cxcen.github.io/assets/css/just-the-docs-head-nav.css" /> <meta property="og:site_name" content="cxcen" /> <meta property="og:type" content="website" /> <meta name="twitter:card" content="summary" /> <meta name="twitter:title" content="cxcen" /> <script type="application/ld+json"> {"@context":"https://schema.org","@type":"WebPage","author":{"@type":"Person","name":"Chen Xichao"},"description":"区块链、DeFi、Rust 与零知识证明的个人技术学习笔记。","headline":"cxcen","url":"https://cxcen.github.io/assets/css/just-the-docs-head-nav.css"}</script> <!-- End Jekyll SEO tag --> <script> window.MathJax = { tex: { inlineMath: [["$", "$"], ["\\(", "\\)"]], displayMath: [["$$", "$$"], ["\\[", "\\]"]], processEscapes: true, tags: "ams" }, options: { skipHtmlTags: ["script", "noscript", "style", "textarea", "pre", "code"] } }; </script> <script async id="MathJax-script" src="https://cdn.jsdelivr.net/npm/mathjax@3.2.2/es5/tex-mml-chtml.js"></script> </head> <body> <a class="skip-to-main" href="#main-content">Skip to main content</a> <svg xmlns="http://www.w3.org/2000/svg" class="d-none"> <symbol id="svg-link" viewBox="0 0 24 24"> <title>Link</title> <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="feather feather-link"> <path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71"></path><path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71"></path> </svg> </symbol> <symbol id="svg-menu" viewBox="0 0 24 24"> <title>Menu</title> <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="feather feather-menu"> <line x1="3" y1="12" x2="21" y2="12"></line><line x1="3" y1="6" x2="21" y2="6"></line><line x1="3" y1="18" x2="21" y2="18"></line> </svg> </symbol> <symbol id="svg-arrow-right" viewBox="0 0 24 24"> <title>Expand</title> <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="feather feather-chevron-right"> <polyline points="9 18 15 12 9 6"></polyline> </svg> </symbol> <!-- Feather. MIT License: https://github.com/feathericons/feather/blob/master/LICENSE --> <symbol id="svg-external-link" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"> <title id="svg-external-link-title">(external link)</title> <path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line> </symbol> <symbol id="svg-doc" viewBox="0 0 24 24"> <title>Document</title> <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="feather feather-file"> <path d="M13 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V9z"></path><polyline points="13 2 13 9 20 9"></polyline> </svg> </symbol> <symbol id="svg-search" viewBox="0 0 24 24"> <title>Search</title> <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="feather feather-search"> <circle cx="11" cy="11" r="8"></circle><line x1="21" y1="21" x2="16.65" y2="16.65"></line> </svg> </symbol> <!-- Bootstrap Icons. MIT License: https://github.com/twbs/icons/blob/main/LICENSE.md --> <symbol id="svg-copy" viewBox="0 0 16 16"> <title>Copy</title> <svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" fill="currentColor" class="bi bi-clipboard" viewBox="0 0 16 16"> <path d="M4 1.5H3a2 2 0 0 0-2 2V14a2 2 0 0 0 2 2h10a2 2 0 0 0 2-2V3.5a2 2 0 0 0-2-2h-1v1h1a1 1 0 0 1 1 1V14a1 1 0 0 1-1 1H3a1 1 0 0 1-1-1V3.5a1 1 0 0 1 1-1h1v-1z"/> <path d="M9.5 1a.5.5 0 0 1 .5.5v1a.5.5 0 0 1-.5.5h-3a.5.5 0 0 1-.5-.5v-1a.5.5 0 0 1 .5-.5h3zm-3-1A1.5 1.5 0 0 0 5 1.5v1A1.5 1.5 0 0 0 6.5 4h3A1.5 1.5 0 0 0 11 2.5v-1A1.5 1.5 0 0 0 9.5 0h-3z"/> </svg> </symbol> <symbol id="svg-copied" viewBox="0 0 16 16"> <title>Copied</title> <svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" fill="currentColor" class="bi bi-clipboard-check-fill" viewBox="0 0 16 16"> <path d="M6.5 0A1.5 1.5 0 0 0 5 1.5v1A1.5 1.5 0 0 0 6.5 4h3A1.5 1.5 0 0 0 11 2.5v-1A1.5 1.5 0 0 0 9.5 0h-3Zm3 1a.5.5 0 0 1 .5.5v1a.5.5 0 0 1-.5.5h-3a.5.5 0 0 1-.5-.5v-1a.5.5 0 0 1 .5-.5h3Z"/> <path d="M4 1.5H3a2 2 0 0 0-2 2V14a2 2 0 0 0 2 2h10a2 2 0 0 0 2-2V3.5a2 2 0 0 0-2-2h-1v1A2.5 2.5 0 0 1 9.5 5h-3A2.5 2.5 0 0 1 4 2.5v-1Zm6.854 7.354-3 3a.5.5 0 0 1-.708 0l-1.5-1.5a.5.5 0 0 1 .708-.708L7.5 10.793l2.646-2.647a.5.5 0 0 1 .708.708Z"/> </svg> </symbol> </svg> <header class="side-bar"> <div class="site-header"> <a href="/" class="site-title lh-tight"> cxcen </a> <button id="menu-button" class="site-button btn-reset" aria-label="Menu" aria-expanded="false"> <svg viewBox="0 0 24 24" class="icon" aria-hidden="true"><use xlink:href="#svg-menu"></use></svg> </button> </div> <nav aria-label="Main" id="site-nav" class="site-nav"> <ul class="nav-list"><li class="nav-list-item"><a href="/" class="nav-list-link">首页</a></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="区块链 submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/blockchain/" class="nav-list-link">区块链</a><ul class="nav-list"><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="Aptos submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/blockchain/aptos/" class="nav-list-link">Aptos</a><ul class="nav-list"><li class="nav-list-item"><a href="/posts/Deep-in-Aptos-Block-STM/" class="nav-list-link">深入分析 Aptos Block-STM</a></li></ul></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="Solana submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/blockchain/solana/" class="nav-list-link">Solana</a><ul class="nav-list"><li class="nav-list-item"><a href="/posts/Deep-in-Solana-SeaLevel/" class="nav-list-link">深入分析 Solana SeaLevel</a></li><li class="nav-list-item"><a href="/posts/Solana-TPU-Code-Logic/" class="nav-list-link">详解 Solana 交易并行调度</a></li><li class="nav-list-item"><a href="/posts/ways-in-solana-MEV/" class="nav-list-link">Solana 中 MEV 监听交易的方法</a></li><li class="nav-list-item"><a href="/posts/SolanaAlpenglowConsensus/" class="nav-list-link">Solana Alpenglow 共识白皮书（翻译）</a></li></ul></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="Sui submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/blockchain/sui/" class="nav-list-link">Sui</a><ul class="nav-list"><li class="nav-list-item"><a href="/posts/sui-chain-tech-note/" class="nav-list-link">Sui 链技术全景</a></li><li class="nav-list-item"><a href="/posts/deep-in-sui-dag-consensus/" class="nav-list-link">深入理解 Sui Mysticeti 共识</a></li><li class="nav-list-item"><a href="/posts/deep-in-sui-transaction-excution/" class="nav-list-link">详解 Sui 交易并行执行流程</a></li></ul></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="共识 submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/blockchain/consensus/" class="nav-list-link">共识</a><ul class="nav-list"><li class="nav-list-item"><a href="/posts/DAG-based-BFT-consensus/" class="nav-list-link">基于 DAG 的 BFT 共识</a></li></ul></li></ul></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="DeFi submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/defi/" class="nav-list-link">DeFi</a><ul class="nav-list"><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="DEX submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/defi/dex/" class="nav-list-link">DEX</a><ul class="nav-list"><li class="nav-list-item"><a href="/posts/Metis-Dex-Aggregator-Algorithm/" class="nav-list-link">Metis DEX Aggregator 路由算法</a></li><li class="nav-list-item"><a href="/posts/dex-on-hotstuff/" class="nav-list-link">基于 HotStuff 的高性能链上订单簿 DEX 架构设计</a></li></ul></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="AMM submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/defi/amm/" class="nav-list-link">AMM</a><ul class="nav-list"><li class="nav-list-item"><a href="/posts/Amm-xNy-math/" class="nav-list-link">AMM 中 x^N · y = k 曲线的数学公式推导</a></li></ul></li></ul></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="Rust submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/rust/" class="nav-list-link">Rust</a><ul class="nav-list"><li class="nav-list-item"><a href="/posts/tokio-runtime/" class="nav-list-link">Tokio runtime 设计与实现</a></li></ul></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="零知识证明 submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/zero-knowledge/" class="nav-list-link">零知识证明</a><ul class="nav-list"><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="STARK / Plonky submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/docs/zero-knowledge/stark/" class="nav-list-link">STARK / Plonky</a><ul class="nav-list"><li class="nav-list-item"><a href="/posts/stark-guide-index/" class="nav-list-link">00. Plonky2–Plonky3 数学原理个人学习总结</a></li><li class="nav-list-item"><a href="/posts/stark-guide-overview/" class="nav-list-link">01. 技术全景：先把 STARK、PLONK 与 Plonky 放到正确坐标系</a></li><li class="nav-list-item"><a href="/posts/finite-fields-polynomials-coding/" class="nav-list-link">02. 有限域、多项式、FFT 与 Reed–Solomon 编码</a></li><li class="nav-list-item"><a href="/posts/polynomial-commitments-fiat-shamir/" class="nav-list-link">03. 多项式承诺、Merkle oracle 与 Fiat–Shamir</a></li><li class="nav-list-item"><a href="/posts/plonk-arithmetization/" class="nav-list-link">04. PLONK 算术化：门约束、wiring permutation 与 grand product</a></li><li class="nav-list-item"><a href="/posts/plonk-protocol-kzg/" class="nav-list-link">05. PLONK 完整协议：quotient、linearization 与 KZG openings</a></li><li class="nav-list-item"><a href="/posts/plonkish-custom-gates-lookups/" class="nav-list-link">06. PLONKish 自定义门与查表：Plookup、Halo 2、LogUp、Lasso</a></li><li class="nav-list-item"><a href="/posts/stark-air-ali/" class="nav-list-link">07. STARK：从执行轨迹到 AIR、ALI 与 composition polynomial</a></li><li class="nav-list-item"><a href="/posts/fri-deep-fri/" class="nav-list-link">08. FRI 与 DEEP-FRI：为什么折叠能检查低度</a></li><li class="nav-list-item"><a href="/posts/plonky2-arithmetization-fri/" class="nav-list-link">09. Plonky2：Goldilocks、宽门 PLONK 与 FRI 多项式测试</a></li><li class="nav-list-item"><a href="/posts/plonky2-recursion/" class="nav-list-link">10. Plonky2 递归原理与工程：在电路中验证 PLONK + FRI 证明</a></li><li class="nav-list-item"><a href="/posts/plonky25-recursion-bridge/" class="nav-list-link">11. Plonky2.5 跨系统递归桥：在 Plonky2 中验证旧版 Plonky3 STARK</a></li><li class="nav-list-item"><a href="/posts/plonky3-architecture/" class="nav-list-link">12. Plonky3 模块化架构：从 Field、MMCS、PCS 到 AIR</a></li><li class="nav-list-item"><a href="/posts/plonky3-fri-logup-recursion/" class="nav-list-link">13. Plonky3 深入：高元 FRI、Batch-STARK、LogUp 与原生递归</a></li><li class="nav-list-item"><a href="/posts/circle-stark-hash-pcs/" class="nav-list-link">14. Circle STARK、STIR、WHIR 与现代哈希型 PCS</a></li><li class="nav-list-item"><a href="/posts/recursion-accumulation-folding/" class="nav-list-link">15. 递归、累积与折叠：Halo、Nova、HyperNova、ProtoStar</a></li><li class="nav-list-item"><a href="/posts/plonky-comparison-migration/" class="nav-list-link">16. Plonky2、Plonky2.5、Plonky3：逐层对照与迁移方法</a></li><li class="nav-list-item"><a href="/posts/zk-system-security-checklist/" class="nav-list-link">17. 系统对比、参数、选型与安全审计清单</a></li><li class="nav-list-item"><a href="/posts/stark-references/" class="nav-list-link">18. 论文与官方资料索引</a></li></ul></li></ul></li></ul> </nav> <div class="d-md-block d-none site-footer"> This site uses <a href="https://github.com/just-the-docs/just-the-docs">Just the Docs</a>, a documentation theme for Jekyll. </div> </header> <div class="main" id="top"> <div id="main-header" class="main-header"> <div class="search" role="search"> <div class="search-input-wrap"> <input type="text" id="search-input" class="search-input" tabindex="0" placeholder="Search cxcen" autocomplete="off"> <label for="search-input" class="search-label"> <span class="sr-only">Search cxcen</span> <svg viewBox="0 0 24 24" class="search-icon" aria-hidden="true"><use xlink:href="#svg-search"></use></svg> </label> </div> <div id="search-results" class="search-results"></div> </div> <nav aria-label="Auxiliary" class="aux-nav"> <ul class="aux-nav-list"> <li class="aux-nav-list-item"> <a href="https://github.com/cxcen/cxcen.github.io" class="site-button" target="_blank" rel="noopener noreferrer" > GitHub </a> </li> </ul> </nav> </div> <div class="main-content-wrap"> <div id="main-content" class="main-content"> <main> <h.site-nav ul li a { background-image: linear-gradient(-90deg, rgb(92.0784313725%, 92.8705882353%, 96.0392156863%) 0%, rgba(92.0784313725%, 92.8705882353%, 96.0392156863%, 0.8) 80%, rgba(92.0784313725%, 92.8705882353%, 96.0392156863%, 0) 100%); } </main> <hr> <footer> <p><a href="#top" id="back-to-top">返回顶部</a></p> <p class="text-small text-grey-dk-100 mb-0"> &copy; 2026 Chen Xichao. </p> <div class="d-flex mt-2"> <p class="text-small mb-0"> <a href="https://github.com/cxcen/cxcen.github.io/edit/main/assets/css/just-the-docs-head-nav.css" id="edit-this-page">在 GitHub 上编辑此页</a> </p> </div> <div class="d-md-none mt-4 fs-2"> This site uses <a href="https://github.com/just-the-docs/just-the-docs">Just the Docs</a>, a documentation theme for Jekyll. </div> </footer> </div> </div> <div class="search-overlay"></div> </div> <script type="module"> import mermaid from 'https://cdn.jsdelivr.net/npm/mermaid@11.4.0/dist/mermaid.esm.min.mjs'; var config = {} ; mermaid.initialize(config); mermaid.run({ querySelector: '.language-mermaid', }); </script> </body> </html>
