Formalization and security analysis of the Bridgeless protocol
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915357641408512 |
|---|---|
| author | Alpos, Orestis Fomenko, Oleg Karakostas, Dimitris Kurbatov, Oleksandr Sabelnikov, Andrey |
| author_facet | Alpos, Orestis Fomenko, Oleg Karakostas, Dimitris Kurbatov, Oleksandr Sabelnikov, Andrey |
| contents | This paper formalizes the proves the security of the Bridgeless protocol, a protocol able to bridge tokens between various chains. The Bridgeless protocol is run by a set of validators, responsible for verifying deposit transactions on the source chain and generating the corresponding withdrawals on the target chain. The protocol is designed to be chain-agnostic and the validators interact with each supported chain via a chain client. It currently supports EVM-compatible chains, the Zano, and the Bitcoin chains. The paper formalizes all involved subprotocols and describes the conditions under which the protocol maintains safety and liveness. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_19730 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Formalization and security analysis of the Bridgeless protocol Alpos, Orestis Fomenko, Oleg Karakostas, Dimitris Kurbatov, Oleksandr Sabelnikov, Andrey Distributed, Parallel, and Cluster Computing This paper formalizes the proves the security of the Bridgeless protocol, a protocol able to bridge tokens between various chains. The Bridgeless protocol is run by a set of validators, responsible for verifying deposit transactions on the source chain and generating the corresponding withdrawals on the target chain. The protocol is designed to be chain-agnostic and the validators interact with each supported chain via a chain client. It currently supports EVM-compatible chains, the Zano, and the Bitcoin chains. The paper formalizes all involved subprotocols and describes the conditions under which the protocol maintains safety and liveness. |
| title | Formalization and security analysis of the Bridgeless protocol |
| topic | Distributed, Parallel, and Cluster Computing |
| url | https://arxiv.org/abs/2506.19730 |