# Babylon <> Ola

## Onis -- Verifiable Bridge

#### Yet another bridge?
以 Bitcoin 和 Ethereum 的跨链挑战为例：从 Bitcoin 到 Ethereum 的跨链相对容易，因为 Ethereum 支持智能合约，只需一个稍微可信的第三方将 Bitcoin 的轻节点数据传递到 Ethereum 上即可。然而，从 Ethereum 到 Bitcoin 的跨链则复杂得多。目前的方式要么是中心化的，要么是多签方案，后者存在私钥丢失或单一实体掌握多个私钥等安全隐患。即使使用轻客户端的方式，也依赖于可信方将数据存入合约，无法完全去中心化。

Onis 旨在解决这些问题，通过利用去中心化的 Massive 用户网络和 zkP 软验证，实现更加安全和去中心化的跨链操作，确保从 Ethereum 到 Bitcoin 的跨链过程也能在无信任的环境中安全进行。这种去中心化的设计不仅提升了安全性，还确保了跨链操作的终局性和可信度，为用户提供了一种更可靠的跨链解决方案。

#### Onis Architecture
Onis 是 Ola 的跨链解决方案，其架构图展示了如何通过去中心化的方式实现不同区块链之间的互操作性。Onis 包括三个主要部分：Onis 服务、Massive 用户（包括 Supervisor 和 Proposor），以及 OlaVM 智能合约系统。

* Onis 服务：负责设置跨链桥接，通过Supervisor和Proposor验证链的状态，生成跨链证明。
* Massive 用户：通过Proposor和Supervisor提供跨链状态同步信息。Proposor进行不同链间的数据状态同步，而Supervisor负责监督同步的正确性，整个Massive 用户网络是去中心化的。Massive的使用场景之一是， 其能够实现零知识证明的软验证（Soft Verify）。对于无法部署 ZKP Verifier的区块链，例如Bitcoin，Massive的用户可以提供对 ZKP 终局性的验证。
* OlaVM：基于RISC架构的zkVM，方便部署和验证跨链合约，自研Ola-lang可方便编写跨链数据状态的约束合约，进行zk证明生成和验证。

OlaVM: https://github.com/sin7y/olavm
Ola-lang: https://github.com/Sin7Y/ola-lang

## Onis' current status

* OlaVM: OlaVM从2024年2月启动pre-alpha 测试网之后，稳定运行至今。
* Massive：参见 https://olavm.org/massive, 当前注册的Massive数量是22万+，目前日活Massive节点是10万+。

## How to integrate Onis with Babylon

Onis Node接入Babylon的Finality Provider，利用 Babylon 的 PoS 共识机制，进一步提升跨链验证的效率和安全性。通过将 Babylon 的共识机制与 Onis 的验证体系结合，双方都能受益于更高的链间数据可靠性和系统稳健性。

* What should Ola do?
Onis 需要集成Babylon的SDK，汇集finality signature，完成block排序。

* What should Babylon do?
Do nothing

## Benefits of collaboration
1. 去中心化和安全性：Onis 依赖于去中心化的 Massive 用户网络，通过监督者和提议者的多重验证，确保跨链操作的可靠性和安全性。用户可以信任这些跨链操作，不依赖于中心化的第三方。
2. 灵活性和扩展性：Onis 支持多链状态的同步与验证，使得用户可以在不同的区块链之间进行灵活的资产转移和数据共享，适用于多种应用场景。
3. 用户基础和活跃度：Onis 已经拥有超过 10 万活跃用户，这使得它在用户参与度和生态发展方面具有巨大优势。Babylon 选择与 Onis 合作，可以直接接入这一庞大的用户群体，从而增加其生态系统的活跃度和流动性。
4. 强大的技术架构：Onis 集成了数据可用性服务 (DA) 和智能合约验证机制，通过先进的桥接和同步技术，为 Babylon 提供可靠的跨链解决方案。这种技术优势将帮助 Babylon 扩展其生态系统，吸引更多的项目和开发者。