【新华网】我国科学家实现基于器件无关量子随机数信标的零知识证明

非交互式零知识证明是零知识证明的一种最重要的变体,其特点是通信双方无需多次信息交换。由于其简单易行并且互相通信次数少,非交互式零知识证明广泛应用于数字签名、区块链和身份认证等领域。常用的非交互式零知识证明系统的安全性建立在生成可信的真随机数的假设之上,然而,实际应用中,由于真随机数生成器难以实现,通常...

如何让等变神经网络可解释性更强?试试将它分解成「简单表示」

举个例子,如果使用典型的流式示意图(称为交互图/interactiongraph)表示,一个基于(8阶循环群)构建的等变神经网络是这样的:其中的节点是C_8的简单表示,节点中的值表示生成器的动作。在此图中,「低频」简单表示位于顶部,信息从低频流向高频。这意味着在大型网络中,高频将占据主导地位。主要贡献该团队做...

建议收藏,100篇必读论文|大模型月报(2024.03)

特别是,Mora可以利用多个视觉智能体,在各种任务中成功模仿Sora的视频生成能力,比如(1)文本到视频的生成(2)文本条件图像到视频的生成(3)扩展生成的视频(4)视频到视频的编辑(5)连接视频(6)模拟数字世界。大量实验结果表明,Mora在各种任务中取得了接近Sora的性能。然而,从整体上评估,这一工作与Sora的性...

AI颠覆数学研究!菲尔兹奖得主、华裔数学家领衔11篇顶刊论文

用定理证明器,简化数学研究中的复杂问题本文探讨了如何利用交互式定理证明器通过设定抽象边界来简化数学研究中的复杂问题。奇异的新宇宙:LLM让数学家用更自然的语言和证明助手交流目前的计算机程序,也就是证明助手,能够校验数学证明的正确性,但它们使用的专业证明语言对很多数学家而言构成了一道门槛。大语言模型(LLM...

Nature | Sora:OpenAI会如何改变科学与社会

最后,生成对抗网络(GANs)的应用进一步提升了视频的质量和真实感。在这一阶段,两个网络——生成器和判别器互相竞争,不断优化生成的视频内容。生成器负责产生尽可能逼真的视频,而判别器则尝试区分视频是真实拍摄还是AI生成。这种相互竞争的过程确保了最终生成视频的高质量和逼真度。

图灵奖揭晓,史上首位数学和计算机界最高荣誉得主出现!

本文使用“硬度放大”来证明有界误差概率多项式时间(BPP)可以在在较弱的假设下，无限多个输入长度的次指数时间(www.e993.com)2024年11月19日。本文介绍了一种更强的伪随机生成器，具有本质上最佳的硬度与随机性权衡。这三篇论文的影响远远超出了随机性和去随机化领域。这些论文的想法随后被应用于理论计算机科学的许多领域，并导致该领域的几位领...

阿里、腾讯等8家中国互联网大厂的50款大模型及应用,能否全面超越...

产品功能:角色视频生成,利用驱动信号从静态图像生成逼真的角色视频;扩散模型支持,借助扩散模型的力量,提供高质量的动画效果;ReferenceNet设计,通过空间注意力合并详细特征,保持外观特征的一致性;姿势指导器,引入高效的姿势指导器,确保角色动作的可控性和连续性;平滑过渡:采用有效的时间建模方法,保证视频帧之间的平滑过渡。

准确率 >98%,基于电子密度的 GPT 用于化学研究,登 Nature 子刊|...

客体分子的计算机生成是通过上图所示的工作流程实现的,该工作流程包括以下步骤:(1)3D电子密度体积训练集源自公开的QM9数据集中的分子。然后,通过使用变分自编码器(VAE)对这个3D电子密度体积训练集进行建模,创建了一个「分子生成器」,从而允许生成超出QM9数据集派生的3D电子密度体积。该VAE分子生成...

用魔法打败魔法!谷歌联合OpenAI提出攻击样本生成框架,提升NLP大...

2.3攻击样本生成器设计对于许多NLP任务来说,一个攻击输入可以分解为,其中是输入文本中未被对手攻击的部分,它保持不变作为上下文,例如QA任务中的前提段落等。而在某些任务中,整个句子都可能受到攻击,因此作者设计了两种生成器来生成:第一种是与任务无关的直接模仿方法,第二种方法将分类器的下游任务考虑...

专研四十载,2万字回顾零知识证明技术发展里程碑

通过ZKP,验证者能够在不泄露任何私人交易数据的情况下,验证证明者是否具有足够的交易金额。验证过程包括生成包含证明者声称的交易金额的证明,然后将该证明传递给验证者,验证者对证明进行预定义的计算,并产出最终的计算结果,从而得出是否接受证明者声明的结论。如果证明者的声明被接受,意味着他们拥有足够的交易金额。上述...