Mark Petruska

This is awesome! Blaster being able to prove that the compilation did not change the semantics of the original contract is such a great use of the tool!❤️ Impressive as always @SeungheonO

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-…

🎉 USDCx on Cardano is now available via @Circle xReserve! For the first 10 days, IOG will subsidize bridge fees for USDCx transfers to Cardano to help you get started with lower costs. All other network and DEX fees remain the responsibility of the user. See the FAQs for details. USDCx is a Cardano-native asset fully backed 1:1 by USDC held in Circle’s xReserve smart contract. It’s designed to make moving and using dollar value across supported blockchains seamless, providing streamlined access to crosschain USDC liquidity. With USDCx, users can easily engage with DeFi liquidity, lending, payments, and real-world asset settlement. Thank you! This integration was delivered through the Cardano ecosystem’s Critical Integrations program, funded by the community. Your support has helped bring tier one stablecoin infrastructure to Cardano. We would also like to thank Pentad and Midgard Labs for helping build, operate and secure the USDCx infrastructure. Why USDCx: ✅ 1:1 backed by USDC held in xReserve ✅ Simple connectivity across supported chains ✅ No third-party bridges, keeping things straightforward and secure Learn more: iog.io/news/usdcx-on-…

Here's a short demo of the integration between Aiken and Blaster (Automatic Formal Verification Tool). Feel free to reach out if you have any questions!

@boraonchain Congrats to you as well! Nicely done!

@proxy742 I dont need a ticket this time so someone else can still claim it, but for the love of the game had to solve it

Cardano fam! If you're planning to hit Buidler Fest #3 in Buenos Aires (March 24–25), listen up: I have to miss it this year 😭 so the infamous ticket #42 — yes, THE ONE — is free to whoever can solve this brutally tough puzzle: github.com/mpetruska/buid… Good luck, you'll need it 📷 #Cardano #BuidlerFest 💀

Congrats! Have fun at Buidler Fest. (cexplorer.io/tx/e416d777d83…)

@boraonchain Oh, it wasn't your transaction.

@boraonchain Well... now you HAVE TO invent your own puzzle to distribute the ticket. 😉

Was chatting with friends about that viral science Olympiads medal ranking (@stats_feed x.com/stats_feed/sta…) - Eastern Europe crushes it, as usual, but hey, room for more informatics wins for Hungary? My unhelpful contribution: teach babies Lean 4 🍼. I regret everything. See the chaos: markpetruska.eu/lean4babies/ Sorry, world!

JUST IN: Microsoft Copilot Deep Research says "USDC's arrival on #Cardano is projected to drive $ADA's TVL towards $500M to $3B, catalyze DeFi and institutional adoption, and position Cardano as a leading smart contract platform alongside Ethereum and Solana."

Midnight Explorer x Midnight Foundation — Official Collaboration Announcement midnight.news/article/midnig…

Bybit just revealed that 16 major blockchains contain hidden code capable of freezing user funds. - Findings came from a recent internal audit - Affected chains include several top-20 networks by market cap - Code allows validators or core devs to halt transactions at will If accurate, it raises serious questions about decentralization claims. Most users have no idea their assets can be frozen with a few lines of code.

BREAKING NEWS: CARDANO–SPACEX NEGOTIATION IS BACK ON THE TABLE FOR 2026 😱😱😱 @IOHK_Charles confirmed that initial talks with @SpaceX have already begun, with plans to renegotiate next year once Cardano’s tech stack fully meets SpaceX’s ambitious needs. Midnight's public-private design makes it well-suited to working with these government projects. Could Cardano technology soon power real-world aerospace missions?

This week, @InputOutputHK and @EdinburghUni are hosting the first UPLC Conference, bringing together developers, researchers, and builders to shape the next era of Cardano smart contracts. It’s about collaborating to refine how we make smart contracts more efficient, accessible, and powerful for Cardano developers. To learn more, check out the event details in the link below!

Please be aware that the @USDMOfficial account has been compromised. Any tweets and DMs should be disregarded until further notice. It is only the Twitter account, no other systems have been compromised.

@phil_uplc @IOHK_Charles @TheTokenKeeper Absolutely right !! Djed has never lost its peg, even during high volatility. In fact, the reserve ratio never went below 100% since first launch.

🌘 The time has come. Dive into @MidnightNtwrk block data with mexplorer.io - the first community-made Midnight block explorer 🎉 The initial release lets you: 🔹 Browse blocks and transactions 🔹 View details about participating Midnight SPOs 🔹 Explore network activity in real time 🌐 Live now: mexplorer.io Follow for more updates and upcoming features.

JUST IN: @IOHK_Charles, creator of Cardano and co-founder of Ethereum, has been appointed to The Digital Chamber's advisory board. The Digital Chamber is the world's largest crypto trade association, leading the charge on advancing pro-blockchain legislation in the United States and across the globe. Hoskinson has been a vocal proponent on the need for a clear regulatory framework for blockchain technology. He's often been one of the leading voices in the political realm, appearing before a House Sub-Committee to discuss the future of digital assets alongside a panelist of experts. DC CEO @CodyCarboneDC stated he couldn't be more "thrilled to work more closely with" Hoskinson and "that few have shaped the blockchain industry like Charles."

Despite the worst liquidation in the history of Crypto with Ada temporarily losing 60+ percent of its value, Djed held its peg taptools.io/charts/token/d…