专研四十载,2万字回顾零知识证明技术发展里程碑
2024年7月30日 - 腾讯网
Ligero的通信复杂性与验证电路大小的平方根成正比。此外,Ligero可以依赖任何抗碰撞的哈希函数。此外,Ligero可以是随机预言模型中的一个zkSNARK方案。此模型不需要受信任的设置或公钥密码系统。Ligero可用于非常大的验证电路。同时,它适用于应用中的中等大型电路。3.基于线性PCP和离散对数问题的方案Ishai和Paskin(20...
详情
简述代数学的发展历程
2022年11月20日 - 网易
●1114年,印度数学家婆什迦罗在其所著之代数学'中,认知到一正数会有正负两个平方根,且解出一个以上未知数的二次方程、许多三次、四次及更高次多项式方程、佩尔方程、一般的不定二次方程,以及不定三次、四次及更高次方程。●1150年,婆什迦拉在其所著之SiddhantaShiromani中解出了微分方程。●...
详情
虚数和实数哪个更真实?一文读懂_澎湃号·湃客_澎湃新闻-The Paper
2023年10月25日 - 澎湃新闻
他对一个例子的求解过程涉及对225减去288的结果开方。但这个结果是一个负数:–63。所以这个问题的答案要通过计算来得到。出于某种原因——无论是感觉存在一些错误,还是有人抄错了某些东西,或者因为它太荒谬——现存的手稿显示希罗忽略了负号,给出了答案。负数的平方根就是我们现在所说的虚数。第一个提出人们...
详情
十大数学创新|牛顿|高斯|微积分|代数_网易订阅
2020年8月25日 - 网易
1620年,他出版了著作《等差与等比级数表》,他的目标是创造一个将乘法、除法、平方根和立方根都可以同时使用的表。现在,对数在许多方面都与最初的设想有很大的不同,它已经远远超越了作为一种有用的计算庞大数字的方法,而是成为了一种数学关系和函数。对数从一个省力的装置演变成为数学的核心工具之一,在现代数学的...
详情