斯坦福学霸笔记之格密码学进阶(三)
本文将介绍一种新的椭圆曲线实例-- Baby Jubjub Elliptic Curve。
深入解析椭圆曲线
通过这篇文章,能快速建立零知识证明的逻辑框架。
以太坊是一个公共的区块链网络,可以通过各种不同类型的账户访问。与比特币类似,底层密码学用的是SECP256K1椭圆曲线。但这是什么意思呢?什么是账户?什么是密钥?什么是地址?为什么要校验checksum ?
介绍一点配对的性质,其在密码学的应用和历史。
前一段时间,介绍了零知识证明的入门知识,通过QSP问题证明来验证另外一个NP问题的解。最近在看QAP问题相关的文章和资料,这篇文章分享一下QAP问题的理解。
零知识证明(ZKP)允许证明者向验证者证明某个陈述是真实的,而无需泄露证明它的基础秘密或数据。在区块链中,ZKP通过zk-rollups等方法增强了网络的隐私和可扩展性。ZKP的核心原则包括完整性、可靠性和零知识性。ZKP有两种类型:交互式ZKP和非交互式ZKP(NIZK)。
密码学中的加密方式从密钥的数量方向可以分为 对称加密和非对称加密 , 对称加密 只使用一把密钥来对数据进行加解密,而 非对称加密 使用两把密钥来进行加密,分别为公钥和私钥。对称加密和非对称加密有很多非常出名的算法,例如:对称加密比较有名的算法有 DES 和 AES
2018年 Jacob Eberhardt和Stefan Tai两位德国柏林工业大学博士生,提出了链下计算/链上验证的处理框架,并提供了在以太坊上的整个框架的工具链。链下计算/链上验证的思想很早就有,但是能提供比较完善的工具链的实属难得。目前ZoKrates使用zk-SNARK算法实现零知识证明。
IVC 是一种强大的密码原语,它使我们能够以增量方式证明计算的完整性。 该策略非常适合虚拟机执行和具有动态控制流的通用程序.
本文介绍了零知识证明(ZKP)的基本概念、原理、类型及其应用。零知识证明是一种密码学技术,允许一方(证明者)在不透露数据内容的情况下,向另一方(验证者)证明该数据的真实性。文章详细解释了交互式和非交互式零知识证明,并探讨了它们在身份验证、金融、电子投票、供应链等多个领域的应用。
本文详细介绍了区块链的基本概念、工作原理、账户、交易、区块、节点、共识机制以及密码学和哈希的应用,适合初学者理解区块链技术的核心原理。
本文介绍了多方计算(MPC)钱包的概念、原理、优势与不足。MPC 是一种加密技术,允许多方在不泄露各自输入的情况下联合计算函数。MPC钱包通过多方计算技术,为个人、公司、金融机构和政府提供强大的数字资产管理安全保障,着重对比了 MPC 钱包与多重签名钱包的区别,并分析了 Zengo、Coinbase、Fireblocks 等使用 MPC 技术的 Web3 钱包。
本文介绍了使用WASM实现BBS+签名(一种短而匿名的群签名)的技术方案。BBS+签名基于双线性映射,允许群组成员在不暴露签名者身份的情况下进行签名,同时保证签名有效性、匿名性、可追溯性、不可链接性和抗合谋性。文章还提供了使用Crypt-WASM集成JavaScript的示例代码,展示了如何生成密钥对、签名消息和验证签名。