专研四十载,2万字回顾零知识证明技术发展里程碑
2024年7月30日 - 腾讯网
然后,基于所提出的通用电路生成器,Ben-Sasson等人建立了一个系统,并展示了其在验证程序执行中的应用。该系统包含两个组件:用于验证算术电路可满足性的密码学证明系统,以及将程序执行转换为算术电路的电路生成器。该设计在功能和效率上均优于之前的工作,尤其是电路生成器的通用性和输出电路大小的加性依赖。实验评估表明...
详情
技术范式共振,1.5万字探索人工智能+加密货币全景图
2024年2月18日 - 腾讯新闻
EZKL是开源的,生成zk-SNARKS,而Giza是闭源的,生成zk-STARKS。这两个项目目前仅与EVM兼容。在过去几个月中,EZKL在增强其zkML解决方案方面取得了显著进展,主要集中在降低成本、提高安全性和加速证明生成方面。例如,在2023年11月,EZKL集成了一个新的开源GPU库,将总体证明时间减少了35...
详情
了解加密货币和人工智能的交集
2024年2月17日 - 腾讯新闻
一些应用程序(如聊天机器人、图像生成器、推特回复机器人、预测市场)目前确实存在,但除了Bittensor基金会的资助之外,没有正式的激励措施让验证者接受和转发这些查询。为了提供更清晰的说明,下面是一个示例,说明应用程序集成到网络中后Bittensor可能如何工作。子网根据根网络评估的性能赚取TAO。根网络位于所有子...
详情