...和隐私中有应用.zk-SNARK 和 zk-STARK 各有优点, 而它们的合理结合更加有潜力.zkVM 能赋予应用零知识证明能力, zkVM 分为使用主流、EVM 或全新指令集.EVM 的适配包括 EVM 兼容性、等同性和 Specification 上的适配.zkEVM 是兼容 EVM 而又零知识证明友好的环境, 主要分为原生和编译流派.基于原生的 zkEVM 是以太坊和区...
知识:太坊,合约,以太坊的,智能合约
...其实它是对于 ZK 非常友好的项目，计算效率也比较高。StarkNet 设计了一个 zkvm 叫 Cario，它既是一种 CPU 架构，同时又是一门语言，所以说开发者的话需要使用 Cario 语言去些写一些合约的逻辑，然后再去部署在 StarkNet 上，之后再运行在自己的 Virtual Machine 上。StarkNet 如果要兼容 Solidity，需要通过一个叫 Wa...
知识:以太坊,公链,代币,链上
...在SNARK内部验证存储证明。我们认为这种复杂的线路可以很容易地通过一个zkVM集成，尽管成本可能是巨大的。我们担心以太坊客户端会退出存档节点，会优先考虑更高的gas费用限制，所以另一个研究领域是尝试使用EIP1186以外的方法进行存储证明。为了计算计数，嵌入一些操作码在zkVM中执行，使通用可...
知识:zkRollup
...于零知识证明的虚拟机，这正是一些团队在努力地方向---比如正在进行中的zkVM和ZEXE项目。尽管zk-Rollup还有很大的局限性，但在2019年年中，关于zk-Rollup的研究在以太坊研究社区掀起了一股热潮，因为zk-Rollup看上去能解决很多困扰第二层扩展方案的问题。有些公司比如Matter Labs和LoopRing正在积极地进行这方...
知识:区块链,数字货币,以太坊,比特币,区块链投资
...一个重大项目——对一切实现zk-SNARK/STARK！我们甚至可能会看到一些非 EVM 的zkVMs(零知识虚拟机)，可能是一个专门为结算来自 Rollups 或其他先进的密码学的零知识证明而构建的 zkVM 分片，与现有的 EVM 并行。最终，以太坊 EVM 执行层和信标链本身将会实现 zk-SNARK/STARK。这是一项艰巨的工程，需要几年的时...
知识:以太坊,钱包,侧链,以太坊侧链
...一个重大项目——对一切实现zk-SNARK/STARK！我们甚至可能会看到一些非 EVM 的zkVMs(零知识虚拟机)，可能是一个专门为结算来自 Rollups 或其他先进的密码学的零知识证明而构建的 zkVM 分片，与现有的 EVM 并行。最终，以太坊 EVM 执行层和信标链本身将会实现 zk-SNARK/STARK。这是一项艰巨的工程，需要几年的时...
知识:以太坊,交易所,Dapp,侧链,DeFi,Layer 2,N
...个内置的虚拟机 (也即所谓的phase 2) 来取代现有的EVM。如果内置虚拟机会是zkVM (SNARK友好的EVM替代方案) 的话非常不错。Eth2 zkVM的研究与工程交叉领域仍然存在重要的开放问题。Dankrad Feist从研究的角度来看，我觉得我们已经有具体计划的阶段0、1、2都没有难以克服的挑战。但是在阶段1和阶段2中我们还有...
知识:区块,以太坊,以太坊的,合约
...个内置的虚拟机 (也即所谓的phase 2) 来取代现有的EVM。如果内置虚拟机会是zkVM (SNARK友好的EVM替代方案) 的话非常不错。Eth2 zkVM的研究与工程交叉领域仍然存在重要的开放问题。Dankrad Feist从研究的角度来看，我觉得我们已经有具体计划的阶段0、1、2都没有难以克服的挑战。但是在阶段1和阶段2中我们还有...
知识:以太坊,以太坊2.0
...链上部署通用智能合约还不可能。有些针对专用的零知识虚拟机提案（例如zkVM和ZEXE）正在开发中，也许它们会支持，但它们依然需要很多专用知识来与其交互。在大多数情况下，zk-Rollup限制了通用的可编程性。Zk-Rollup可视化。来源：Georgios konstantopoulos到2019年中，这些新发展让以太坊研究社区重新焕发...
知识:链上,侧链,智能合约,以太坊研究
...能的（最好的情况大约是100字节）。使用Utreexo进行UTXO快照是非常简单的，ZKvM项目已经实现了Utreexo，并且正使用它通过在区块头中包含Utreexo树根来保存区块链状态。由于快照的实现已经变得非常经济，因此在每个区块高度都有一个快照就变得可行的了。如此，我们就可以并行完成区块链同步的实现，...
知识:比特币,UTXO,Utreexo
...时将智能合约函数本身以及输入和输出隐私化，提供零知识证明编译器以及 ZKVM 以方便开发人员编写隐私智能合约。除了链上的隐私功能外，PlatON 认为区块链本身的数据容量过大并不利于区块链的发展，尤其对于使用零知识证明技术的区块链而言，故 PlatON 计划将为区块链开发只包含区块头数据的无状...
知识:区块链,去中心化,链上,代币
...都拥有其中一些目标，但没有一个项目能够一次实现所有这些目标。例如，ZkVM提供了用于通用机密智能合约的虚拟机，但基于防弹功能，不支持简洁的证据聚合。 ZEXE具有出色的隐私保护设计，但需要深入了解零知识电路的细节和权衡取舍，这对更广泛的程序员圈子提出了更高的入门门槛。其他更简单...
知识:智能合约,区块,代币,加密货币
...是许多优秀项目的目标，但是没有一个项目同时承诺所有这些目标。例如，ZkVM提供了一个用于通用保密智能合约的虚拟机，但它是基于bulletproofs的，不支持简洁的证明聚合。ZEXE有一个优秀的隐私保护设计，但需要深入了解零知识电路的细节和权衡，这造成了准入门槛过高。其他更简单的ZK编程框架缺乏...
知识:扩容,以太坊,Layer 2
...不难发现大家对于不同的选择有很多热烈的讨论，比如Polygon、Arbitrum、OVM、zkVM以及STARKware的解决方案。虽然我们在密切关注各种可以选择的解决方案，但在核心功能（之前提到的功能）完成之前，我们不会考虑部署。就像Uniswap，我们不想只是硬性地将Linear与某个Layer2绑定，并且为之付出很多专属的资...
知识:代币,链上,跨链,去中心化
... zk-Rollup 侧链上部署通用智能合约。目前正在开发专门的零知识虚拟机，如zkVM和ZEXE，但在与之交互时仍然需要大量的专门知识。在大多数情况下，zk-Rollup 限制了一般的可编程性。zk-Rollup 可视化，Georgios Konstantopoulos 制图到2019年年中，这些新进展为以太坊的研究社区重新注入了活力。zk-Rollup 似乎解决了...
知识:侧链,代币,以太坊,区块链