从零开始揭开ZK snark（1）

私募比特币 zk-SNARK零常识证明就像一座桥梁，完成了从实际国际到数字国际的映射。 最近，以太坊基金会宣告了它支撑的研发团队的项目和范畴。其间，“运用零常识证明”触及的团队和技能最多，近14个项目。零常识证明，quot;零常识的概念quot;或许有点令人费解，ZK snark很快就会变得复杂，所以让咱们从头开端。在本文中，《星际地平线》将为读者揭开ZK-snark之谜，并从暗码学的视点解说ZK-snark。什么是暗码学是一门研讨暗码编译的技能科学。研讨暗码改动的客观规律称为编码，用于编写暗码以维护通讯隐秘；它被用来破译暗码以取得通讯信息，这被称为破译学，它一般被称为暗码学。简而言之，暗码学是对安全通讯技能的深入研讨。当人们只想让发送者和接收者看到音讯内容时，一般运用暗码学。暗码学现已存在了几个世纪。最早的暗码学呈现在古埃及。khumhotep IL的追随者在他的坟墓上雕刻了加密符号。暗码学早在公元前400年就呈现了。运用暗码的前史简直和运用字符的前史相同长。暗码学的开展能够分为三个阶段：1949年曾经的经典阶段；1949年曾经的古典阶段；从1949年到1975年，暗码学成为科学的一个分支；自1976年以来，对称密钥暗码学得到了进一步的开展，产生了一个新的暗码学方向——公钥暗码学。1976年，w。迪菲和M。赫尔曼在《暗码学的新方向》一文中初次提出了公钥暗码学的概念。公钥暗码完成了加密密钥宽和密密钥的独立性，处理了对称暗码体系中通讯两边有必要同享密钥的问题。它在暗码学中具有划时代的含义。加密钱银国际中的暗码学加密钱银国际中最常见的加密元素之一是哈希函数，它是任何区块链的骨干。散列函数-特别是SHA-256，大多数区块链中的散列函数-根本大将单词、短语或数字的输入转换为固定长度的加密信息，如下所示：77077b1f4c3ad44c83dc0bdb8d937e9b71c0ef07a35c2664bb7da85be738eacf公司散列函数答应像比特币这样的区块链处理业务，将区块链接到一个或另一个，并确保区块链数据的完整性得到维护。和散列函数相同，zksnark也是一种暗码学。它们被用来保证比用户在区块链上取得更多的隐私。什么是ZK Snark zksnark是“零常识，成功的非交互常识证明”的缩写。这一长串姓名的主体是“常识证明”，即“常识证明”，即知道内涵事物的依据。润饰主语名词的定语由三部分组成，别离代表了该技能要处理的三个问题1零知：零知，即证明进程中不发表内情信息，如上例所示；2成功：简练，主要指验证进程不触及很多数据传输，验证算法简略；3非交互：无交互。虽然上述两个比方完成了零常识证明，可是证明者和验证者需求屡次交互才干取得令人满意的可靠性，这种技能企图彻底避免这些交互。总而言之，zksnark是一种“证明我知道内情的技能”。它简略易操作。最重要的是，除了“我是对的”，你什么都不知道。咱们一般称之为ZK snark零常识证明。ZK snark举动zksnark是quot;零常识quot;暗码学的一种办法。ZK snark答应加密用户以彻底加密的办法在区块链上发送买卖，这意味着没有人能够读取买卖，并标明买卖是以合法的办法进行的。零常识证明答应a向B证明声明x是正确的，而不发表任何超出声明x自身有效性的信息。幻想一下，向或人承认你现已21岁了，却没有泄漏你的生日，或许你现已25岁了。这是幻想ZK snarks坐山观虎斗作业的有用办法。Zcash是第一个运用零常识证明机制的区块链体系，它能够供给彻底的付出保密性，一起依然运用公共区块链来维护涣散的网络。与比特币相同，zcash token（Zec）的总金额为2100万。不同的是，zcash transaction会自动躲藏区块链上一切买卖的发送方、接收方和金额。只要具有view键的人才干看到业务的内容。用户具有彻底控制权，他们能够挑选向其他人供给检查键。每个新的躲藏付出都会在区块链上生成三品种的记载—受哈希维护的记载。所触及的哈希表明业务接收方的地址、发送的金额以及业务自身的仅有编号。因而，躲藏的业务依赖于散列值，比方比特币，可是zksnark增加了一个新的隐私层。像zcash和monero这样的加密钱银在一些用户中很受欢迎，由于加密职业是由许多自在主义者组成的。两者都企图将自己与比特币等更盛行的加密钱银区别开来，宣称假如你运用他们的钱银，没有人能够窥视你的私家金融日子。ZK snark的未来zksnark是匿名加密业务的有用东西。但除了隐私硬币，它们也有助于推进越来越多的其他运用程序。例如，CELO是一个加密钱银协议，它专心于移动付出，并期望创立一个更具包容性的协议。在CELO从事产品和工程的Pranay Mohan说，ZK snark的潜力远远超出了那些发起隐私的人。Mohan着重ZK snark坐山观虎斗协助开展中国家的人们，“假如咱们考虑一下这些人现在坐山观虎斗运用加密钱银，这简直是不或许的，他们不运用metamask，并在一个随机的defi项目中出资10000美元，”他说。Mohan弥补说，经过ZK Snark，手机用户能够当即与区块链同步——保存与加密钱银相同的不受信赖特点，但在不具备高科技功用的设备上。虽然zksnark很有期望，但它依然很小。即便在像加密这样的高科技职业，很多人也不知道自己是什么。但随着越来越多的公司开端承受这项技能，这种状况或许正在改动。其间包含aleo，一家最近从蓝筹股危险出资公司筹集了2800万美元的草创公司，用于构建东西，使web开发能够在各种互联网运用程序中集成零常识证明——该项目承诺答应顾客阅读web而不用泄漏很多个人数据。但这并没有阻挠ey，国际上最大的会计师业务所之一，测验这种先进的暗码技能。安永选用非交互式零常识证明算法ZK Snark，开发了自己的同正开源协议，成功完成了以太坊公网上的第一笔私家买卖，并将逐渐运用于各类区块链企业运用，答应客户在不献身用户隐私的状况下使用区块链的潜力。据布罗迪说，公司自己的暮色处理方案供给了一种在以太坊网络上进行肯定私家买卖的办法，一起为企业供给服务。虽然监管部门对高度私家化的金融买卖存在忧虑，但布罗迪以为，ZK snark将成为未来的干流。[星际观测]ZK-snark零常识证明就像一座桥梁，完成了从实际国际到数字国际的映射。经过维护两边的身份信息和买卖细节，能够保证企业级区块链买卖。对企业来说，保证了其最灵敏的信息，有利于构建标准的资金和库存办理价值链；完成精确高效的职业级供应链办理。

最后编辑：2023-09-20

作者：火币网

这个作者貌似有点懒，什么都没有留下。

站内专栏 站点