
Subscribe to 神荼社区

Subscribe to 神荼社区
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers

以太坊 2.0升级后隐私保护的机遇与挑战Oasis network有话说
北京时间9月15日14时42分,以太坊执行层(即此前主网)与共识层(即信标链)已于区块高度15537393触发合并机制,也就是说以太坊“合并(The Merge)”已经完成,从此以太坊进入了2.0时代。●以太坊2.0升级后的变化1、工作量证明 (Proof-of-Work) 向权益证明 (Proof-of-Stake) 共识机制的全面过渡。据以太坊基金会的说法合并后以太坊的能源消耗减少约99.95%。在全球能源系统陷入动荡,能源供应紧缩已经严重短缺的背景下符合当前的实际状况。2、以太坊的通胀率将大幅下降甚至通缩。PoW 下的以太坊,是以区块奖励的形式进行 ETH 增发,年通胀率约 4.3%;PoS 下的以太坊,将以质押奖励的形式进行 ETH 增发,不过质押奖励是根据质押总量动态调整的,这里假设质押量为 1 千万 ETH,那么年通胀率约 0.43%;另外,在 EIP1559 的配合下,手续费销毁的 ETH 有可能超过新增发的 ETH,实现 ETH 的通缩。 3、PoS机制将有效提高以太坊的TPS(处理交易的速度),改善以太坊的拥塞。数据处理能力有所提高。在以太坊 1.0中,太坊的 ...
ZK-STARK 运作原理
Zk-proofs 即Zero-Knowledge Proofs 的缩写,中文称为零知识证明。零知识证明是一种方法,透过这种方法,一方可以向另一方证明给定的陈述是真实的,除了该陈述是真实的事实之外,无需透露任何其他资讯。 ZK-STARK 是什麽 ZK-STARK 是一个证明系统——两种演算法之间的互动过程中允许区块链更容易验证计算的完整性,Verifier 和Approver 双方可以透过互动来验证大量交易的完整性。 ZK-Rollup VS OP-Rollup OP-rollup 和ZK-rollup 相比,ZK-rollup 则是比OP-rollup 更安全的替代方案,而OP-rollup 则是具有EVM 相容性的DeFi 专案的更好选择。由此可见,具备EVM 相容性的ZK-rollup 以其天然的安全性的优势将是Layer2 的未来的叙事发展方向。安全性的实现这一优势要归功于StarkNet 对最安全、最可扩展的密码学证明系统— — STARK 的依赖。 Zk-STARKs VS Zk-SNARKs 选择使用SNARKs 还是STARKs 取决于具体的应用场景和需求。SN...

以太坊 2.0升级后隐私保护的机遇与挑战Oasis network有话说
北京时间9月15日14时42分,以太坊执行层(即此前主网)与共识层(即信标链)已于区块高度15537393触发合并机制,也就是说以太坊“合并(The Merge)”已经完成,从此以太坊进入了2.0时代。●以太坊2.0升级后的变化1、工作量证明 (Proof-of-Work) 向权益证明 (Proof-of-Stake) 共识机制的全面过渡。据以太坊基金会的说法合并后以太坊的能源消耗减少约99.95%。在全球能源系统陷入动荡,能源供应紧缩已经严重短缺的背景下符合当前的实际状况。2、以太坊的通胀率将大幅下降甚至通缩。PoW 下的以太坊,是以区块奖励的形式进行 ETH 增发,年通胀率约 4.3%;PoS 下的以太坊,将以质押奖励的形式进行 ETH 增发,不过质押奖励是根据质押总量动态调整的,这里假设质押量为 1 千万 ETH,那么年通胀率约 0.43%;另外,在 EIP1559 的配合下,手续费销毁的 ETH 有可能超过新增发的 ETH,实现 ETH 的通缩。 3、PoS机制将有效提高以太坊的TPS(处理交易的速度),改善以太坊的拥塞。数据处理能力有所提高。在以太坊 1.0中,太坊的 ...
ZK-STARK 运作原理
Zk-proofs 即Zero-Knowledge Proofs 的缩写,中文称为零知识证明。零知识证明是一种方法,透过这种方法,一方可以向另一方证明给定的陈述是真实的,除了该陈述是真实的事实之外,无需透露任何其他资讯。 ZK-STARK 是什麽 ZK-STARK 是一个证明系统——两种演算法之间的互动过程中允许区块链更容易验证计算的完整性,Verifier 和Approver 双方可以透过互动来验证大量交易的完整性。 ZK-Rollup VS OP-Rollup OP-rollup 和ZK-rollup 相比,ZK-rollup 则是比OP-rollup 更安全的替代方案,而OP-rollup 则是具有EVM 相容性的DeFi 专案的更好选择。由此可见,具备EVM 相容性的ZK-rollup 以其天然的安全性的优势将是Layer2 的未来的叙事发展方向。安全性的实现这一优势要归功于StarkNet 对最安全、最可扩展的密码学证明系统— — STARK 的依赖。 Zk-STARKs VS Zk-SNARKs 选择使用SNARKs 还是STARKs 取决于具体的应用场景和需求。SN...
Madara 是一款高性能 Starknet 排序器,提供创建可定制且高效的应用链的能力。
通过使用 Substrate 框架,Madara 增强了 Cairo VM 的功能,从而产生可证明、安全且灵活的程序。
它的实施提供了许多好处,例如可扩展的基础设施、高吞吐量以及对应用程序前所未有的控制。
Madara 的独特功能包括支持潜在的链上隐私、跨不同链的简化互操作性以及强大的执行力。
Madara 通过在区块链领域提供经济高效、可扩展且可定制的解决方案,为 dApp 开发铺平道路。
想象一下,有能力专门针对您的应用程序的独特需求定制区块链——这正是应用程序链所提供的。应用链是特定于应用程序的区块链,它为开发人员提供了微调链的各个方面以满足其应用程序需求的灵活性,例如选择不同的哈希函数或自定义共识算法。应用链继承了其构建所在的强大的 L1 或 L2 区块链的安全性,为开发人员提供了两全其美的优势。
隆重推出 Madara,一款颠覆性的音序器,兼具灵活性和闪电般的性能。排序器是负责执行事务并将其分组为批次的实体。作为启动您自己的 Starknet 应用链的门户,Madara 为 Starknet 生态系统中的实验开辟了前所未有的可能性领域。
在我们深入研究 Madara 在启用 Starknet 应用链方面的迷人功能之前,重要的是要解决为什么开发人员会选择在 Starknet 之上构建应用链而不是直接利用 Starknet Validity Rollup 的问题。人们可能想知道 Starknet 是否已经足以满足大多数场景。
让我们首先了解为什么应用链是 Starknet 生态系统的一个引人注目的扩展。
Madara 由 StarkWare 探索团队开发,也称为Keep Starknet Strange,是专门为实现 StarkWare 的分形缩放愿景而设计的。有许多令人信服的理由可以解释为什么开发人员可能会选择建立 Starknet 应用链或 L3,而不是直接依赖 Starknet。
应用程序开发人员在现有区块链基础设施的可扩展性方面面临着重大挑战。可扩展性包含两个关键方面:高速度和低费用。通过在每一层实现 1,000 倍的成本降低,开发人员可以实现从 L1 到 L3 的整体成本显着降低,可能达到 1,000,000 倍。吞吐量不会受到第三方应用程序活动的影响,因为应用程序具有专用的区块链并且不竞争资源。这确保了始终如一的流畅体验。
Starknet 和以太坊等通用链采取了多种措施来确保网络可供所有人使用,从而导致环境受到限制。通过应用链,开发人员可以微调其应用程序和基础设施的各个方面,创建量身定制的解决方案。不喜欢 Cairo VM 的某个功能?在您的应用程序链中消除它。
应用链的可定制性还允许开发人员使用目前在 Starknet 等环境中不可用或有风险的功能。应用链将为每个团队提供编写和授权任何所需代码提示的自主权。这使得应用链能够解锁许多用例,例如能够在不泄露私人信息的情况下强制执行链上 KYC。
让我们看一下为应用链提供动力的不同层的相互作用,以及 Madara 的用武之地。
执行:执行层定义了块的执行和状态差的生成。Madara 提供了在两个执行包(StarkWare 的blockifier和LambdaClass 的starknet_in_rust)之间切换的灵活性。无论选择哪种包,底层框架都会使用 Cairo VM。Cairo 语言有助于创建可证明的程序,从而能够演示正确的计算执行。
结算:作为有效性汇总,Madara 应用链的状态可以仅通过检查其结算层来重建。通过在 Starknet L2 上更频繁地结算,L3 应用链可以实现更快的硬最终确定,而去中心化排序层可以实现更强大的软最终确定。因此,结算在两个方面(硬最终确定性和软最终确定性)都得到了增强。
排序:Madara 负责排序过程,可以对其进行更改以满足应用程序的需求 - 无论是简单的 FCFS、PGA 还是更复杂的方案(如 Narwhall 和 Bullshark)。某些应用链可以选择部署加密内存池,以确保公平排序并减轻 MEV 的影响。
数据可用性: 数据可用性保证完整的状态树仍然可访问,使用户有信心即使 Madara 遇到中断,他们也可以证明其资金的所有权。Madara 将为开发者提供一系列数据可用性(DA)方案供选择。
治理:每个 Madara 应用链都可以选择其治理模型。Snapshot X提供了一个依赖存储证明的完全链上治理系统。替代治理机制也在探索中,例如原生底层治理托盘。链上治理是 Madara 的核心价值。
在 Madara 中,通过利用 Substrate 框架并集成 Cairo VM 来执行 Cairo 程序和 Starknet 智能合约,Cairo VM 得到了增强。Substrate 是一个开源 Rust 框架,用于构建可定制的区块链,以其灵活性而闻名。同时,Cairo VM 专门设计用于高效生成程序执行的有效性证明。通过采用状态跟踪和智能合约来验证 L2 上的这些证明,appchain 确保与 Starknet 的安全集成。通过这种方式,Madara 利用 Cairo 的力量来实现程序执行的可证明性。
Substrate 框架固有的模块化性质使开发人员可以轻松定制应用程序链。不强加任何假设,允许您合并自己的共识协议、哈希函数、签名方案、存储布局——无论您的应用程序需要什么,同时利用 Cairo 生成证明。开发人员可以做的事情没有限制,同时仍然是可证明的,继承了底层链的安全性——无论是 Starknet 还是以太坊。
开始的时候,Madara 将与 Starknet 非常相似,从而实现 Starknet 生态系统内智能合约的可组合性。随着 Starknet 与herodotus集成以利用存储证明来实现互操作性,未来还有更大的计划。存储证明的集成还将使 Madara 应用链考虑其他链的状态和流动性。
准备好见证由 Madara 开启的 Starknet 领域充满无限可能的新时代。
Madara 是一款高性能 Starknet 排序器,提供创建可定制且高效的应用链的能力。
通过使用 Substrate 框架,Madara 增强了 Cairo VM 的功能,从而产生可证明、安全且灵活的程序。
它的实施提供了许多好处,例如可扩展的基础设施、高吞吐量以及对应用程序前所未有的控制。
Madara 的独特功能包括支持潜在的链上隐私、跨不同链的简化互操作性以及强大的执行力。
Madara 通过在区块链领域提供经济高效、可扩展且可定制的解决方案,为 dApp 开发铺平道路。
想象一下,有能力专门针对您的应用程序的独特需求定制区块链——这正是应用程序链所提供的。应用链是特定于应用程序的区块链,它为开发人员提供了微调链的各个方面以满足其应用程序需求的灵活性,例如选择不同的哈希函数或自定义共识算法。应用链继承了其构建所在的强大的 L1 或 L2 区块链的安全性,为开发人员提供了两全其美的优势。
隆重推出 Madara,一款颠覆性的音序器,兼具灵活性和闪电般的性能。排序器是负责执行事务并将其分组为批次的实体。作为启动您自己的 Starknet 应用链的门户,Madara 为 Starknet 生态系统中的实验开辟了前所未有的可能性领域。
在我们深入研究 Madara 在启用 Starknet 应用链方面的迷人功能之前,重要的是要解决为什么开发人员会选择在 Starknet 之上构建应用链而不是直接利用 Starknet Validity Rollup 的问题。人们可能想知道 Starknet 是否已经足以满足大多数场景。
让我们首先了解为什么应用链是 Starknet 生态系统的一个引人注目的扩展。
Madara 由 StarkWare 探索团队开发,也称为Keep Starknet Strange,是专门为实现 StarkWare 的分形缩放愿景而设计的。有许多令人信服的理由可以解释为什么开发人员可能会选择建立 Starknet 应用链或 L3,而不是直接依赖 Starknet。
应用程序开发人员在现有区块链基础设施的可扩展性方面面临着重大挑战。可扩展性包含两个关键方面:高速度和低费用。通过在每一层实现 1,000 倍的成本降低,开发人员可以实现从 L1 到 L3 的整体成本显着降低,可能达到 1,000,000 倍。吞吐量不会受到第三方应用程序活动的影响,因为应用程序具有专用的区块链并且不竞争资源。这确保了始终如一的流畅体验。
Starknet 和以太坊等通用链采取了多种措施来确保网络可供所有人使用,从而导致环境受到限制。通过应用链,开发人员可以微调其应用程序和基础设施的各个方面,创建量身定制的解决方案。不喜欢 Cairo VM 的某个功能?在您的应用程序链中消除它。
应用链的可定制性还允许开发人员使用目前在 Starknet 等环境中不可用或有风险的功能。应用链将为每个团队提供编写和授权任何所需代码提示的自主权。这使得应用链能够解锁许多用例,例如能够在不泄露私人信息的情况下强制执行链上 KYC。
让我们看一下为应用链提供动力的不同层的相互作用,以及 Madara 的用武之地。
执行:执行层定义了块的执行和状态差的生成。Madara 提供了在两个执行包(StarkWare 的blockifier和LambdaClass 的starknet_in_rust)之间切换的灵活性。无论选择哪种包,底层框架都会使用 Cairo VM。Cairo 语言有助于创建可证明的程序,从而能够演示正确的计算执行。
结算:作为有效性汇总,Madara 应用链的状态可以仅通过检查其结算层来重建。通过在 Starknet L2 上更频繁地结算,L3 应用链可以实现更快的硬最终确定,而去中心化排序层可以实现更强大的软最终确定。因此,结算在两个方面(硬最终确定性和软最终确定性)都得到了增强。
排序:Madara 负责排序过程,可以对其进行更改以满足应用程序的需求 - 无论是简单的 FCFS、PGA 还是更复杂的方案(如 Narwhall 和 Bullshark)。某些应用链可以选择部署加密内存池,以确保公平排序并减轻 MEV 的影响。
数据可用性: 数据可用性保证完整的状态树仍然可访问,使用户有信心即使 Madara 遇到中断,他们也可以证明其资金的所有权。Madara 将为开发者提供一系列数据可用性(DA)方案供选择。
治理:每个 Madara 应用链都可以选择其治理模型。Snapshot X提供了一个依赖存储证明的完全链上治理系统。替代治理机制也在探索中,例如原生底层治理托盘。链上治理是 Madara 的核心价值。
在 Madara 中,通过利用 Substrate 框架并集成 Cairo VM 来执行 Cairo 程序和 Starknet 智能合约,Cairo VM 得到了增强。Substrate 是一个开源 Rust 框架,用于构建可定制的区块链,以其灵活性而闻名。同时,Cairo VM 专门设计用于高效生成程序执行的有效性证明。通过采用状态跟踪和智能合约来验证 L2 上的这些证明,appchain 确保与 Starknet 的安全集成。通过这种方式,Madara 利用 Cairo 的力量来实现程序执行的可证明性。
Substrate 框架固有的模块化性质使开发人员可以轻松定制应用程序链。不强加任何假设,允许您合并自己的共识协议、哈希函数、签名方案、存储布局——无论您的应用程序需要什么,同时利用 Cairo 生成证明。开发人员可以做的事情没有限制,同时仍然是可证明的,继承了底层链的安全性——无论是 Starknet 还是以太坊。
开始的时候,Madara 将与 Starknet 非常相似,从而实现 Starknet 生态系统内智能合约的可组合性。随着 Starknet 与herodotus集成以利用存储证明来实现互操作性,未来还有更大的计划。存储证明的集成还将使 Madara 应用链考虑其他链的状态和流动性。
准备好见证由 Madara 开启的 Starknet 领域充满无限可能的新时代。
No activity yet