Starknet:一个不同的zkVM技术流
简介 1 Starknet如何工作。与以太坊相比,Starknet只需要一个排序器来执行链外计算。然后,为了减少数据量,验证者为交易生成一个ZK-STARK证明。最后,验证者在链上验证证明的正确性,最后将多个L2交易捆绑成以太坊上的一个交易(被称为Rollup)。因此,Starknet减少了链上的执行和存储成本,从而降低了gas费用,提高了TPS。 2 EVM-equivalent。Starknet有一个ZK友好的Cairo VM,它与EVM不同,这意味着Starknet不支持EVM和Solidity。但是随着Solidity编译器Warp和Cairo zkEVM Kakarot的引入,Starknet可以实现第三类EVM-equivalent。 3 STARK证明系统。与其他ZK证明系统相比,STARK更安全,更具可扩展性。它的证明生成速度可线性扩展,验证时间和证明大小可对数扩展($O(polylog(N))$)。证明越大,总成本和验证时间就越低。此外,STARK纯粹依赖于hashing 和信息理论,所以它有更简单的密码学假设,使它能抵抗量子攻击。但它的缺点是,初始证明生成的规...
Starknet:一个不同的zkVM技术流
简介 1 Starknet如何工作。与以太坊相比,Starknet只需要一个排序器来执行链外计算。然后,为了减少数据量,验证者为交易生成一个ZK-STARK证明。最后,验证者在链上验证证明的正确性,最后将多个L2交易捆绑成以太坊上的一个交易(被称为Rollup)。因此,Starknet减少了链上的执行和存储成本,从而降低了gas费用,提高了TPS。 2 EVM-equivalent。Starknet有一个ZK友好的Cairo VM,它与EVM不同,这意味着Starknet不支持EVM和Solidity。但是随着Solidity编译器Warp和Cairo zkEVM Kakarot的引入,Starknet可以实现第三类EVM-equivalent。 3 STARK证明系统。与其他ZK证明系统相比,STARK更安全,更具可扩展性。它的证明生成速度可线性扩展,验证时间和证明大小可对数扩展($O(polylog(N))$)。证明越大,总成本和验证时间就越低。此外,STARK纯粹依赖于hashing 和信息理论,所以它有更简单的密码学假设,使它能抵抗量子攻击。但它的缺点是,初始证明生成的规...
为什么StarkNet能成为激烈的L2竞争中的一匹黑马?
原文链接https://news.coincu.com/167544-why-can-starknet-become-a-dark-horse/**StarkNet是什么? **StarkNet是一个由StarkWare开发的无需许可的第二层网络。它作为ZK Rollup在以太坊上运行,帮助dApps使用STARK证明,以较低的交易成本实现更大的计算规模。该网络允许智能合约与部署在区块链上的其他合约互动,增加协议之间的可组合性。 StarkNet上的所有交易都会定期成批rolled up,并给出一个ZK-STARK证明,然后在以太坊上进行验证。从本质上讲,成千上万的交易在StarkNet上被发送、验证并在链外分批进行,这样可以节省gas,而且可扩展性更高。 一旦ZK-STARK为一个批次生成证明,以太坊可以验证该证明,以确保该批次的交易是有效的,然后继续更新所有钱包同时包括其余额。 这个过程使以太坊不必验证链上每一笔交易的有效性,因为这需要大量的计算能力,并导致高额的gas费用和网络堵塞。 因为它不是一个 "zkEVM",与其他ZK rollups(例如zkSync)不同,智能合...
为什么StarkNet能成为激烈的L2竞争中的一匹黑马?
原文链接https://news.coincu.com/167544-why-can-starknet-become-a-dark-horse/**StarkNet是什么? **StarkNet是一个由StarkWare开发的无需许可的第二层网络。它作为ZK Rollup在以太坊上运行,帮助dApps使用STARK证明,以较低的交易成本实现更大的计算规模。该网络允许智能合约与部署在区块链上的其他合约互动,增加协议之间的可组合性。 StarkNet上的所有交易都会定期成批rolled up,并给出一个ZK-STARK证明,然后在以太坊上进行验证。从本质上讲,成千上万的交易在StarkNet上被发送、验证并在链外分批进行,这样可以节省gas,而且可扩展性更高。 一旦ZK-STARK为一个批次生成证明,以太坊可以验证该证明,以确保该批次的交易是有效的,然后继续更新所有钱包同时包括其余额。 这个过程使以太坊不必验证链上每一笔交易的有效性,因为这需要大量的计算能力,并导致高额的gas费用和网络堵塞。 因为它不是一个 "zkEVM",与其他ZK rollups(例如zkSync)不同,智能合...
我们如何用零知识证明、Starknet和Ethereum塑造模块化区块链的未来
我们相信在一个无许可的未来,这里每个个体可以在可扩展的区块链环境中合作和协调。凭借十年的分布式系统经验和对密码学的迷恋,我们可以帮助建设者实现他们的目标。 https://www.notamonadtutorial.com/how-we-are-shaping-the-future-of-modular-blockchains-with-zero-knowledge-proof-verifications-in-ethereum/ 为了实现这个未来,我们(lambdaclass)认为开发人员没有所有必要的工具来创造与Web2的UI/UX相竞争的产品。在过去的一年里,我们一直在与StarkWare合作,因为他们带来的技术将使我们能够实现这个目标。具体来说,STARKs和Cairo不仅是计算机科学的一个重大突破,而且还在StarkEx中进行了实战检验,最近它又开始在Starknet中进行检验。 与其他大多数解决方案不同的是,StarkEx已经投入生产多年,已经为数以百万计的用户提供服务,自成立以来促进了超过8500亿美元的交易。它不是一个无许可的系统。(而Starknet是)。它的生...
我们如何用零知识证明、Starknet和Ethereum塑造模块化区块链的未来
我们相信在一个无许可的未来,这里每个个体可以在可扩展的区块链环境中合作和协调。凭借十年的分布式系统经验和对密码学的迷恋,我们可以帮助建设者实现他们的目标。 https://www.notamonadtutorial.com/how-we-are-shaping-the-future-of-modular-blockchains-with-zero-knowledge-proof-verifications-in-ethereum/ 为了实现这个未来,我们(lambdaclass)认为开发人员没有所有必要的工具来创造与Web2的UI/UX相竞争的产品。在过去的一年里,我们一直在与StarkWare合作,因为他们带来的技术将使我们能够实现这个目标。具体来说,STARKs和Cairo不仅是计算机科学的一个重大突破,而且还在StarkEx中进行了实战检验,最近它又开始在Starknet中进行检验。 与其他大多数解决方案不同的是,StarkEx已经投入生产多年,已经为数以百万计的用户提供服务,自成立以来促进了超过8500亿美元的交易。它不是一个无许可的系统。(而Starknet是)。它的生...
Backd 改名Mero
原文链接 https://merofinance.medium.com/backd-is-now-mero-87f5fd98ac41今天我们要告别 Backd 并欢迎我们的新品牌名称 Mero(发音为 mair-oh)。 自从我们发展的早期阶段以来,我们的团队、社区和愿景已经发展到我们已经超越了我们原来的名字 Backd 的地步。 通过更名为 Mero,我们可以建立一个更好地代表我们的价值观并实现我们的长期愿景的品牌。 为什么Mero? Backd的想法最初是出于使DeFi中的借贷更有效率的需要而产生的。在发展的早期阶段,我们只专注于通过开发Backd的第一个步Action--抵押品补仓来解决这个问题,这使用户能够使用他们的资金作为未偿还债务的备份抵押品(因此使Backd成为一个合适的品牌名称)。DeFi中的资本有效借款仍然是一个重要的问题,Mero抵押品充值将通过为任何借款人的抵押品提供更高的回报而从根本上改善这一问题。然而,随着我们继续建立Mero,我们意识到,我们正在为远比抵押品充值更重要的东西---建立基础设施。 Mero的第一步Action,抵押品补仓,只是冰山一角。M...
Backd 改名Mero
原文链接 https://merofinance.medium.com/backd-is-now-mero-87f5fd98ac41今天我们要告别 Backd 并欢迎我们的新品牌名称 Mero(发音为 mair-oh)。 自从我们发展的早期阶段以来,我们的团队、社区和愿景已经发展到我们已经超越了我们原来的名字 Backd 的地步。 通过更名为 Mero,我们可以建立一个更好地代表我们的价值观并实现我们的长期愿景的品牌。 为什么Mero? Backd的想法最初是出于使DeFi中的借贷更有效率的需要而产生的。在发展的早期阶段,我们只专注于通过开发Backd的第一个步Action--抵押品补仓来解决这个问题,这使用户能够使用他们的资金作为未偿还债务的备份抵押品(因此使Backd成为一个合适的品牌名称)。DeFi中的资本有效借款仍然是一个重要的问题,Mero抵押品充值将通过为任何借款人的抵押品提供更高的回报而从根本上改善这一问题。然而,随着我们继续建立Mero,我们意识到,我们正在为远比抵押品充值更重要的东西---建立基础设施。 Mero的第一步Action,抵押品补仓,只是冰山一角。M...
什么是账户抽象,为什么它是未来
原文链接 https://www.argent.xyz/blog/wtf-is-account-abstraction/如果你一直在 Twitter 上关注 Vitalik(或者我,但可能性要小得多……)你可能听说过帐户抽象化。 Vitalik 表示,实现帐户抽象化一直是以太坊开发人员的长期“梦想”。他为此提出了几个建议。 也许您也听说过 StarkNet 和 zkSync 这两个领先的第 2 层解决方案,已经宣布它们将推出原生帐户抽象。 为什么它会改变使用加密货币的游戏规则? 我将尝试在这个简短的博客文章系列中回答这些问题。第一篇文章涵盖了以太坊账户并强调了它们的一些限制。这导致帐户抽象化以及它如何解决这些问题。 总而言之,账户抽象化将加密货币从当前的“万能账户”(有人可能会因一个小错误而失去一切)转变为可以根据某人的需求定制账户的未来。在那里你可以建立一个自我监管的安全网。并为他们提供更流畅的用户体验。 这让我们非常兴奋,因为它使自我监管成为可行。替代可怕的种子短语,或依赖中心化交易所。 让我们更深一步来聊聊。 以太坊账户如何运作? 要了解帐户抽象性,我们首先需要了解帐户在今...
什么是账户抽象,为什么它是未来
原文链接 https://www.argent.xyz/blog/wtf-is-account-abstraction/如果你一直在 Twitter 上关注 Vitalik(或者我,但可能性要小得多……)你可能听说过帐户抽象化。 Vitalik 表示,实现帐户抽象化一直是以太坊开发人员的长期“梦想”。他为此提出了几个建议。 也许您也听说过 StarkNet 和 zkSync 这两个领先的第 2 层解决方案,已经宣布它们将推出原生帐户抽象。 为什么它会改变使用加密货币的游戏规则? 我将尝试在这个简短的博客文章系列中回答这些问题。第一篇文章涵盖了以太坊账户并强调了它们的一些限制。这导致帐户抽象化以及它如何解决这些问题。 总而言之,账户抽象化将加密货币从当前的“万能账户”(有人可能会因一个小错误而失去一切)转变为可以根据某人的需求定制账户的未来。在那里你可以建立一个自我监管的安全网。并为他们提供更流畅的用户体验。 这让我们非常兴奋,因为它使自我监管成为可行。替代可怕的种子短语,或依赖中心化交易所。 让我们更深一步来聊聊。 以太坊账户如何运作? 要了解帐户抽象性,我们首先需要了解帐户在今...