Introduction à Ola

OLA est une infrastructure axée sur les interactions de confiance transversales, fournissant des preuves inter-chaînes zéro-connaissances pour l'écosystème Bitcoin.

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

OLA est une infrastructure axée sur les interactions de confiance transversales, fournissant des preuves inter-chaînes zéro-connaissances pour l'écosystème Bitcoin.

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.

Les ponts transversales traditionnels de la BTC reposent souvent sur la garde à vue multi-signature ou les intermédiaires centralisés, qui placent des hypothèses de confiance supplémentaires sur la sécurité des fonds d'utilisateurs, généralement contrôlées par une seule entité ou une majorité d'entités. Ce modèle présente des risques centralisés et s'écarte de l'esprit décentralisé du bitcoin. En revanche, OLA vise à minimiser la dépendance à l'égard des tiers pour les ponts transversales par des méthodes cryptographiques et des mécanismes décentralisés.

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:

Avec l'amélioration progressive de la pratique du protocole Bitvm2, le pont minimisé en fiducie construit sur Bitvm2 est devenu une infrastructure importante pour divers projets Bitcoin. La construction du pont minimisé de la confiance Bitcoin nécessite plusieurs modules fondamentaux de base:

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

• Bloquer la génération et la gestion de la production et de la gestion zéro-connaissance)

• Chain state synchronization and state proofs

• Synchronisation de l'état de la chaîne et épreuves d'état

• Supervised and decentralized verifiers for proofs

• Vérificateurs supervisés et décentralisés pour les preuves

• Efficient and lightweight proof aggregation and submission

• Aggrégation et soumission efficaces et légères

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 se concentre sur la construction d'un en-tête de bloc à chaîne complète et une plate-forme de gestion ZKP, fournissant des preuves d'état de chaîne vérifiables pour les ponts de confiance de différents projets pour assurer la crédibilité de la synchronisation de l'État entre plusieurs chaînes. Son objectif est d'établir un canal d'interaction avec un minimum d'hypothèses de confiance entre le bitcoin et d'autres blockchains, réalisant une infrastructure de pontage transversale sans gardiens. Grâce aux preuves d'état de la chaîne fournies par OLA, les ponts transversales basés sur le protocole Bitvm2 peuvent vérifier les modifications d'état sur la chaîne principale Bitcoin et les chaînes cibles sans faire confiance à un intermédiaire, exécutant des opérations transversales comme Peg-In (dépôts d'ancrage) et PEG-Out (réévolution des retraits) en toute sécurité. Il est à noter que cette conception permet au flux croisé des actifs bitcoins de ne plus dépendre de la garde centralisée ou de la multi-signatures fédérées mais s'appuie sur des preuves de connaissances zéro et des réseaux de vérification décentralisés pour la sécurité. OLA espère devenir la base de connexion transversale native pour Bitcoin, étendant sa sécurité à un environnement multi-chaîne et réduisant le coût de confiance dans les interactions transversales.

OLA Technical Architecture and Module Description

Architecture technique OLA et description du module

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:

Le système OLA comprend plusieurs modules qui fonctionnent en coordination, chacun jouant son rôle pour réaliser la génération, la vérification et la soumission des preuves d'état inter chaînes. Les principaux modules architecturaux comprennent:

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) Bloquer le module de génération ZKP de l'en-tête: Ce module est responsable de la collecte périodique des en-têtes de blocs Bitcoin et de la génération d'épreuves de connaissances zéro (ZKPS) pour eux. Les ZKPS attestent de l'état de la chaîne Bitcoin à des hauteurs spécifiques sans révéler les données réelles d'en-tête de bloc. Cela garantit que l'instantané de l'État dérive de la chaîne principale Bitcoin.

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) Module de synchronisation de l'état de la chaîne: différentes blockchains ont leurs propres modèles de transition d'état. Ce module suit l'état des changements sur la chaîne cible et les synchronise avec l'état de chaîne Bitcoin correspondant à la même hauteur via ZKPS. Par exemple, si un utilisateur dépose l'ETH dans un pont transversal pour effectuer une opération Peg-In, ce dépôt sera reflété comme un changement d'état sur la chaîne Ethereum, que le module de synchronisation de l'état de la chaîne détecte et gère. Dans le même temps, le module récupère les ZKP de l'en-tête de bloc pour la même hauteur de la chaîne Bitcoin pour attester de l'état Bitcoin à cette période spécifique.

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) Réseau de vérification de la preuve: plusieurs vérificateurs décentralisés participent à la vérification de la validité des ZKP et à la réalisation de calculs légers sur les transitions d'état. Ils s'assurent que les preuves d'état utilisées pour les opérations transversales sont en effet générées par le module de génération ZKP et n'ont pas été falsifiées. Ce réseau sert de point de contrôle final pour les mises à jour de l'État transversal, empêchant les acteurs malveillants de forger des preuves pour manipuler des fonds.

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) Module d'agrégation et de soumission de preuve: À mesure que le nombre de vérificateurs augmente, les exigences de calcul et de stockage pour vérifier les ZKP et effectuer la synchronisation de l'état deviendront plus exigeantes. Ce module regroupe les preuves de différents vérificateurs et les soumet à la chaîne cible d'une manière lot et efficace. Cela réduit la charge de calcul pour les vérificateurs individuels et optimise le débit des opérations transversales.

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) Réseau de superviseur et réseau Challenger: Pour minimiser le risque d'une seule partie agissant malhonnête, il existe deux réseaux supplémentaires: le réseau de superviseur surveille le fonctionnement global du pont transversal et détecte les anomalies ou les problèmes potentiels. Le réseau Challenger peut contester activement tout comportement suspect et fournir des preuves au réseau de superviseurs pour prendre des décisions finales. Ensemble, ils forment un mécanisme de supervision et de règlement des différends décentralisés pour assurer l'exécution honnête des transactions transversales.

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).

Les modules ci-dessus fonctionnent ensemble pour réaliser une infrastructure de ponts transversales qui est peu fiable et capable de vérifier les états sur plusieurs blockchains. Ola étend le modèle de sécurité de Bitcoin aux interactions inter-chaînes: les fonds sont hébergés par des contrats intelligents et des scripts Bitvm2, combinés à la supervision de plusieurs vérificateurs, permettant au pont transversal de fonctionner en toute sécurité avec des hypothèses de confiance minimales (comme les participants de N-N étant honnêtes).

Overview of OLA Technical Process

Aperçu du processus technique OLA

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

Pour assurer la synchronisation crédible des États multi-chaînes, Ola a construit un