
零知识证明
文章平均质量分 93
零知识证明(Zero—Knowledge Proof),是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。它指的是证明者能够在不向验证者提供任何有用的信息的情况下,使验证者相信某个论断是正确的。
西京刀客
AI,Crypto/Web3.
A bug bounty hunting and a lot of coding is my passion!
展开
-
succinctlabs/sp1快速开始-如何使用 SP1 zkVM 创建一个简单的斐波那契程序
SP1是一款高性能、100%开源、友好贡献者的零知识虚拟机(zkVM),可以证明执行任意Rust(或任何LLVM编译语言)程序。SP1通过允许开发人员使用流行的编程语言和可编程真相,使得零知识证明技术更加民主化。原创 2024-04-16 09:10:53 · 1025 阅读 · 0 评论 -
零知识证明:一个基于zk-SNARKs的Mastermind棋盘游戏
文章目录一个零知识证明游戏一个零知识证明游戏https://github.com/weijiekoh/zkmmZero-knowledge proofs, a board game, and leaky abstractions: how I learned zk-SNARKs from scratch「A great way to learn a new skill is to build something with it.」学一个技术的最好的办法是用它来做点什么事。作者讲了一个故事,当然很少原创 2021-04-13 20:23:10 · 2182 阅读 · 0 评论 -
零知识证明之 SnarkJS 入门
文章目录github: https://github.com/iden3/snarkjs原创 2021-03-21 15:06:05 · 1390 阅读 · 0 评论 -
什么是多方计算multi-party computation (MPC)
文章目录什么是多方计算multi-party computation (MPC)外包计算多方计算安全模型基本概念和方法Secret Sharing (密钥分享)总结什么是多方计算multi-party computation (MPC)Secure multi-party computation (MPC) 介绍参考URL: https://zhuanlan.zhihu.com/p/100648606安全多方计算(英文:Secure Multi-Party Computation)的研究主要是针对无原创 2021-03-03 14:55:04 · 6394 阅读 · 1 评论 -
零知识证明之zk-snark 应用案例(零知识证明实战渔业监控【zksnark】)
文章目录零知识证明实战渔业监控1、需求分析2、circom电路实现3、circom电路编译4、zksnark的可信设置5、计算ziksarnk电路信号的见证(witness)6. 创建zksnark证据零知识证明实战渔业监控零知识证明实战渔业监控【zksnark】参考URL: http://blog.hubwiz.com/2020/05/10/zksnark-hands-on-tutorial/零知识证明可以在不泄露具体信息的情况下向其他人证明 自己掌握该信息,这听起来非常适合去中心化应用。在这个教转载 2021-03-02 14:40:21 · 1797 阅读 · 0 评论 -
零知识证明入门必看
MasterMindhttps://github.com/weijiekoh/zkmmZero-knowledge proofs, a board game, and leaky abstractions: how I learned zk-SNARKs from scratchhttps://medium.com/@weijiek/how-i-learned-zk-snarks-from-scratch-177a01c5514e@郭宇:零知识证明技术将会区块链的 must-have。不过这个黑科技原创 2021-01-18 13:44:43 · 1371 阅读 · 3 评论