技术栈

蒙哥马利模约简

搬砖魁首
22 天前
算法·zk·alu·域运算·算术逻辑单元·模乘·蒙哥马利模约简
ZK-ALU-在有限域上实现乘法和除法分两轮做模乘加bi==0: a*bi + carry, c=a*bibi=[1~7]: a * bi + c + carry, c=a*bi + c
我是有底线的