Ola 소개

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는 암호화 방법과 분산 메커니즘을 통해 크로스 체인 다리에 대한 제 3 자에 대한 의존도를 최소화하는 것을 목표로합니다.

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에 구축 된 신뢰 모니터링 브리지는 다양한 비트 코인 프로젝트의 중요한 인프라가되었습니다. Bitcoin Trust-Minimized Bridge의 건설에는 몇 가지 핵심 기초 모듈이 필요합니다.

• 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-OUT (READENING)와 같은 중간 체인 작업을 안전하게 실행하지 않고 비트 코인 메인 체인 및 대상 체인의 상태 변경을 검증 할 수 있습니다. 이 설계는 비트 코인 자산의 크로스 체인 흐름이 더 이상 중앙 집중식 양육권 또는 연합 다중 서명에 의존하지 않지만 안전을위한 제로 지식 증거 및 분산 된 검증 네트워크에 의존한다는 점에 주목할 만하다. OLA는 비트 코인의 기본 크로스 체인 연결 기반이되어 보안을 다중 체인 환경으로 확장하고 교차 체인 상호 작용의 신뢰 비용을 낮추기를 희망합니다.

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를 통해 동일한 높이에서 해당 비트 코인 체인 상태와 동기화합니다. 예를 들어, 사용자가 PEG-in 작업을 수행하기 위해 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) 감독자 네트워크 및 도전자 네트워크 : 단일 당사자가 부정직하게 행동하는 위험을 최소화하려면 두 가지 추가 네트워크가 있습니다. 감독자 네트워크는 크로스 체인 브리지의 전반적인 운영을 모니터링하고 모든 이상 또는 잠재적 문제를 감지합니다. Challenger 네트워크는 의심스러운 행동에 적극적으로 도전하고 최종 결정을 내리기 위해 감독자 네트워크에 증거를 제공 할 수 있습니다. 함께, 그들은 교차 체인 거래의 정직한 실행을 보장하기 위해 분산 된 감독 및 분쟁 해결 메커니즘을 형성합니다.

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는 Bitcoin의 보안 모델을 체인 간 상호 작용으로 확장합니다. 자금은 스마트 계약 및 BITVM2 스크립트로 호스팅되며, 여러 검증 자의 감독과 결합하여 크로스 체인 브리지가 최소한의 신뢰 가정 (예 : 1-of-N 참가자)과 안전하게 작동 할 수 있습니다.

Overview of OLA Technical Process

OLA 기술 프로세스 개요

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

다중 체인 상태의 신뢰할 수있는 동기화를 보장하기 위해 Ola는