About the Author: Haoyi is a software engineer, and the author of many open-source Scala tools such as the Ammonite REPL and the Mill Build Tool. If you enjoyed the contents on this blog, you may also enjoy Haoyi's book Hands-on Scala Programming
以前，村里没有卫生室，村民有小病全靠扛，扛不住，就得翻越两座大山，到20公里外的乡镇卫生院看病。有的人扛久了，就扛出了大病。现在有了卫生室，常用药品一应俱全，大家看病方便多了，上呼吸道感染、糖尿病、高血压等疾病基本都能在村卫生室诊治。
。新收录的资料对此有专业解读
ZKPs is a method that allows a person—looking to verify themselves—to answer statements in a manner that establishes trust to the verifying party without unveiling personal or secret information. Take, for example, the problem of 4+4=8. This is something the person looking to be verified knows to be true, but the ZKP method relies on trust. Instead of asking is 4+4=8, the verifier asks a series of questions to determine if the person wanting to be verified is telling the truth (or in this case, knows that to be true). The verifier can ask is 4+4=7; is the sum of 4+4 an even number, and so on and so forth, and after the series of questions, it can determine the veracity of the person’s claims, thereby identifying them.，更多细节参见新收录的资料
Tied embed, RoPE, SwiGLU, GQA