Starbridge protocol uses Stellar's existing features to enable secure token bridging between Ethereum and Stellar without smart contracts. The team formally verified the protocol with Ivy to ensure users cannot double-spend or exploit withdrawal and refund mechanisms.
Starbridge is a protocol for bridging Stellar and Ethereum, allowing users to exchange native tokens for wrapped versions on the other chain. Since Stellar lacks smart contracts until Soroban launches, the protocol uses pre-signed transactions and time-bound withdrawal periods to prevent double-spending and unauthorized refunds. Bridge validators remain nearly stateless, processing requests independently without synchronization. The Stellar Development Foundation created a formal model in Ivy to verify the protocol's security, proving that users cannot withdraw funds twice or both withdraw and receive refunds simultaneously, protecting potentially millions in bridged value.
