Aleo生态|跨链桥IZAR凭什么双料冠军？

Aleo的粉丝朋友你们好，这里是 

 AleoASIA | Aleo大中华社区

Aleo最靠谱的中文社区 

我们公众号已经多次介绍Aleo的跨链龙头IZAR，也是最为积极参与IZAR跨链测试的主力部队。(更多有关IZAR的文章，请公众号历史文章中查看)

Aleo生态| IZAR跨链桥的野心及发展蓝图

Aleo生态|跨链桥IZAR Odyssey，每个重要里程碑的POAP NFT

数月前，IZAR获得了ETHShanghai + Linea 基础设施类的双料冠军，那么IZAR是凭什么能获得此殊荣呢？他们发布了最新一期博客，我们一起来学习下！

开创性的隐私视野:IZAR 突破性的跨链安全范式

随着 Web3 的迅速普及，确保强大的链上安全性对于 dApp 构建者和用户来说变得前所未有的重要。利用 Aleo 的功能，IZAR 立志成为首个以隐私为中心的互操作协议，在 Aleo 和以太坊生态系统之间建立无缝通道。这篇文章深入探讨了我们前卫的隐私和安全蓝图。

我们的隐私和安全愿景

虽然 IZAR 很快将充分发挥互操作性协议的作用，但许多人可能会想：考虑到 Aleo 在从以太坊生态系统转移资产时所赋予的固有隐私优势，IZAR 与已经流行的现有桥有何不同？此外，我们如何解决困扰大多数桥梁的集中化问题？对于这些紧迫的问题，我们的答案在于我们精心设计的独特功能，以提高 IZAR 的可靠性和完整性。

PoA + PoS 治理范式

我们独特方法的核心是我们突破性的治理框架，它将 zkSnark 多重签名与 PoA（权威证明）+ PoS（权益证明）混合模型相结合。在这个治理结构中，Aleo 等受人尊敬的实体和顶级以太坊节点运营商形成了 PoA 核心。同时，外部验证器可以通过 PoS 轻松成为验证网络的一部分。我们的确定性算法确保 1/3+ 的投票权掌握在 PoA 手中，剩下的 2/3 - 留给 PoS。有关 IZAR 治理的详细更新，我们很快将在 GitHub 上发布完整文档。

拥抱 zkSnark 多重签名

我们的愿景超越了传统的 MPC 多重签名方法，转向 zkSnark 多重签名，以实现跨链交易中真正的去中心化。通过 MPC，每个参与者都保留一个密钥共享。然而，随着新进入者的到来，所有密钥共享都会重新生成，从而使旧的密钥共享仍然有效——这是一个潜在的安全漏洞。大多数解决方案都涉及定期手动将资产转移到新地址，这个过程远非去中心化。

对于 IZAR，我们的目标是容纳尽可能多的验证器（根据我们当前的设计最多 1k）。利用零知识证明技术，我们的目标是高效、经济地验证多重签名验证。

该设计

为了阐明我们的模型，让我们以以太坊为例。

在以太坊合约中，我们只保留以下两项：

> 强制n必须大于以太坊合约中验证者总数的2/3。

每当需要签名时，验证者都会将自己的 BLS 签名发送到证明者节点：

在为特定的 msg_hash 收集足够的 BLS 签名后，证明者开始生成证明。

在证明系统中，我们有以下输入：

Witness：

1. 所有验证者地址。

2. 全部收到 BLS 签名。

实例：

1.validator_hash.

2. 本轮收到的签名数量：n。

3. msg_hash.

我们使用以下约束来实现 izar 的 zkp 多重签名验证：

1. 对于所有验证人地址，如果本轮提交了 msg_hash.签名，我们将相应的标志设置为1；否则，我们将其设置为 0。

2. 对于所有验证器地址，我们将它们的poseidon 哈希值限制为等于 validator_hash.

3. 对于每个标志设置为1的验证器，我们利用BLS聚合签名技术来确保其签名的正确性。

4. 所有验证器的标志总和必须等于 n。

5. 对于所有签名，我们强制每个 msg_hash  相等。

6. 对于msg_hash.，我们强制其遵守hash_to_curve约束，并利用生成的msg_hash_point来验证BLS签名。

以太坊合约可以使用 (Proof, validator_hash, n, msg_hash) 来验证证明的正确性。

应对挑战

主要的挑战是证明生成速度。确保快速证明对于积极的用户体验至关重要。但复杂的 hash_to_curve 约束可能会导致电路规模扩大，可能会增加天然气成本并延长证明生成周期。

我们的前进之路

在我们寻求快速证明生成的过程中，我们探索了一种聚合方法，其中每个验证者都创建自己独特的证明来验证其签名的准确性。然后，izar_prover 负责聚合这些证明。我们研究过的聚合方法（例如 SnarkPack 和 Nova）需要证明数量呈对数的配对操作。这个耗气量对我们来说太高了。如果我们找不到合适的聚合方法，我们将不得不考虑直接证明。目前，我们正在考虑直接基于Groth16或Halo2实现这些证明，然后优化证明生成速度。

开创性功能：TimeLock

近年来，导致大量资产损失的链上网络攻击让许多人感到不安。作为一项附加的安全措施，IZAR 计划纳入 TimeLock 功能。通过推迟重大交易的执行，我们可以先发制人地检测并停止可疑活动，进一步加强我们的安全框架。该机制仅在超过指定阈值的交易时激活，这突显了我们对用户安全和隐私的坚定承诺。

随着我们的推进，这些开创性功能的开发无疑将是密集的，需要精心的设计、严格的开发和彻底的测试。然而，我们的团队是不屈不挠的。我们预计在年底前完成整体设计，为明年升级版IZAR V2的首次亮相铺平道路。随着 Aleo 距离其主网发布越来越近，请随时了解我们的最新进展——最好的尚未到来。

 Aleo 是第 1 层区块链，为网络带来隐私 

Aleo 生态| Arcane Finance 发 OG 身份！大家快来！

Aleo即将重启！关于隐私区块链，Aleo与其他隐私项目比较

Aleo生态|终于有钱包加速器了！仅19秒即可完成转账！来自Soter|Aleo Wallet

B圈出金不冻卡2!可绑苹果支付的虚拟+实体卡，开卡费率便宜+额度还高！护航出金安全！