Robertino

The photo of the photo #Pythathon @atlanter @rodrigosuaya @LucasMacchia2 @MauroAndreoliA @_roberm_ @Ryun1_ @santicarmuega @clarkalesna @mattpiz

Amazing event, as always! 🔥

How it started → How it’s going 🔥

At @txpipe_tools, we’re proud to host the first "Pythathon" at the @IOGroup offices, following @IOHK_Charles’ initiative and aligned with the Cardano PENTAD vision as we gear up for the @PythNetwork integration. Interested in joining? Register here 👇 luma.com/4ss810sd

USDCx on @Cardano, a USDC-backed stablecoin with seamless access to crosschain USDC liquidity, is now available via Circle xReserve. With USDCx, enterprises and end users can power payments, lending, trading, borrowing, liquidity provision, and more using a highly liquid stablecoin. Supported at launch by Cardano DeFi apps @liqwidfinance, @MinswapDEX, and @SundaeSwap. Key benefits: ✅USDCx is 1:1 backed by USDC held in xReserve ✅Fully interoperable with USDC across supported chains ✅Trust minimized with no third-party bridges required **For the first 10 days, IOG will be covering all costs for bridging USDC to USDCx on Cardano, helping early adopters get started without fees or friction.** Learn more: circle.com/blog/usdcx-on-…

@carloslodelar @buidler_fest Good question. I think they'll be recorded, no idea what happens after that.

@_roberm_ @buidler_fest Will there be streaming or recording?

Excited to see everyone at @buidler_fest! I'll present my take on how to improve developer experience and onboard new buidlers!😄See you there!

Today, we're releasing v1.0 of Blaster: github.com/input-output-h…, an SMT backend for Lean 4. We designed it for Cardano smart contract verification, but it turns out to be quite general-purpose. It can discharge many cases in Lean 4 proofs, or even complete proofs entirely for different kinds of formalizations. If you trust the translation to SMT-LIB and the SMT solver, Blaster outperforms lean-auto, Hammer, Duper, grind, aesop, omega, (and many others) on our internal benchmarks of smart contracts, the Verina benchmark, the Natural Number Game, Set Theory Game, and Intro to Logic. It also provides useful counterexamples for falsified theorems! We're actively working on expanding support for Lean 4 constructs and, most importantly, implementing proof reconstruction for full soundness. Big shout-out to @JeanFrdricEtie1 , who's the mastermind behind all of this, and all the contributors to this project.

It's really exciting to see the quality of speakers that will be at @buidler_fest . Dream Team 🙌 Just to name a few on top of Robertino: @adamKDean @SwiftlyUnmoving @Ryun1_ @wolf31o2 @_KtorZ_ @santicarmuega and many more!

📢 The Buidler Fest Buenos Aires 2026 speaker agenda is now live! If you’re building on Cardano or related infrastructure, this is where you want to be. 🎙️ Check out the full agenda: 👉 buidlerfest.com/agenda Haven’t registered yet? You’re still on time to grab your ticket.

I was cautiously optimistic about Bitcoin DeFi on Cardano. It made sense on paper, but the open question for me was whether it would actually materialise. I have confidence in teams like FluidTokens and have no doubt they will deliver solid work on their side to fill gaps. My concern was broader. After the initial announcements there was very little visibility, and I know I was not the only one asking what progress had been made. I watched the Essential Cardano360 January 2026 update and that concern has largely been put to rest. The work underway is substantive, and the explanations from Omer Husain on the Bitcoin DeFi track at Input Output were clear and detailed. Credit as well to whoever organised that session. It was a genuinely useful update and did a good job of closing the information gap. Omer Husain, Manager for Bitcoin DeFi at Input Output, explains how they are building an end to end Bitcoin DeFi liquidity stack. The goal is to enable Bitcoin holders to earn real yield. To do that, they need access to stablecoins for investment, with Bitcoin locked non custodially as collateral to borrow those stablecoins, alongside defined borrowing terms and interest rates that are attractive for participation. He outlines three core requirements: A credit market that creates stablecoin liquidity A yield application that deploys capital into real world, off chain yield opportunities A trust minimised BitVM based bridge that allows users to use Bitcoin as collateral without custodial risk End to end, for users, the experience is intended to be as simple as using an earn product on a centralised exchange. Rather than pulling ADA out of staking, which is already safe and attractive, this approach allows external liquidity, especially in the form of Bitcoin, to enter Cardano. The trust minimised BitVM based bridge is materially safer than fragile multisig alternatives and aligns closely with Bitcoin’s preferred security model and ideology. The result looks more like mirrored UTXOs rather than wrapped assets as seen on other blockchains. On the lending side, he states that they have addressed DeFi’s biggest flaw, liquidation risk. Instead of margin lending, they use a peer to peer credit model that resembles private credit. Collateral is only at risk in the case of real default, not short term market volatility. The result is higher quality and more sustainable TVL, increased capital inflows, stronger alignment with Cardano and Bitcoin’s values, and lower systemic risk. Omer references two primary audiences: Bitcoin holders and the Cardano ecosystem. “Institutions that need predictable, non liquidating borrowing, and retail users looking for high quality yield on idle Bitcoin.” “Cardano builders benefit from Bitcoin liquidity, design patterns, ecosystem growth, and the treasury benefits from direct protocol activity.” Overall, this brings a new class of users into Cardano, including tier one institutional treasuries that have historically avoided DeFi due to liquidation risk and instability. It positions Cardano as a leader in Bitcoin utility and opens access to a trillion dollar asset base. They are planning a formal proposal as part of the Cardano 2026 budget cycle for the above from what I can understand Great update, and speaker, very interesting.

This is awesome. Tx3 already appears in the developer ecosystem survey after just a few months of existence and while still in beta. @txpipe_tools hasn't shared much yet, but v1 is coming, and it's going to be everything I ever wanted for Cardano DevEx 🫶

Cardano Tech Summit Buenos Aires 2025 and the regional LATAM Hackathon were much more than an event , they were a celebration of the samurai spirit of the Cardano community in LATAM 🥷⚔️ We want to express our deep gratitude to @Cardano_CF ,the @InputOutputHK , and @IntersectMBO for making this LATAM regional event possible and for supporting education and ecosystem growth in our region. We were honored to host key leaders, institutions, and projects from across the region and the global ecosystem, including representatives from @UNDP, @UBAuniversidad (Dean @WillyDuran65), @frbautn (Dean @ingoliveto), the CEO of @blockchain_rio, @labitconf, @rafaelfraga_f, @JBriggsLondon, @primetimeindy, @david1casey, @CardanoFeed, @Funintecvzla, @Gov_Chain, @DanielaHubBr, @_khyron, @jsierrax, @carloslodelar, @santicarmuega, @FedeWeill, @RiveroMartinOK, @modp_, @CointelegraphEE, as well as projects and organizations such as @lace_io, @midnightfdn, @txpipe_tools, @FairGateLabs, @Tokenmithr, @Sead_world,@GameChangerOk, @ExuraLabs, @eddalabs_io, @kwarxs, @jotapippo, De Desciquark a Synthum, Potion Tools Collective, @SenseiNode, @FundingCommons, among many others who contributed with content, workshops, presentations and community energy. Highlights included a simultaneous chess exhibition led by a female Olympic player, 3 HYDRA machines running live, MANDALORIAN for midnight privacy, workshops about MIDNIGHT, Intersect VISION 2030, Txpipe , and 7 technical talks, and the inauguration of the Laboratory of Decentralized Computing and Digital Trust by IO Research , with an academic track on verifiable computation, zkVMs, private verifiable computation and MPC mythbusting. The entire event was designed around a Japanese theme, honoring Cardano’s origins in Japan and the warrior spirit of the builders who completed the IOG-led course and hackathon :Hackathon prizes of 10,000 USD, awarded together with katanas in three categories: black, red, and white 🥷 • Taiko performances, Kendo demonstrations, and a Japanese food experience with Dorayaki (traditional Japanese sweet) and sushi for attendees • Special merch: a Japanese-style mate, symbolizing the cultural bridge between Japan, Argentina, and LATAM We want to thank @IOHK_Charles and @jj_siler for making the inauguration of the Laboratory of Decentralized Computing and Digital Trust at the Summit possible. Huge thanks as well to the four instructors of the Hackathon and Developers course – @roberm, @kdchaires, @jarturomora and @antonioiglez – and to @adadogpool and @ChileStakepo, who did an amazing job as Masters of Ceremony for the Summit. Finally, a very special thank you to Cardano Foundation’s Marketing Director @Laura_Mattiucci and Elis Moormaa for their constant support and attention to every detail of the event. 🙌 To every participant, speaker, volunteer, sponsor, and project: thank you for making this possible – this video is just a glimpse of what Cardano in LATAM is becoming. 🚀 #CardanoCommunity #CardanoSummit2025 @Cardano @CardanoSummit

We’d like to congratulate the three winning teams of the Samurai Hackathon at Cardano Summit Buenos Aires 2025 🥷⚔️ 🏆 Black Katana – 5000 USDT LAFHIS ( UBA, Buenos Aires University) •Felicitas García •Javier Godoy •Ian Grinspan 🥈 Red Katana – 3000 USDT Saltamontes •Damián Hryb •@RiveroMartinOK 🥉 White Katana – 2000 USDT Los Magníficos •@ChileStakepo Rodrigo Oyarzun •@_khyron Navarrete •@modp_ Agustín Salinas Huge thanks to our sensei of the Developer Course and the Hackathon: @_roberm_, @kdchaires , @jarturomora and @antonioiglez from @InputOutputHK education, who guided the teams through two intense weeks of code, coffee, and digital katanas 💻⚔️ The challenge story: The shogun has only 10 hours left to live. His son is still too young to rule. To stop the daimyos from killing each other for power, he must design a decentralized system of value exchange: impossible to steal, impossible to censor, and able to ensure that, once his son reaches adulthood, the rightful power returns to his hands. All of this… in just 10 hours. In the video, professor Robertino, fully dressed as a samurai, explains how we turned this epic story into smart contracts on Cardano — thanks to every builder, mentor who proved that when code meets courage, the community becomes unstoppable. #CardanoSummit #Hackathon #BuenosAires #Web3 #SamuraiBuilders #CardanoSummit2025 @Cardano_CF @CardanoSummit @Cardano @IOHK_Charles

Si estás en Buenos Aires y te gustaría venir a la oficina de @InputOutputHK para escuchar a los chicos del hackathon, conocer sus experiencias y ayudarles a desarrollar sus proyectos y pulir sus ideas… ¡no te podés perder el After Hackathon de hoy! 🔥 🕒 Hoy a las 14:00 📍 IOG Office – Ing. Enrique Butty 220, Torre Catalinas Plaza, Piso 3 (Catalinas / Puerto Madero) Este encuentro está liderado por los profesores @_roberm_ y @kdchaires del IOG Education Team, que van a estar acompañando a los equipos, ofreciendo asistencia y ayudando a llevar sus ideas al próximo nivel. 🙌 Además, vamos a contar con la presencia de @jsierrax y @carloslodelar , compartiendo su visión 2030 de Cardano: hacia dónde va el ecosistema, oportunidades para builders y cómo podés involucrarte en la gobernanza de Cardano. 🌐 🙏 Gracias a la oficina de IOG Buenos Aires por ayudar a coordinar y abrir el espacio para esta juntada. Venite, escuchá, participá y sé parte activa del futuro de Cardano. Te esperamos hoy a las 14 hs. 🚀

This week, the consensus team focused on resource management and stability, while the Mithril team launched a hotfix v.2543.1 distribution. The education team is hosting an in-person developer course for 50+ attendees at UTN in Buenos Aires, and supporting the Argentina Tech Week hackathon! Finally, learn more about Catalyst’s Midnight category and don’t miss the Intersect committee election results. Check out the full report: bit.ly/47YYaY8

❤️ Huge thanks to the @InputOutputHK Education Team for this opportunity! @kdchaires @roberm @jarturomora @IOHK_Charles @LarsBrunjes

🥷 ¡Buenos días, Samuráis! El camino del código no es para los débiles de corazón — es para quienes abrazan la disciplina, el honor y la perseverancia. ⚔️ Usen este día para repasar lo aprendido, completar las tareas y afilar la mente. No se rindan nunca !!! los verdaderos guerreros crecen con práctica, constancia y trabajo en equipo. 💪 Formen sus clanes, colaboren para resolver los desafíos y pregunten en Discord todo lo que necesiten ! ahí es donde se forja la sabiduría. 🧠🔥 Mañana nos veremos presencialmente para seguir caminando el Camino del Honor y los Códigos. 📍 Aula 2203, Pabellón 0+∞ – UBA 🕘 De 9:00 a 13:00 hs Recuerden: los Samuráis más valientes podrán alcanzar un lugar entre las tres mejores katanas , con 10.000 USDT en premios para quienes demuestren su verdadero espíritu. 💎 Manténganse enfocados. Manténganse firmes. Nos vemos mañana, guerreros de Cardano. 🥷⚡ 🥷 Good morning, Samurai! The path of code is not for the faint of heart ,it’s for those who embrace discipline, honor, and perseverance. ⚔️ Use today to review what you’ve learned, complete your tasks, and sharpen your mind. Never give up — true warriors grow through practice, consistency, and teamwork. 💪 Form your clans, collaborate to solve challenges, and ask questions in Discord ,that’s where wisdom is forged. 🧠🔥 Tomorrow we meet in person to continue walking the Way of Honor and Codes. 📍 Room 2203, Pabellón 0+∞ – UBA 🕘 9:00 to 13:00 hs Remember !!! The bravest Samurai will rise among the Top 3 katanas , with 10,000 USDT in rewards for those who prove their true spirit. 💎 Stay focused. Stay strong. See you tomorrow, warriors of #Cardano. 🥷⚡ #CardanoCommunity #CardanoSummit2025 @_roberm_ @kdchaires @LarsBrunjes @InputOutputHK

Our newest #Cardano @InputOutputHK Aiken course had a great start on Monday with 65 online participants. Next week, the course will continue "on the ground" in Buenos Aires. 🚀🇦🇷🚀