用C语言实现零知识证明算法

harrygoup 2013-03-16 06:38:03
最近，自己找到一个问题——零知识证明，要用C语言实现。急需。
...全文
231 回复 打赏 收藏 转发到动态 举报
写回复
用AI写文章
回复
切换为时间正序
请发表友善的回复…
发表回复
比较零知识证明算法zkSNARK,zkSTARKs,zkBoo,Sonic,BulletProofs
本文探讨了零知识证明在区块链中的应用场景，并对比了zkSNARK、zkSTARKs等算法的特点，旨在寻找提高区块链可扩展性的理想方案。
零知识证明入门必看
零知识证明是现代密码学的重要概念，用于证明某论述正确性而不透露额外信息。区块链领域因其隐私保护和数据验证需求，将零知识证明视为核心技术。文章介绍了零知识证明的基础概念、相关资源和工程实现，如libsnark、bellman和snarkjs库，并通过数独等例子帮助理解其工作原理。
零知识证明 - libsnark源代码分析
本文详细分析了libsnark库，重点介绍了零知识证明中的关系、转换、证明系统和Gadget。libsnark抽象出protoboard和gadget，简化了R1CS电路的构建。文章涵盖了R1CS、QAP、Groth16算法以及Gadget的逻辑和用法，适合想要深入了解零知识证明的读者。
零基础 学 零知识证明
本文是作者学习零知识证明的小总结。介绍了数论和椭圆曲线基础知识的参考书籍，实用数学软件，同态算法、pairing、commitment等相关知识，还提及密码学假设、编程语言。阐述了零知识证明的角色、经典证明方式，最后列举了其在区块链、隐私计算等方面的应用。
Ethsnarks：零知识证明的强大工具
Ethsnarks 是开源项目，为零知识证明提供电路和支撑库，与 Ethereum 智能合约配合。它利用 Groth16 算法降低成本，支持跨平台，有多语言支持和丰富工具库。在匿名性、隐私保护等场景有应用，虽处于 beta 版且文档未全完成，但仍值得研究。
Java SE

62,621

社区成员

307,251

社区内容

发帖
与我相关
我的任务
社区描述
Java 2 Standard Edition
社区管理员
  • Java SE
加入社区
  • 近7日
  • 近30日
  • 至今

加载中

查看更多榜单
社区公告
暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章