Building blockchain and trust technologies for mainstream adoption in finance, institutions, and beyond.

Joined March 2023
60 Photos and videos
Pinned Tweet
Common Prefix is taking the lead stewardship role of Axelar. We are excited to share our plans for 2026, with more details to be announced in Q1. Our team consists of scientists–professors, PhDs, and post-docs–from world-renowned universities like Stanford, Imperial, ETH Zürich, and University of Edinburgh. But also senior engineers with decades of experience in hedge funds, TradFi, and Web3. We bridge the gap between science and engineering. We are razor-sharp focused on institutional adoption. For this, we will double down on the ecosystems that matter like XRPL, Sui, Solana, Ethereum, Stellar, and Hyperliquid. We will make sure that supported connections bring value to the ecosystem, and the right incentives for validators. For institutional, we need increased economic security. We’ll enable co-staking of blue chip tokens beyond just AXL. Privacy, compliance, and robustness will also be a theme for the year. For bridging, we will remove friction of moving assets from chain to chain by introducing gasless bridging. Subsidies will come from investing capital locked in gateway contracts, creating novel asset classes. Users will always have the choice to act according to their risk appetite. Lastly, we’re building up-the-stack in select key verticals: stablecoins, tokenized deposits, yield, and lending. A fusion of new chains creates an opportunity for new emerging asset classes.
69
60
339
308,710
Axelar App currently supports asset transfers across 10 chains, with Solana as the latest supported network. The roadmap includes additional chains, along with features such as express transfers for faster cross-chain movement, API access for developers and ecosystem teams, and native swap functionality powered by Axelar’s intents protocol.
A look at what’s live on Axelar App, and what’s coming next. 👀
3
4
43
2,463
In the latest episode of Honest Majority, we hosted Zoe Paraskevopoulou, Assistant Professor at NTUA. Watch a short clip in which she explains why formal verification is essential for smart contracts.
1
2
15
643
"You can test your code for a million inputs, but you can never exhaustively say it will work for any possible scenario. Formal verification proves mathematically that for all possible inputs and states, your code does what you want it to do." - Zoe Paraskevopoulou
1
2
10
278

Episode 10 of Honest Majority is live 🎙️ "Can You Trust Your Smart Contracts 100%?” @dionyziz sits down with Zoe Paraskevopoulou, Assistant Professor at NTUA, to discuss the importance of formal verification and the release of Act v0.2.0 a formal specification and verification framework for EVM smart contracts. 1/4
1
1
8
352
Following recent integrations with Stellar and Hedera, Solana is the next major ecosystem connected to Axelar.
Four months. Three integrations. Stellar✅ Hedera✅ Solana✅
2
2
58
2,540
Common Prefix is collaborating with @RippleXDev on formally verifying the XRP Ledger. Full blog post: commonprefix.com/blog/formal…
7
66
377
23,796
We use Lean 4 for the formal model because its dependent type theory makes the relevant invariants easy to express, its tactic system gives us full control over the proof state, and its FFI makes the model-implementation bridge feasible.
1
1
9
544
Upcoming work focuses on formally verifying two recent amendments: the Single Asset Vaults and the Lending Protocol. Together, they introduce more complex protocol logic into xrpld, where stronger formal guarantees become especially important for institutional-grade use cases.
2
10
452
Common Prefix retweeted
A new ecosystem connects to Axelar. @solana
20
42
296
16,834
Thank you to everyone who joined us for Blockchain and Trust Technologies. More moments from the event soon.
1
5
32
1,893
Solana is now connected to Axelar Mainnet. Solana has one of the most vibrant ecosystems in Web3 across DeFi, payments, and tokenization, and is now part of Axelar alongside Ethereum, XRP Ledger, Stellar, Hedera, and others. Ultimately, developers, users, and institutions shouldn't need to think about which chain they're on. Infrastructure should make ecosystem boundaries increasingly irrelevant.
Solana is now live on Axelar Mainnet. The integration enables cross-chain messaging and asset transfers between @Solana and Axelar-supported ecosystems. Read more: axelar.network/blog/axelar-s…
8
36
1,554
Common Prefix retweeted
"Just formally verify everything!" Easier said than done. Zoe from the act team explains what's been holding back broader FV adoption and how she sees this changing with AI. Full conversation in the link below
1
2
7
484
Common Prefix is hiring a Business Development Lead. A role for someone with deep knowledge of web3 and interoperability, who can build high-value relationships across asset issuers, L1s, L2s, exchanges, and DeFi protocols.
We're looking for a Business Development Lead at @commonprefix to work on @axelar, XRPL, and many more interesting projects. Must know web3 & interoperability inside out. DM me directly.
2
4
23
776
Common Prefix retweeted
Pod Trading Competition. No unfair advantages. No shortcuts. Just skill. Free entry. 3 weeks on testnet. The highest PnL wins a Rolex 🥇 Join: test.pod.network 1/3
79
69
229
37,703
Common Prefix is sharing a full breakdown of the exploit of a third-party Safe module called “SquidRouterModule” on May 25, 2026. The report covers how the attack played out, who was affected, and how funds moved following the incident. Full report:
2
7
30
4,866
All Axelar user funds, approvals, and integrations are unaffected, and no action is needed. Our integration partner Squid was also not affected.
1
1
9
380