...题为真，同时又不泄漏任何其他信息呢？这听上去就很“自相矛盾”。回顾经典证明从欧几里得时代开始，延续了上千年，证明的基本形态就是以若干定理为基础，加上一定的规则，推导出某些命题的过程。*欧式几何的公理基础(+第五公设)*一旦一个命题被证明了，它就能够确定且可靠的作为其他理论...
知识:分叉,密码学,在区块链,公钥
...题为真，同时又不泄漏任何其他信息呢？这听上去就很“自相矛盾”。回顾经典证明从欧几里得时代开始，延续了上千年，证明的基本形态就是以若干定理为基础，加上一定的规则，推导出某些命题的过程。（*欧式几何的公理基础(+第五公设)*）一旦一个命题被证明了，它就能够确定且可靠的作为其他...
知识:分叉,密码学,加密货币,公钥
...MimbleWimble：只有零知识证明ZK-SNARKs等全局匿名集，才能真正保证隐私安全。以太坊2.0协调员Danny Ryan公开表示：ZK rollups是一种混合扩展方法，通过智能合约和零知识方法将链上安全性和第二层网络结合在一起。OVM是指以太坊Layer 2项目Plasma的Optimistic Virtual Machine （OVM），一个可以支持所有Layer 2协议的虚拟...
知识:波场,匿名性,以太坊,跨链
本文结构三句话介绍FindoraFindora能解决什么问题？比特币和以太坊的现状可选择的隐私与审计管理经典应用案例：千万用户、百亿市值企业与Findora的结合技术实践零知识证明：Bulletproof 和 Supersonic编程语言DSL扩展DeFi生态企业级应用：融合联盟链与公链团队简介总结三句话介绍Findora1、Findora是一个公链项...
知识:公链,以太坊,许可链,比特币和以太坊
...到不需要 Trust Setup 的 ZKP（例如 STARK），ZKP 算法逐渐走向去中心化，从依赖经典 NP 问题，到不依赖任何数学难题，ZKP 算法逐渐走向抗量子化。我们当然希望，一个不需要 Trust Setup 同时也不依赖任何数学难题、具有抗量子性的 ZKP 算法也具有较好的效率和较低的复杂度（STARK 的证明太大），它就是 REDSHI...
知识:零知识证明算法,多项式,算法,去中心化
...-SNARKs的概念证明来增加其本机区块链生态系统的隐私。此外，该生态系统是以太坊区块链的一个分支，可创建自己的智能合约语言。除此之外，在过去三年中，各种平台都采用了零知识证明来增强其本机安全性/隐私性功能。但是，使用ZKP的唯一潜在风险是，在忘记源密码的情况下，一个人可能会丢失...
知识:加密货币,区块链生态系统,加密货币交易,知识
...？可验证外包计算假设由于使用的平台（例如笔记本电脑、树莓派，甚至是以太坊）存在的限制，计算变得非常昂贵或无法运行。那么用户必须在第三方服务上运行计算，而不是通过自己的平台，这种第三方服务可以快速、廉价地返回计算输出（例如 AWS Lambda 函数，或类似 Chainlink 的预言机服务）。通...
知识:矿工,与比特币,链上,区块链
当下，以太坊DeFi应用的热度已越来越高，但是关于隐私问题及可审计性，一直以来都没能得到很好的解决，以Aave借贷应用举例，当某个鲸鱼用户抵押了大量资产，并借用了另一种资产，他可选择去做多空交易（此前明牌做空Link的Zeus Capital就是一个例子），由于地址和相关交易信息是公开的，只要能够...
知识:合约,智能合约,去中心化,以太坊
...区块链诞生于比特币，而比特币诞生于密码学。那么纵观密码学发展历史，经典密码学和现代密码学的区别是什么？工作原理是什么？吴博士经典密码学和现代密码学区别还是非常大的,比如说经典密码学里面最典型代表比如拿凯萨密码来说。我们现在来看他是非常的简单,就有一个相当于是密码表进行...
知识:ULAM,挖矿
在以太坊Layer 2扩展网络Arbitrum和Optimism网络都宣布其主网的公开测试版正式启动后，Layer 2的整体数据增长都极其明显，这也标志着以太坊Layer 2扩展解决方案之一Optimistic Rollup已经正式启动。没错，这是一个属于Layer 2的季节。当像Arbitrum和Optimism这样的Optimistic Rollup成为市场焦点时，另一个Layer 2网络zkEVM也...
知识:以太坊,Layer2
在以太坊Layer 2扩展网络Arbitrum和Optimism网络都宣布其主网的公开测试版正式启动后，Layer 2的整体数据增长都极其明显，这也标志着以太坊Layer 2扩展解决方案之一Optimistic Rollup已经正式启动。没错，这是一个属于Layer 2的季节。当像Arbitrum和Optimism这样的Optimistic Rollup成为市场焦点时，另一个曾被路印协议CTO...
知识:以太坊,以太坊的,以太坊基金会,智能合约
...ollup 的成熟和应用将推动 zkEVM 的发展。</blockquote>撰文：DeGate9 月 1 日凌晨，以太坊扩容网络 Arbitrum 宣布主网公测版本正式上线，与此同时 Optimism 则早已经向部分白名单应用开放，这标志着以太坊 L2 扩容方案的一支——Optimistic Rollup 正式登上了舞台。我们再将目光转向 L2 扩容方案的另一支，ZK Rollup：zk...
知识:以太坊,扩容,Layer 2,EVM,Optimistic
撰文：DeGate原标题：《三分钟读懂 zkEVM：以太坊扩容方案的明珠》9 月 1 日凌晨，以太坊扩容网络 Arbitrum 宣布主网公测版本正式上线，与此同时 Optimism 则早已经向部分白名单应用开放，这标志着以太坊 L2 扩容方案的一支——Optimistic Rollup 正式登上了舞台。我们再将目光转向 L2 扩容方案的另一支，ZK Roll...
知识:zkSync
...零知识证明，然后又讲解了zk-SNARKs 的实现，最后分析了将零知识证明结合到以太坊上的作用和方式。原文链接：https://blog.ethereum.org/2016/12/05/zksnarks-in-a-nutshell/中文翻译版本：https://zhuanlan.zhihu.com/p/31780893编码成一个多项式问题简单随机抽样同态（Homomorphic）编码 / 加密零知识「推荐文章十七」Zero-knowledge ...
知识:知识,原文,链接,什么是零知识证明
...。最乐观的预测下，到2027年，量子攻击时间将缩短到30分钟。除了比特币，以太坊和Libra都处于量子攻击的高度危险的状态。最后，他展望了后量子时代的区块链技术的发展，包括内存复杂 PoW 算法、类 BFT 共识协议?+?格密码学等。 《基于零知识证明的原子交换研究》 曹岭 副教授重庆邮电大学曹岭发表...
知识:区块链,量子计算