You definitely want to attend this session!
Proof Over Trust: Formally Verifying the XRP Ledger by the heavy hitters Vito and Dejan.
Formal verification is the ongoing effort to bring the mathematical accuracy and correctness standards of military and aerospace systems to the XRP Ledger, ruling out worst case scenarios at a proof level.
AI made security practices like this viable for widespread use. Good example of AI cutting both ways, not only a threat but also a tool to harden systems.
One week to go! Technology driving AI breakthroughs in maths applied to secure XRP Ledger! @CommonPrefix , @RippleSwell
Common Prefix retweeted
One week to go! Technology driving AI breakthroughs in maths applied to secure XRP Ledger! @CommonPrefix , @RippleSwell
Our very own Dejan Cabrilo and RippleX's Vito Tumas (@v_tumas) will be presenting "Proof Over Trust: Formally Verifying the XRP Ledger" at @RippleSwell.
Several members of our team will be there throughout the event. See you in New York.
Common Prefix retweeted
Last week, Common Prefix researchers attended the Advances in Financial Technologies (AFT'26) conference in London, where four papers co-authored by our team were presented.
Our thanks to the organizers and everyone who attended the sessions.
Common Prefix retweeted
Axelar's highlights from @kbwofficial and @token2049.
Read the full recap below.
Common Prefix retweeted
Rust Meetup Fall 2026: Teaching #Turso when to yield with io_uring 🦀
Tomorrow @pariskasid will show how we made a SQLite rewrite in #Rust wait and yield on one thread, to power Fakos, our new OpenTelemetry server.
📍@CommonPrefix
🔗 withlogic.co/mng
Common Prefix retweeted
Alongside Axelar Intents, we’re building a request-for-quote (RFQ) API that brings together four ways to move assets through @axelar:
- Intents
- Interchain Token Service (ITS)
- Gateway transfers
- Express delivery
Hear more from Nikolas Kamarinakis on the RFQ API:
Common Prefix retweeted
The full talk by Common Prefix’s Odysseas Sofikitis on Zenith is now available.
A walkthrough of the design and security analysis behind Zano’s path to pure Proof of Stake, presented at @CryptoCanal in Amsterdam.
Full recording:
Common Prefix retweeted
Very excited about Arc. We're already building on it with @CommonPrefix and our partners. We will deploy a very exciting new product on it before end of year. Mainstream adoption is coming. Stay tuned.
Arc Mainnet is live.
Built for programmable money, global markets, and agentic economic activity, Arc brings stablecoin-native infrastructure to builders and institutions from day one.
Explore what’s live on Arc: arc.io/blog/arc-economic-os-…
Common Prefix retweeted
Number of MiCA licenses issued is a vanity metric. Greece should instead focus on the real benefits that blockchains & trust technologies can deliver. More in our op-ed piece with @TziokasV and our friends at @deonpolicy, published in @WIRED Greece.
Niko Efstathiou@NikoEfstSep 16Greece
GreeceConnected via Greece App StoreAccount-level information, not a live location or per-post device.
Η Ελλάδα δεν χρειάζεται να μετρά την επιτυχία της σε άδειες εταιρειών ή κατόχους κρυπτονομισμάτων. Η ευκαιρία βρίσκεται στην αναβάθμιση των υποδομών του χρήματος, στην ενίσχυση του τραπεζικού ανταγωνισμού και στη διατήρηση εξειδικευμένου ανθρώπινου δυναμικού στη χώρα.
wired.com.gr/article/to-stoi…
Common Prefix retweeted
Swap $SOL on the XRPL DEX through @xpmarket, @First_Ledger, and @MagneticXRPL, or access it directly from your @XamanWallet via the Swap widget.
Powered by Axelar.
BREAKING: Ripple's @msvadari confirms XRPL is going through formal verification with @CommonPrefi mathematically proving XRPL's most critical code does exactly what it's supposed to.
Same tech that just formalized Fermat's Last Theorem with Claude.
The same technology that just let Claude formalize Fermat's Last Theorem is also being used to formally verify the XRP Ledger. We're working with @CommonPrefix to prove, mathematically, that XRPL's most critical parts do exactly what we expect them to do.
commonprefix.com/blog/formal…
Common Prefix retweeted
We are proud to share that we have completed our XRP Ledger Batch Transactions Security Audit for @RippleXDev and @XRPLF.
Full report: commonprefix.com/blog/xrp-le… 1/4 🧵
Common Prefix retweeted
I've noticed a gradual shift in the crypto market's latest cycle: We're going from dubious projects with outrageous token promises receiving grand investments, to serious and thought-out companies with real business models. It's finally happening.
We're entering a stage where mainstream blockchain adoption is becoming a reality. Something I've been dreaming of since I first installed bitcoin-core back in 2011, since I started doing full-time professional research in blockchain and cryptography back in 2015 and throughout my PhD in 2020 and post-doc in 2023.
THE MAJOR INSTITUTIONS OF THE WORLD ARE ADOPTING DLT TECHNOLOGIES. We are moving real money, real capital, real assets behind the scenes. The business model is no longer "token go up", but we are asking concrete questions such as: How does decentralization help reduce counter-party risk in the eyes of the regulators, and can this be used to reduce cost of capital by reducing long-term collateral lockups? How much interest can I earn on this newly available liquidity? Can I move money between my Estonian for-profit OÜ company, my Greek for-profit IKE or EE, and a Cayman non-profit organization on the weekends, in seconds, without having to wait for (unknown delay) human approval on Monday? How much more quickly can we run payroll if we do that, and how does this manifest in interest paid to us, and to hours saved by our finance team? Can we ensure no claw backs, no holdups, no money lockups that traditional banking sometimes has to effect due to risk?
Decentralization is no longer a romantic political story, but a concrete way to reduce counter-party risk, repurpose previously illiquid capital, contain risk of insolvency, and improve automatic enforcement of civil legal contracts, often bypassing sluggish courts or arbiters. Companies all over the world want that. And, yes, even commercial banks and clearing houses want disintermediation and reduction of liability. They want to provide 24/7 access to money movement, programmability, standardization, cross-border payments, and @commonprefix on a couple of very interesting directions on the concrete tokenization of real-world investments and movement of capital, some of which we're launching in collaboration with our partners already this year. These tokenized assets will touch new chains such as @circle's Arc, which have strong interoperability with institutions. They will also be movable through @axelar so that they can also interoperate and integrate with more decentralized ecosystems such as the XRP Ledger @XRPLF and its many upcoming DeFi opportunities. We're integrating them tightly to make the pipes invisible.
I feel a different kind of excitement for the next years. We're building the boring, trustworthy technologies of the future. Ledgers that move quickly, atomically, work all of the time and everywhere, and leave no ambiguity. People will be wondering how it could have ever been any different.
Common Prefix retweeted
The public report of the completed XRP Ledger Batch amendment audit is now available.
All findings have already been fixed in the Batch amendment that is currently up for vote. ✅
Batch is one of the most anticipated amendments on the XRP Ledger for both retail and institutional use cases.
We are proud to share that we have completed our XRP Ledger Batch Transactions Security Audit for @RippleXDev and @XRPLF.
Full report: commonprefix.com/blog/xrp-le… 1/4 🧵
Common Prefix retweeted
📄 "StakeNote: A Proof-of-Stake Protocol for CryptoNote Payments"
This work proposes StakeNote, a distributed ledger protocol combining Proof-of-Stake (PoS) with privacy and anonymity preserving payments. It brings together Ouroboros Praos, a provably secure PoS protocol, and CryptoNote, a privacy-preserving payment system based on ring signatures.
The paper proves that StakeNote inherits the security guarantees of Ouroboros Praos and the privacy guarantees of CryptoNote, and demonstrates its practicality via a proof-of-concept implementation, where block creation requires less than 25 ms and eligibility proofs are approximately 3 KB for anonymity sets of size 16. It also discusses heuristic enhancements that could increase privacy and enable dynamic participation.
This research was funded by Common Prefix and Zano (@zano_project).
Authors: Bernardo David and Dimitris Karakostas.
Full paper: eprint.iacr.org/2026/1205.pd…
Common Prefix retweeted
Throwback to the Happy Hour on the 16th of July, organized in collaboration with @ETHglobal and @CommonPrefix at SuiHub in Athens!
It was nice seeing everyone in person!🙏
Common Prefix retweeted
📄 "Gatling: Rapid-Fire Consensus from Parallel Composition"
The paper introduces Gatling, an atomic broadcast protocol that achieves arbitrarily small inter-proposal times under rotating leader schedules; in particular, smaller than the network delay.
Gatling runs multiple parallel instances of a black-box atomic broadcast protocol and staggers their proposal schedules to generate proposals in faster succession than state-of-the-art protocols. A deterministic interleaving rule merges the outputs of these instances into a single global log.
Authors: Giulia Scaffino (@GScaffino), Max Resnick (@MaxResnick), and Joachim Neu (@jneu_net).
Full paper: arxiv.org/pdf/2606.18220
Common Prefix retweeted
📄 "BitVM: Quasi-Turing Complete Computation on Bitcoin"
BitVM1 is the first work to fully realize the BitVM paradigm beyond its original whitepaper sketch, giving a complete construction for verifying arbitrary computation on Bitcoin with no consensus changes and the first to prove it secure.
It formalizes the optimistic challenge–response protocol, where a prover's claimed result can be disputed and narrowed on-chain to a single faulty step, turning Bitcoin's limited script into a foundation for complex contracts and trust-minimized bridges.
Authors: Lukas Aumayr (@lukas_aumayr), Zeta Avarikioti (@zetavar1), Robin Linus (@robin_linus), Matteo Maffei (@matteo_maffei), Andrea Pelosi, Christos Stefo, Alexei Zamyatin (@alexeiZamyatin).
Full paper: eprint.iacr.org/2024/1995.pd…
Common Prefix retweeted
The original BitVM1 paper, co-authored by BOB co-founder @alexeiZamyatin, just got accepted at AFT - one of the top academic CS conferences.
Bitcoin is being built and validated at the highest levels of computer science.




























