collaborators

1 paper

cs.DC2025

Formalization and security analysis of the Bridgeless protocol

Orestis Alpos, Oleg Fomenko, Dimitris Karakostas +2

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 valida…