{"id":676,"date":"2024-11-22T13:17:00","date_gmt":"2024-11-22T05:17:00","guid":{"rendered":"https:\/\/www.632103.com\/?p=676"},"modified":"2024-11-22T13:17:00","modified_gmt":"2024-11-22T05:17:00","slug":"%e4%b8%bb%e6%b5%81zkvm%e6%80%a7%e8%83%bd%e6%b5%8b%e8%af%95%e6%8a%a5%e5%91%8a","status":"publish","type":"post","link":"http:\/\/www.632103.com\/qkl\/676.html","title":{"rendered":"\u4e3b\u6d41ZKVM\u6027\u80fd\u6d4b\u8bd5\u62a5\u544a"},"content":{"rendered":"

\u4e3b\u6d41ZKVM\u6027\u80fd\u6d4b\u8bd5\u62a5\u544a<\/h1>\n
\n

\u4f5c\u8005\uff1amiles \u6765\u6e90\uff1aX\uff0c@Miles082510<\/p>\n

\u6d4b\u8bd5\u5bf9\u8c61<\/h2>\n
    \n
  1. \n

    SP1 \u662f\u4e00\u4e2a\u9ad8\u6027\u80fd\u7684\u5f00\u6e90 zkVM\uff0c\u7528\u4e8e\u9a8c\u8bc1\u4efb\u610f Rust\uff08\u6216\u4efb\u4f55 LLVM \u7f16\u8bd1\u7684\u8bed\u8a00\uff09\u7a0b\u5e8f\u7684\u6267\u884c\u3002SP1 \u5229\u7528 Plonky3\uff0c\u652f\u6301\u9012\u5f52\u8bc1\u660e\u5e76\u652f\u6301\u5404\u79cd\u52a0\u5bc6\u7b97\u6cd5\uff0c\u5305\u62ec\u57fa\u4e8e ECC \u7684\u7b97\u6cd5\uff0c\u5982 Groth16\u3002<\/p>\n<\/li>\n

  2. \n

    RISC0 zkVM \u5141\u8bb8\u8bc1\u660e\u4efb\u610f Rust \u4ee3\u7801\u7684\u6b63\u786e\u6267\u884c\u3002\u5b83\u57fa\u4e8e RISC-V \u67b6\u6784\u6784\u5efa\uff0c\u672c\u8d28\u4e0a\u9002\u7528\u4e8e\u5b9e\u73b0\u6807\u51c6\u52a0\u5bc6\u54c8\u5e0c\u51fd\u6570\uff0c\u4f8b\u5982 SHA-256 \u548c ECDSA\u3002RISC0 \u91c7\u7528 STARK\uff0c\u63d0\u4f9b 98 \u4f4d\u7684\u5b89\u5168\u7ea7\u522b\u3002\u7531\u4e8e\u5b83\u4e0e LLVM \u548c WASM \u517c\u5bb9\uff0c\u5b83\u652f\u6301\u591a\u79cd\u7f16\u7a0b\u8bed\u8a00\uff0c\u5305\u62ec C \u548c Rust\u3002<\/p>\n<\/li>\n

  3. \n

    Nexus \u662f\u4e00\u4e2a\u7528 Rust \u7f16\u5199\u7684\u6a21\u5757\u5316\u3001\u53ef\u6269\u5c55\u3001\u5f00\u6e90\u3001\u9ad8\u5ea6\u5e76\u884c\u5316\u3001\u9a8c\u8bc1\u8005\u4f18\u5316\u4e14\u5bf9\u8d21\u732e\u8005\u53cb\u597d\u7684 zkVM\u3002\u5b83\u4fa7\u91cd\u4e8e\u6027\u80fd\u548c\u5b89\u5168\u6027\uff0c\u4f7f\u7528 Nova \u6298\u53e0\u65b9\u6848\uff0c\u8be5\u65b9\u6848\u5bf9\u9012\u5f52\u8bc1\u660e\u7279\u522b\u6709\u6548\u3002Nexus \u8fd8\u652f\u6301\u9884\u7f16\u8bd1\u548c\u5b9a\u5411\u7f16\u8bd1\uff0c\u9664\u4e86 Rust \u4e4b\u5916\uff0c\u5b83\u8fd8\u63d0\u4f9b C \u652f\u6301\u3002<\/p>\n<\/li>\n

  4. \n

    ZkMIPS \u662f\u57fa\u4e8e Plonky2 \u548c MIPS \u5fae\u67b6\u6784\u7684\u901a\u7528\u53ef\u9a8c\u8bc1\u8ba1\u7b97\u57fa\u7840\u8bbe\u65bd\uff0c\u65e8\u5728\u8d4b\u80fd\u4ee5\u592a\u574a\u4f5c\u4e3a\u5168\u7403\u7ed3\u7b97\u5c42\u3002\u5b83\u4e5f\u53ef\u4ee5\u8fd0\u884c\u4efb\u610f Rust \u4ee3\u7801\u3002\u503c\u5f97\u6ce8\u610f\u7684\u662f\uff0czkMIPS \u662f\u6b64\u5217\u8868\u4e2d\u552f\u4e00\u4f7f\u7528 MIPS \u64cd\u4f5c\u7801\u96c6\u7684 zkVM\u3002<\/p>\n<\/li>\n

  5. \n

    ZkWASM \u9075\u5faa\u5e76\u652f\u6301\u672a\u7ecf\u4fee\u6539\u7684\u6807\u51c6 WASM \u5b57\u8282\u7801\u89c4\u8303\u3002\u7531\u4e8e Rust \u4ee3\u7801\u53ef\u4ee5\u7f16\u8bd1\u4e3a WASM \u5b57\u8282\u7801\uff0c\u56e0\u6b64\u7406\u8bba\u4e0a\u53ef\u4ee5\u5728 zkWASM \u673a\u5668\u4e0a\u8fd0\u884c\u4efb\u4f55 Rust \u4ee3\u7801\uff0c\u4ece\u800c\u63d0\u4f9b\u7075\u6d3b\u6027\u548c\u5e7f\u6cdb\u7684\u8bed\u8a00\u652f\u6301\u3002<\/p>\n<\/li>\n

  6. \n

    Valida \u662f\u4e00\u4e2a\u57fa\u4e8e STARK \u7684\u865a\u62df\u673a\uff0c\u5177\u6709\u53d7 RISC \u542f\u53d1\u7684\u6307\u4ee4\u96c6\uff0c\u7b80\u5316\u4e86\u4f20\u7edf\u7f16\u7a0b\u8bed\u8a00\u7684\u76ee\u6807\u3002\u6b63\u5728\u5f00\u53d1\u4e00\u4e2a\u540e\u7aef\u7f16\u8bd1\u5668\uff0c\u7528\u4e8e\u5c06 LLVM IR \u7f16\u8bd1\u4e3a Valida ISA\uff0c\u4ece\u800c\u80fd\u591f\u9a8c\u8bc1\u7528 Rust\u3001Go\u3001C \u548c\u5176\u4ed6\u8bed\u8a00\u7f16\u5199\u7684\u7a0b\u5e8f\uff0c\u800c\u6e90\u4ee3\u7801\u7684\u66f4\u6539\u51e0\u4e4e\u4e3a\u96f6\u3002<\/p>\n<\/li>\n<\/ol>\n

    <\/h2>\n

    \u6d4b\u8bd5\u9879\u76ee<\/h2>\n
      \n
    1. \n

      Stage 1: \u7b97\u672f\u8fd0\u7b97\uff08Hept 100\uff09\u7b2c\u4e00\u9636\u6bb5\u7684\u91cd\u70b9\u662f\u8bc4\u4f30 zkVMs \u5904\u7406\u57fa\u672c\u7b97\u672f\u8fd0\u7b97\u7684\u80fd\u529b\uff1a\u52a0\u6cd5\u3001\u51cf\u6cd5\u3001\u4e58\u6cd5\u3001\u9664\u6cd5\u3001\u6a21\u9664\u548c\u5e73\u65b9\u6839\u8ba1\u7b97\u3002\u6211\u4eec\u56f4\u7ed5Heptagonal numbers (\u4e03\u8fb9\u5f62\u6570)\u8bbe\u8ba1\u4e86\u6d4b\u8bd5\uff0c\u8fd9\u9700\u8981 zkVMs \u540c\u65f6\u5904\u7406\u591a\u4e2a\u7b97\u672f\u8fd0\u7b97<\/p>\n<\/li>\n

    2. \n

      Stage 2: \u5185\u5b58\u6d88\u8017\uff08Vec 10000\uff09\u7b2c\u4e8c\u9636\u6bb5\u8bc4\u4f30\u4e86\u6bcf\u4e2a zkVM \u5728\u91cd\u8d1f\u8f7d\u4e0b\u7ba1\u7406\u5185\u5b58\u7684\u80fd\u529b\uff0c\u6b64\u9636\u6bb5\u7684\u76ee\u7684\u662f\u8bc6\u522b\u4efb\u4f55\u5185\u5b58\u74f6\u9888\uff0c\u5e76\u786e\u5b9a zkVM \u662f\u5426\u53ef\u4ee5\u6709\u6548\u5730\u7ba1\u7406\u9ad8\u5f3a\u5ea6\u4efb\u52a1\uff0c\u6d4b\u8bd5\u4e86\u51e0\u79cd\u6570\u636e\u7ed3\u6784\uff0c\u5305\u62ec\u5217\u8868\u3001\u54c8\u5e0c\u6620\u5c04\u3001\u53cc\u7aef\u961f\u5217\u3001\u961f\u5217\u3001BTreeMaps\u3001\u54c8\u5e0c\u96c6\u548c\u4e8c\u8fdb\u5236\u5806\u3002\u6bcf\u4e2a zkVM \u90fd\u7ecf\u8fc7\u4ee5\u4e0b\u64cd\u4f5c\u6d4b\u8bd5\uff1aInsert\uff1azkVM \u5411\u7ed3\u6784\u6dfb\u52a0\u6570\u636e\u7684\u901f\u5ea6\u6709\u591a\u5feb\uff1fDelete\uff1azkVM \u662f\u5426\u80fd\u6709\u6548\u5904\u7406\u5185\u5b58\u91ca\u653e\uff1fAppend\uff1azkVM \u80fd\u5426\u6709\u6548\u5730\u589e\u957f\u6570\u636e\u7ed3\u6784\uff1fResearch\uff1azkVM \u5728\u68c0\u7d22\u5b58\u50a8\u6570\u636e\u65f6\u7684\u901f\u5ea6\u548c\u6548\u7387\u5982\u4f55\uff1f<\/p>\n<\/li>\n<\/ol>\n

      <\/h2>\n

      \u6d4b\u8bd5\u673a\u5668\u914d\u7f6e<\/h2>\n
        \n
      • \n

        CPU: AMD EPYC 7713 \\”Milan\\” 64-core processor (128 threads total)<\/p>\n<\/li>\n

      • \n

        RAM: 600GiB DDR4 3200MHz ECC RAM, distributed across 16 DIMMs<\/p>\n<\/li>\n

      • \n

        Host OS: Proxmox 8.3<\/p>\n<\/li>\n

      • \n

        Hypervisor: KVM<\/p>\n<\/li>\n

      • \n

        Network layer: Open vSwitch<\/p>\n<\/li>\n

      • \n

        Machine model: Supermicro AS-2024US-TRT<\/p>\n<\/li>\n<\/ul>\n

        <\/h2>\n

        \u6d4b\u8bd5\u7ed3\u679c<\/h2>\n
          \n
        1. \n

          \u7b97\u672f\u8fd0\u7b97\uff08Hept 100\uff09\u7ed3\u679c\uff1a<\/p>\n<\/li>\n<\/ol>\n

          \"EGWZ3SBGqGq3gKAP8CVdvZtLRCmwv6WRQ4AWD0zO.png\"<\/p>\n","protected":false},"excerpt":{"rendered":"

          \u4e3b\u6d41ZKVM\u6027\u80fd\u6d4b\u8bd5\u62a5\u544a \u4f5c\u8005\uff1amiles \u6765\u6e90\uff1aX\uff0c@Miles082510 \u6d4b\u8bd5\u5bf9\u8c61 SP1 \u662f\u4e00\u4e2a\u9ad8\u6027\u80fd […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-676","post","type-post","status-publish","format-standard","hentry","category-qkl"],"_links":{"self":[{"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/posts\/676","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/comments?post=676"}],"version-history":[{"count":1,"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/posts\/676\/revisions"}],"predecessor-version":[{"id":1936,"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/posts\/676\/revisions\/1936"}],"wp:attachment":[{"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/media?parent=676"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/categories?post=676"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.632103.com\/wp-json\/wp\/v2\/tags?post=676"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}