奥拉简介

OLA是一种侧重于交叉链互动的基础架构，为比特币生态系统提供了链间零知识证明。

OLA is an infrastructure focused on cross-chain trusted interactions, providing inter-chain zero-knowledge proofs for the Bitcoin ecosystem.

OLA是一种侧重于交叉链互动的基础架构，为比特币生态系统提供了链间零知识证明。

Traditional BTC cross-chain bridges often rely on multi-signature custody or centralized intermediaries, which place additional trust assumptions on the safety of user funds, usually controlled by a single entity or a majority of entities. This model presents centralized risks and deviates from the decentralized spirit of Bitcoin. In contrast, OLA aims to minimize reliance on third parties for cross-chain bridges through cryptographic methods and decentralized mechanisms.

传统的BTC跨链桥通常依靠多签名的监护权或集中式中介机构，这些中介机构对用户资金的安全性进行了额外的信任假设，通常由单个实体或大多数实体控制。该模型提出了集中的风险，并偏离了比特币的分散精神。相反，OLA旨在通过加密方法和分散机制最大程度地减少对第三方对跨链桥的依赖。

With the gradual improvement of the BitVM2 protocol engineering practice, the Trust-minimized Bridge built on BitVM2 has become an important infrastructure for various Bitcoin projects. The construction of the Bitcoin Trust-minimized Bridge requires several core foundational modules:

随着BITVM2协议工程实践的逐步改进，基于BITVM2建立的信任最小的桥已成为各种比特币项目的重要基础设施。比特币信任最小的桥的构建需要几个核心基础模块：

• Block Header ZKP (Zero-Knowledge Proof) generation and management

•块标头ZKP（零知识证明）生成和管理

• Chain state synchronization and state proofs

•链状态同步和状态证明

• Supervised and decentralized verifiers for proofs

•有监督和分散的验证者以获取证明

• Efficient and lightweight proof aggregation and submission

•有效且轻巧的证明聚合和提交

OLA concentrates on building a full-chain Block Header ZKP generation and management platform, providing verifiable chain state proofs for different projects' Trust-minimized Bridges to ensure the credibility of state synchronization among multiple chains. Its goal is to establish an interaction channel with minimal trust assumptions between Bitcoin and other blockchains, realizing cross-chain bridging infrastructure without custodians. Through the chain state proofs provided by OLA, cross-chain bridges based on the BitVM2 protocol can verify state changes on the Bitcoin main chain and target chains without trusting any intermediary, executing cross-chain operations like Peg-In (anchoring deposits) and Peg-Out (redeeming withdrawals) safely. It's noteworthy that this design enables the cross-chain flow of Bitcoin assets to no longer depend on centralized custody or federated multi-signatures but relies on zero-knowledge proofs and decentralized verification networks for safety. OLA hopes to become the native cross-chain connection base for Bitcoin, extending its security to a multi-chain environment and lowering the trust cost in cross-chain interactions.

Ola专注于建立全链块标头ZKP生成和管理平台，为不同项目的信任最小的桥梁提供可验证的链状态证明，以确保多个链中的状态同步的可信度。它的目标是建立一个比特币和其他区块链之间具有最小信任假设的互动渠道，实现了没有托管人的跨链桥接基础设施。通过OLA提供的链状态证明，基于BITVM2协议的跨链桥可以验证比特币主链和目标链的状态变化，而无需信任任何中介机构，执行peg-in（锚定存款）和钉子（固定）和钉子（赎回撤回）等跨链操作。值得注意的是，这种设计使比特币资产的跨链流不再取决于集中的监护权或联邦多签名，而是依赖于零知识证明和分散的验证网络来安全。奥拉希望成为比特币的本地跨链连接基础，将其安全性扩展到多链环境，并降低跨链交互的信任成本。

OLA Technical Architecture and Module Description

OLA技术架构和模块描述

The OLA system comprises several modules that work in coordination, each performing its role to achieve the generation, verification, and submission of inter-chain state proofs. The main architectural modules include:

OLA系统包括几个在协调中起作用的模块，每个模块都扮演其作用，以实现链间状态证明的生成，验证和提交。主要建筑模块包括：

1) Block Header ZKP Generation Module: This module is responsible for periodically collecting Bitcoin block headers and generating zero-knowledge proofs (ZKPs) for them. The ZKPs attest to the state of the Bitcoin chain at specific heights without revealing the actual block header data. This ensures that the state snapshot is provably derived from the Bitcoin main chain.

1）块标头ZKP生成模块：此模块负责定期收集比特币块标头并为其生成零知识证明（ZKP）。 ZKP在特定高度处证明了比特币链的状态，而无需揭示实际的块标头数据。这确保了状态快照可证明是从比特币主链中得出的。

2) Chain State Synchronization Module: Different blockchains have their own state transition models. This module tracks the state changes on the target chain and synchronizes them with the corresponding Bitcoin chain state at the same height through ZKPs. For instance, if a user deposits ETH into a cross-chain bridge to perform a Peg-In operation, this deposit will be reflected as a state change on the Ethereum chain, which the Chain State Synchronization Module detects and handles. At the same time, the module fetches Block Header ZKPs for the same height from the Bitcoin chain to attest to the Bitcoin state at that specific time period.

2）链状态同步模块：不同的区块链具有自己的状态过渡模型。该模块跟踪目标链上的状态变化，并将其与相同高度通过ZKP的相应比特币链状态同步。例如，如果用户将ETH沉积到跨链桥上进行钉住操作，则该沉积物将反映为以太坊链上的状态变化，链状态同步模块检测和处理。同时，该模块从比特币链中获取相同高度的块标头ZKP，并在该特定时间段内证明到比特币状态。

3) Proof Verifier Network: Multiple decentralized verifiers participate in verifying the validity of ZKPs and performing lightweight computations on state transitions. They ensure that the state proofs used for cross-chain operations are indeed generated by the ZKP Generation Module and have not been tampered with. This network serves as a final checkpoint for cross-chain state updates, preventing malicious actors from forging proofs to manipulate funds.

3）证明验证者网络：多个分散的验证者参与验证ZKP的有效性并对状态转换执行轻量级计算。他们确保用于跨链操作的状态证明确实是由ZKP生成模块生成的，并且没有被篡改。该网络是跨链状态更新的最终检查点，防止恶意演员伪造证明以操纵资金。

4) Proof Aggregation and Submission Module: As the number of verifiers increases, the computational and storage requirements for verifying ZKPs and performing state synchronization will become more demanding. This module aggregates proofs from different verifiers and submits them to the target chain in a batched and efficient manner. This reduces the computational burden on individual verifiers and optimizes the throughput of cross-chain operations.

4）证明聚合和提交模块：随着验证者的数量增加，验证ZKP和执行状态同步的计算和存储要求将变得更加要求。该模块从不同的验证者汇总了证明，并以批处理和有效的方式将其提交到目标链中。这减轻了单个验证者的计算负担，并优化了跨链操作的吞吐量。

5) Supervisor Network and Challenger Network: To minimize the risk of a single party acting dishonestly, there are two additional networks: the Supervisor Network monitors the overall operation of the cross-chain bridge and detects any anomalies or potential issues. The Challenger Network can actively challenge any suspicious behavior and provide evidence to the supervisor network for making final decisions. Together, they form a decentralized supervision and dispute resolution mechanism to ensure the honest execution of cross-chain transactions.

5）主管网络和挑战者网络：为了最大程度地降低单一政党不诚实的风险，还有两个其他网络：主管网络监视跨链桥的整体操作，并检测到任何异常或潜在问题。挑战者网络可以积极挑战任何可疑行为，并向主管网络提供最终决定的证据。他们共同形成了分散的监督和争议解决机制，以确保诚实执行跨链交易。

The above modules work together to achieve a cross-chain bridge infrastructure that is minimally trusted and capable of verifying states across multiple blockchains. OLA extends Bitcoin's security model to inter-chain interactions: funds are hosted by smart contracts and BitVM2 scripts, combined with the supervision of multiple verifiers, allowing the cross-chain bridge to operate securely with minimal trust assumptions (such as 1-of-N participants being honest).

上述模块共同起作用，以实现跨链桥接基础架构，该基础架构是最信任的，能够验证多个区块链的状态。 OLA将比特币的安全模型扩展到链间交互：资金由智能合约和BITVM2脚本托管，并结合了多个验证符的监督，从而使跨链桥可通过最小的信任假设（例如1-N参与者诚实）安全地操作。

Overview of OLA Technical Process

OLA技术过程的概述

To ensure the credible synchronization of multi-chain states, OLA has built a

为了确保多链国家的可靠同步，Ola建立了一个