2 lines
36 KiB
JavaScript
2 lines
36 KiB
JavaScript
import{_ as c,c as a,a as x,b as m,d as s,o as j}from"./app-DDhCkyt5.js";const i={};function e(t,l){return j(),a("div",null,l[0]||(l[0]=[x('<h1 id="抛币协议" tabindex="-1"><a class="header-anchor" href="#抛币协议"><span>抛币协议</span></a></h1><hr><h2 id="_1-使用单向函数" tabindex="-1"><a class="header-anchor" href="#_1-使用单向函数"><span>1. 使用单向函数</span></a></h2><ol><li>Alice和Bob各自选择一个随机字符串，比如"ljngjkrjgnfdudiudd" 和 "gfdgdfjkherfsfsd"</li><li>Alice随机生成一个抛硬币的结果，比如"tail"</li><li>Bob把自己的随机字符串发送给Alice</li><li>Alice把抛币结果和两个人的随机字符串合并成一个新的字符串，例如"tail ljngjkrjgnfdudiudd gfdgdfjkherfsfsd"，并且把这个字符串的hash值"59dea408d43183a3937957e71a4bcacc616d9cbc"发送给Bob</li><li>Alice问Bob: “你猜是head还是tail"?</li><li>Bob猜一个结果，比如"head"</li><li>Alice告诉告诉Bob他猜错了，并且出示完整的字符串</li></ol><h2 id="_2-使用满足交换律的加密算法" tabindex="-1"><a class="header-anchor" href="#_2-使用满足交换律的加密算法"><span>2. 使用满足交换律的加密算法</span></a></h2>',5),m("ol",null,[m("li",null,[s("Alice和Bob通过别的协议协商出各自的RSA密钥对"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D452 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-msub",{space:"2"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D451 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D452 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])])]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-msub",{space:"2"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D451 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{fence:"false",stretchy:"false"},"{"),m("msub",null,[m("mi",null,"e"),m("mi",null,"a")]),m("mo",null,","),m("msub",null,[m("mi",null,"d"),m("mi",null,"a")]),m("mo",null,","),m("mi",null,"n"),m("mo",{fence:"false",stretchy:"false"},"}"),m("mo",null,","),m("mo",{fence:"false",stretchy:"false"},"{"),m("msub",null,[m("mi",null,"e"),m("mi",null,"b")]),m("mi",null,"b"),m("mo",null,","),m("msub",null,[m("mi",null,"d"),m("mi",null,"b")]),m("mo",null,","),m("mi",null,"n"),m("mo",{fence:"false",stretchy:"false"},"}")])])]),s(", 满足"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D452 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})])])]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D451 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-msub",{space:"4"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D452 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])])]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D451 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D719 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msub",null,[m("mi",null,"e"),m("mi",null,"a")]),m("msub",null,[m("mi",null,"d"),m("mi",null,"a")]),m("mo",null,"≡"),m("msub",null,[m("mi",null,"e"),m("mi",null,"b")]),m("msub",null,[m("mi",null,"d"),m("mi",null,"b")]),m("mo",null,"≡"),m("mn",null,"1"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mi",null,"ϕ"),m("mo",{stretchy:"false"},"("),m("mi",null,"p"),m("mi",null,"q"),m("mo",{stretchy:"false"},")"),m("mo",{stretchy:"false"},")")])])])]),m("li",null,[s("Alice生成两份消息"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.081em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c31"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msub",null,[m("mi",null,"M"),m("mn",null,"1")])])])]),s("和"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.081em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msub",null,[m("mi",null,"M"),m("mn",null,"2")])])])]),s('，一份表示"head"，一份表示"tail"，这些字符串还要包含双方协商好的特定字符串和随机字符串，以满足后期的验证')]),m("li",null,[s("Alice使用自己的公钥加密这两份消息，得到"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D438 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.026em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.081em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c31"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-msub",{space:"2"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D438 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.026em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.081em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msub",null,[m("mi",null,"E"),m("mi",null,"a")]),m("mo",{stretchy:"false"},"("),m("msub",null,[m("mi",null,"M"),m("mn",null,"1")]),m("mo",{stretchy:"false"},")"),m("mo",null,","),m("msub",null,[m("mi",null,"E"),m("mi",null,"a")]),m("mo",{stretchy:"false"},"("),m("msub",null,[m("mi",null,"M"),m("mn",null,"2")]),m("mo",{stretchy:"false"},")")])])]),s("，并且以随机的顺序发给Bob")]),m("li",null,[s("Bob无法识别消息的内容，随机选择其中的一个消息"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"M")])])]),s("，并且用自己的公钥加密得到"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D438 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.026em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D438 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.026em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msub",null,[m("mi",null,"E"),m("mi",null,"b")]),m("mo",{stretchy:"false"},"("),m("msub",null,[m("mi",null,"E"),m("mi",null,"a")]),m("mo",{stretchy:"false"},"("),m("mi",null,"M"),m("mo",{stretchy:"false"},")"),m("mo",{stretchy:"false"},")")])])]),s("，然后发送给Alice")]),m("li",null,[s("Alice无法识别消息中的内容，用自己的私钥解密该消息，得到"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D437 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D438 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.026em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D438 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.026em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-msub",{space:"4"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D438 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.026em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msub",null,[m("mi",null,"D"),m("mi",null,"a")]),m("mo",{stretchy:"false"},"("),m("msub",null,[m("mi",null,"E"),m("mi",null,"b")]),m("mo",{stretchy:"false"},"("),m("msub",null,[m("mi",null,"E"),m("mi",null,"a")]),m("mo",{stretchy:"false"},"("),m("mi",null,"M"),m("mo",{stretchy:"false"},")"),m("mo",{stretchy:"false"},")"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("msub",null,[m("mi",null,"E"),m("mi",null,"b")]),m("mo",{stretchy:"false"},"("),m("mi",null,"M"),m("mo",{stretchy:"false"},")")])])]),s("，然后发送回Bob")]),m("li",null,[s("Bob用自己的私钥解密消息，得到"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D437 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D438 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em","margin-left":"-0.026em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D440 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msub",null,[m("mi",null,"D"),m("mi",null,"b")]),m("mo",{stretchy:"false"},"("),m("msub",null,[m("mi",null,"E"),m("mi",null,"b")]),m("mo",{stretchy:"false"},"("),m("mi",null,"M"),m("mo",{stretchy:"false"},")"),m("mo",{stretchy:"false"},")"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mi",null,"M")])])]),s("，于是Bob得到了抛币的结果并发送给Alice")]),m("li",null,"双方交换各自的密钥对，以验证过程双方有没有欺诈")],-1),m("h2",{id:"_3-使用二次剩余",tabindex:"-1"},[m("a",{class:"header-anchor",href:"#_3-使用二次剩余"},[m("span",null,"3. 使用二次剩余")])],-1),m("ol",null,[m("li",null,[s("Alice选择两个质数"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"p"),m("mo",null,","),m("mi",null,"q")])])]),s("，计算"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"n"),m("mo",null,"="),m("mi",null,"q"),m("mi",null,"p")])])]),s("，然后将"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"n")])])]),s("发送给Bob")]),m("li",null,[s("Bob随机一个数字"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3C"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-TeXAtom",{texclass:"ORD"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2F"})])]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"x"),m("mo",null,"<"),m("mi",null,"n"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mo",null,"/")]),m("mn",null,"2")])])]),s("，计算"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-msup",{space:"4"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mspace",{style:{width:"0.667em"}}),m("mjx-mi",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mstyle",null,[m("mjx-mspace",{style:{width:"0.167em"}})]),m("mjx-mstyle",null,[m("mjx-mspace",{style:{width:"0.167em"}})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"y"),m("mo",null,"="),m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mspace",{width:"0.667em"}),m("mi",null,"mod"),m("mstyle",{scriptlevel:"0"},[m("mspace",{width:"0.167em"})]),m("mstyle",{scriptlevel:"0"},[m("mspace",{width:"0.167em"})]),m("mi",null,"n")])])]),s("，并发送"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"y")])])]),s("给Alice")]),m("li",null,[s("Alice求解同余方程"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mo",null,"≡"),m("mi",null,"y"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mi",null,"p"),m("mi",null,"q"),m("mo",{stretchy:"false"},")")])])]),s("，得到两对解，分别是"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c31"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",null,"±"),m("msub",null,[m("mi",null,"x"),m("mn",null,"1")]),m("mo",null,","),m("mo",null,"±"),m("msub",null,[m("mi",null,"x"),m("mn",null,"2")])])])])]),m("li",null,[s("Alice猜测Bob所随机的数字属于哪组解，并发送该组解"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mo",{class:"mjx-var",size:"s"},[m("mjx-c",{class:"mjx-c2032"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",null,"±"),m("msup",null,[m("mi",null,"x"),m("mo",{"data-mjx-alternate":"1"},"′")])])])]),s("给Bob")]),m("li",null,[s("Bob根据结果判断，如果"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-msup",{space:"4"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mo",{class:"mjx-var",size:"s"},[m("mjx-c",{class:"mjx-c2032"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"x"),m("mo",null,"="),m("msup",null,[m("mi",null,"x"),m("mo",{"data-mjx-alternate":"1"},"′")])])])]),s("或者"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-msup",{space:"3"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mo",{class:"mjx-var",size:"s"},[m("mjx-c",{class:"mjx-c2032"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"x"),m("mo",null,"="),m("mi",null,"n"),m("mo",null,"−"),m("msup",null,[m("mi",null,"x"),m("mo",{"data-mjx-alternate":"1"},"′")])])])]),s("，表示Alice猜对了，否则就是猜错了")]),m("li",null,[s("Bob把结果告诉Alice，并出示"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"x")])])])]),m("li",null,[s("Alice把"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"p"),m("mo",null,","),m("mi",null,"q")])])]),s("告诉Bob验算")])],-1),m("h2",{id:"_4-使用雅可比符号",tabindex:"-1"},[m("a",{class:"header-anchor",href:"#_4-使用雅可比符号"},[m("span",null,"4. 使用雅可比符号")])],-1),m("ol",null,[m("li",null,[s("Bob随机选择两个质数，满足"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c33"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c33"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"p"),m("mo",null,"≡"),m("mn",null,"3"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mn",null,"4"),m("mo",{stretchy:"false"},")"),m("mo",null,","),m("mi",null,"q"),m("mo",null,"≡"),m("mn",null,"3"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mn",null,"4"),m("mo",{stretchy:"false"},")")])])]),s(", 计算"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"n"),m("mo",null,"="),m("mi",null,"p"),m("mi",null,"q")])])]),s("发送给Alice")]),m("li",null,[s("Alice随机选择一个数字"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"x")])])]),s(", 满足"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c67"}),m("mjx-c",{class:"mjx-c63"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{"data-mjx-texclass":"OP",movablelimits:"true"},"gcd"),m("mo",{stretchy:"false"},"("),m("mi",null,"x"),m("mo",null,","),m("mi",null,"n"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])])]),s("， 计算"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-msup",{space:"4"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mspace",{style:{width:"0.667em"}}),m("mjx-mi",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mstyle",null,[m("mjx-mspace",{style:{width:"0.167em"}})]),m("mjx-mstyle",null,[m("mjx-mspace",{style:{width:"0.167em"}})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"y"),m("mo",null,"="),m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mspace",{width:"0.667em"}),m("mi",null,"mod"),m("mstyle",{scriptlevel:"0"},[m("mspace",{width:"0.167em"})]),m("mstyle",{scriptlevel:"0"},[m("mspace",{width:"0.167em"})]),m("mi",null,"n")])])]),s("，把"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"y")])])]),s("发送给Bob")]),m("li",null,[s("Bob猜测"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mi",null,"x"),m("mo",null,","),m("mi",null,"n"),m("mo",{stretchy:"false"},")")])])]),s("的数值"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2208"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"b"),m("mo",null,"∈"),m("mo",{fence:"false",stretchy:"false"},"{"),m("mo",null,"−"),m("mn",null,"1"),m("mo",null,","),m("mn",null,"1"),m("mo",{fence:"false",stretchy:"false"},"}")])])]),s("，并且把"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D44F TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"b")])])]),s("发送给Alice")]),m("li",null,[s("Alice向Bob出示"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"x")])])])]),m("li",null,[s("Bob验证"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-msup",{space:"4"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"y"),m("mo",null,"≡"),m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mi",null,"n"),m("mo",{stretchy:"false"},")")])])]),s("，并向Alice出示"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"p"),m("mo",null,","),m("mi",null,"q")])])])])],-1)]))}const o=c(i,[["render",e],["__file","flip_coin.html.vue"]]),u=JSON.parse('{"path":"/note/cryptography/flip_coin.html","title":"抛币协议","lang":"zh-CN","frontmatter":{},"headers":[{"level":2,"title":"1. 使用单向函数","slug":"_1-使用单向函数","link":"#_1-使用单向函数","children":[]},{"level":2,"title":"2. 使用满足交换律的加密算法","slug":"_2-使用满足交换律的加密算法","link":"#_2-使用满足交换律的加密算法","children":[]},{"level":2,"title":"3. 使用二次剩余","slug":"_3-使用二次剩余","link":"#_3-使用二次剩余","children":[]},{"level":2,"title":"4. 使用雅可比符号","slug":"_4-使用雅可比符号","link":"#_4-使用雅可比符号","children":[]}],"git":{"updatedTime":1740235322000,"contributors":[{"name":"thejinchao","username":"thejinchao","email":"thejinchao@gmail.com","commits":1,"url":"https://github.com/thejinchao"}]},"filePathRelative":"note/cryptography/flip_coin.md"}');export{o as comp,u as data};
|