伟一下没反应过来,等听明白了李东的意思後,他没有迟疑的说道。
“那行!”
“我们现在就去找王工。”
半个小时後,实验室。
王勍是一路小跑赶过来的。
他一推开门,看见李东和林伟还有几个值夜班的工程师,已经围在一块白板前了。
他刚走过去就听见李东的声音。
“……所以,问题压根不在算子本身。”李东拿着白板笔,回头看了王勍一眼,朝他点了下头,算是打过招呼,随即又转回白板,“是我们一直想着要把那个上千比特的大数,整个儿塞到卡上去算,可这块卡的原生通路,吃不下这麽大的数。”
“所以我们就别让它去吃这个大数。”
他在白板上刷刷刷的继续写道。
“取一组两两互质的小模数,把那个大模数上的精确运算,拆到这些小模数上去做。”
“每一路都只在自己那个小模数里算,结果小进位短,彼此之间谁也不碍着谁。”
“算完了再用孙子定理,把这些余数一一对上,原样拚回那个大数。”
李东在白板上越写越快,围着的几个工程师神色就渐渐凝重了。
这套东西,他们当然不算陌生。
这是一门老手艺了。
大数被拆成一组互不相干的余数,而把这些余数原样拚回大数的依据正是那道一千多年前就写进《孙子算经》里的中国剩余定理(孙子定理)——韩信点兵,三人一数余几、五人一数余几、七人一数余几,几个余数报上来,一队兵到底有多少人,便准确无误的算出来。
道理是同一个道理。
一个动辄上千比特的大数,单算它,又笨又慢,那条长长的进位链还死活并行不起来。
可一旦把它拆成几十上百路小小的余数,每一路都短小而且互不相干,那就成了几十上百个彼此独立的小活儿了。
而彼此独立的活儿,恰恰是最好并行的。
这也正是加速卡那满阵脉动单元最好匹配落地的。
而且不只是剩余数系。
这门学问里面还包含了数论变换,能把大整数和多项式的乘法,化成一串逐点相乘。
蒙哥马利约简、巴雷特约简,让取模这一步又快又省,连那道最招人烦的除法都绕了过去。
一套组合下来,大模数的精确运算,就被驯得服服帖帖了。
而把这门学问磨到极致的从来不是搞AI的人。
而是搞密码的人。
全同态加密、格密码、零知识证明的证明器。
他们为了在密文上直接做加减乘除,为了把一道证明压进几秒锺里跑完,早就把剩余数系、数论变换这一套研究透了。
所以李东现在要做的的,不过是把这套为密码而生的工程,原样搬到自己这套为数学而生的模型底下来。
而原样搬恰恰又绕回了韦伯的灵感上了。
UC小说网_m.shukugu.com