本文主要介绍plookup算法的思路
ETH2.0密钥有哪些?运作机制如何?
文章介绍了ZK-STARKs技术,这是一种零知识证明技术,不依赖于可信设置,且能抵御量子计算机攻击。文章详细解释了如何使用多项式来进行零知识证明,并通过多个示例展示了其应用场景。
本文深入探讨了去中心化网络中的随机数生成问题,特别是公共可验证随机信标(PVRB)协议的实现。作者介绍了两种主要的PVRB实现方式:独立合约和共识集成。文中详细阐述了每种方式的优缺点,并探讨了如何结合最新的密码技术以确保产生的随机数具备安全性和不可预测性。最后,文章还讨论了当前PVRB技术的局限性及未来的研究方向。
这篇文章回顾了2014年提出的加密货币相关的16个难题,分析了这五年来在密码学、共识理论和经济学领域的进展。文章深入探讨了每个问题的现状、解决方案的实现程度,并讨论了未来的新难点,特别是关于去中心化治理和公共物品资助等领域的挑战。
盲签名可以看成结合普通签名的变种,实现特殊的应用。RSA方案简单易解,实际代码工程是要有额外一些处理的,可能需要填充等。
斯坦福学霸笔记之格密码学进阶(三)
本文将介绍一种新的椭圆曲线实例-- Baby Jubjub Elliptic Curve。
深入解析椭圆曲线
通过这篇文章,能快速建立零知识证明的逻辑框架。
以太坊是一个公共的区块链网络,可以通过各种不同类型的账户访问。与比特币类似,底层密码学用的是SECP256K1椭圆曲线。但这是什么意思呢?什么是账户?什么是密钥?什么是地址?为什么要校验checksum ?
介绍一点配对的性质,其在密码学的应用和历史。
前一段时间,介绍了零知识证明的入门知识,通过QSP问题证明来验证另外一个NP问题的解。最近在看QAP问题相关的文章和资料,这篇文章分享一下QAP问题的理解。
2018年 Jacob Eberhardt和Stefan Tai两位德国柏林工业大学博士生,提出了链下计算/链上验证的处理框架,并提供了在以太坊上的整个框架的工具链。链下计算/链上验证的思想很早就有,但是能提供比较完善的工具链的实属难得。目前ZoKrates使用zk-SNARK算法实现零知识证明。
IVC 是一种强大的密码原语,它使我们能够以增量方式证明计算的完整性。 该策略非常适合虚拟机执行和具有动态控制流的通用程序.