Praia Volleyball and Caipirinhas by Runtime Verification & Soroswap 🏐☀️🍹
Ready to show your volleyball skills and snatch the first prize? Or just relax and grab some local Brazilian drinks and food at the beach? If you are in Rio on September 16th for Meridian, we have you covered!
Join us for Praia Volleyball and Caipirinhas, our first volleyball beach tournament and gathering to enjoy sports and Brazilian culture. Celebrate the end of the hackathon or unwind from that long flight and join us on the beach.
Whether you're playing for fun, to win, or just to soak up the vibe with some caipirinhas and food, this gathering is all about meeting new people, catching up with friends, and having a great time. Expect a friendly competition, free food and drinks to keep you hydrated, and plenty of space in the sand to chill and mingle under the sun.
Remember to bring your towel and leave your laptop at the hotel.
See you in Rio 🇧🇷
Runtime Verification (RV) helps make blockchain systems safer and smarter. We recently built Komet, a formal verification and property-based testing tool designed for Soroban smart contracts in partnership with the Stellar Development Foundation. Beyond Stellar, we’ve secured projects across the Web3 ecosystem, from Solidity and Rust codebases to cross-chain protocols and DeFi platforms. Our team uses formal methods (think: mathematical proofs and rigorous specs) to catch bugs before they become disasters, and we love building open-source tools that give developers confidence in their code. Follow us: X
Soroswap.Finance: A DEX and Aggregator for Stellar. Our Swap-Route API combines liquidity from Soroban DEXes and the Stellar Classic DEX—delivering the best trade routes, liquidity tools, and real-time market data. Quote and build transactions through our endpoints and leverage our gasless trustline feature, allowing users to access assets without holding XLM or dealing with trustlines. Aggregator Audited by Runtime Verification! Follow us: X, Linkedin