这套东西,他们当然不算陌生。
这是一门老手艺了。
大数被拆成一组互不相干的余数,而把这些余数原样拚回大数的依据正是那道一千多年前就写进《孙子算经》里的中国剩余定理(孙子定理)——韩信点兵,三人一数余几、五人一数余几、七人一数余几,几个余数报上来,一队兵到底有多少人,便准确无误的算出来。
道理是同一个道理。
一个动辄上千比特的大数,单算它,又笨又慢,那条长长的进位链还死活并行不起来。
可一旦把它拆成几十上百路小小的余数,每一路都短小而且互不相干,那就成了几十上百个彼此独立的小活儿了。
而彼此独立的活儿,恰恰是最好并行的。
这也正是加速卡那满阵脉动单元最好匹配落地的。
而且不只是剩余数系。
这门学问里面还包含了数论变换,能把大整数和多项式的乘法,化成一串逐点相乘。
蒙哥马利约简、巴雷特约简,让取模这一步又快又省,连那道最招人烦的除法都绕了过去。
一套组合下来,大模数的精确运算,就被驯得服服帖帖了。
而把这门学问磨到极致的从来不是搞AI的人。
而是搞密码的人。
全同态加密、格密码、零知识证明的证明器。
他们为了在密文上直接做加减乘除,为了把一道证明压进几秒锺里跑完,早就把剩余数系、数论变换这一套研究透了。
所以李东现在要做的的,不过是把这套为密码而生的工程,原样搬到自己这套为数学而生的模型底下来。
而原样搬恰恰又绕回了韦伯的灵感上了。
46945652
胖胖的小橘提醒您:看完记得收藏【祭司书院】 www.jsshengmin.com,下次我更新您才方便继续阅读哦,期待精彩继续!您也可以用手机版:m.jsshengmin.com,随时随地都可以畅阅无阻...