域运算

搬砖魁首1 天前
算法·zk·alu·域运算·算术逻辑单元·模乘·蒙哥马利模约简
ZK-ALU-在有限域上实现乘法和除法分两轮做模乘加bi==0: a*bi + carry, c=a*bibi=[1~7]: a * bi + c + carry, c=a*bi + c
搬砖魁首1 年前
zk·左移·alu·域运算
ZK-ALU-在有限域上实现左移先看在实数域上实现左移, 再看在有限域上的实现计算机中的左移计算（<< 操作）通常由处理器的硬件电路直接支持，因此效率非常高。在编程语言中，左移操作可以通过位移运算符（例如 C/C++ 中的 <<）来完成，其底层实现如下：
我是有底线的