Our CEO joined the @txpipe_tools @PythNetwork @IOGroup Hackathon to show what Cardano can do. We built a Polymarket-style 5-min BTC prediction market — fully on-chain with Aiken smart contracts Pyth Lazer oracle verification. Bet YES/NO, claim winnings, all verifiable on-chain. The pieces are falling into place.

🎉 Thank you, Cardano. The voting period has ended! We’re thrilled to share that the Consensus initiative to finalize Leios development and bring it to mainnet passed with 88% support. Thank you to every DRep who voted in favor. Your support keeps the momentum alive and brings us one big step closer to delivering this upgrade for Cardano. To those who voted No: we genuinely appreciate your feedback and the rationales you shared. We take it seriously, we’re learning from it, and it will help us improve as we move forward. Your input is valued. This is a meaningful win for the ecosystem. We’re excited and grateful to keep building and to bring Leios to mainnet. See you all soon for the testnet launch, we are aiming for June 23th. Thank you, Cardano community. Let’s keep building! #Cardano #Leios #Governance #CardanoCommunity

UTxO RPC is a joint effort across teams in the ecosystem. The maintainers committee and the open-source repo have contributions from: - @blinklabs_io - @SundaeSwap - @IOGroup - @midnightfdn - @saibdev and yours truly, TxPipe

Happy to see that this IO proposal will likely pass! Well done, DReps. All IO proposals that I supported have a chance of being approved.

6 hours and 2.68% to go. Am I witnessing a miracle? 🥹Please, go vote YES on my proposal! We're so close!! adastat.net/governances/73e1…

Final hours before DRep voting closes. Over the last 5 weeks, IO has published full proposal breakdowns, delivery plans and milestones, FAQs, proposal rationale, open discussions with initiative leads, and the proposals that were rejected alongside the reasoning behind those decisions. The work is public and the decision now sits with the community. Review the proposals and cast your vote: momentum.cardano.iog.io/

Over the past 20 years, the Israeli Shekel (ILS) quietly outperformed the US Dollar, Euro, & British Pound. Recently the Israeli regulator approved $BILS as the first regulated digital shekel stablecoin issued by @BitsofGold_LTD on @solana. This why @Cardano should be interested too 👀🧵 #Cardano #Solana #ILS #Israel #Shekel #DeFi

Dear Cardano fam, I decided to leave the Cardano Foundation earlier last month. I’ve been involved with Cardano since 2017, and CF since before the Shelley HF. It’s been an incredible journey and I’m forever grateful for each and every contribution I’ve been apart of.

The needle is moving, Cardano DeFi is about to become a lot more competitive.

New Blockfrost endpoints in this release: → /pools/{pool_id} → /pools/{pool_id}/metadata → /accounts/{account}/withdrawals Blockfrost coverage keeps expanding❄️

The entire design philosophy of Cardano and our execution layer of prioritizing security above all else and making the sacrifices to do so, has struggled in the market for the past five years because the blue chip DeFi protocols on other chains were largely considered untouchable, secure, and reliable with years of proven history. So we had to argue abstractly that dApps here are more secure, which doesn’t land well when someone can point to AAVE and see that in its many years of operations, has never been subject to an exploit, or to Uniswap where the same is true. With the advent of advanced AI all of that has changed, the cracks are finally showing, bluechip DeFi apps with impeccable historic records are being exploited left and right for millions and millions month after month. Trust is shaking, LPs are leaving left and right. It is critical that we take advantage of this narrative and we market this now. We need to strike while the iron is hot, and recent events form a perfect storm for heavily marketing Cardano DeFi and attracting external LPs.

With what has been happening lately, a lot of these hacks are smart contract related, I would not be surprised if large institutions pivot to Cardano because they are tired of losing money elsewhere.

Absolutely. People are sleeping on how critical the formal verification narrative is right now with all the blue chip DeFi protocols getting hit with 50M USD exploits month after month.

let the boyz cook 👨‍🍳

Cardano devs are cooking! 🔥

📋 Daily Intel 2026-04-30 夜｜Intersect CC選挙投票5/1 1200 UTC締切（24時間切り）／Cardano Foundation『KERI＆Future of Digital Identity』新コース／Romain Soulat『Cardanoスマートコントラクトの自動正当性証明』達成／Wizard Cardano DEX横断流動性レイヤー mainnet imminent 夜のCardano エコシステム動向を整理します。 ■ Intersect CC選挙投票が5/1 1200 UTC で締切（あと24時間） @IntersectMBO が告知。「Intersect Committee Elections 2026 voting closes tomorrow, May 1 2026 at 1200 UTC. Remember to cast your votes in the Intersect Members Area.」夕クロールでCC選挙が5月8日に1週間延期と報じましたが、Members Area投票自体は5/1 UTC正午締切（日本時間 5/1 21時）で変わっていません。Intersect Members の方は最終確認をお願いします。 ■ Cardano Foundation：KERI ＆ Future of Digital Identity 新コース公開 @Cardano_CF が新しいCardano Academyコースを発表。「KERI & the Future of Digital Identity. A free course on the protocol behind @VeridianID, our open-source digital identity platform. Covers the foundations of KERI, vLEI, and verifiable digital identity.」Veridian ID プラットフォームの裏にあるKERI（Key Event Receipt Infrastructure）プロトコルとvLEI（verifiable Legal Entity Identifier）を学べる無料講座です。デジタル身分証の基盤となる技術を体系的にカバーします。 ■ Romain Soulat（IO高保証チーム）：Cardanoスマートコントラクトの自動正当性証明達成 @RSoulatIOHK が4月28日に投稿していた重大成果が再注目されています。「Big day for the IO High Assurance team. For the first time, you can automatically prove the correctness of a Cardano smart contract, from your source language down to the CEK machine, against the actual ledger rules.」ソース言語からCEKマシンまで、実際の台帳ルールに対してCardanoスマートコントラクトの正当性を自動証明できるようになったというものです。 Rick McCracken DRep も「IO: Cardano High Assurance Technical Collaboration 提案にDRepはYesを推奨。形式検証成果物がそれに値する。4月クリプトハック ~6.2億ドルで過去最悪月。」と紹介し投票呼び掛け。 ■ Wizard Cardano：DEX横断 universal limit-order 流動性レイヤー mainnet imminent @saibdev（SAIB Inc.）が告知：「the liquidity layer of Cardano is here. @WizardCardano is the protocol beneath the DEXes — a universal limit-order primitive any Cardano DEX can settle. Routing is permissionless and happens at execution time, not at order creation. one order. every venue. mainnet imminent.」CardanoのDEX群を横断するuniversal limit-order primitiveで、ルーティングはパーミッションレス、注文作成時ではなく実行時に経路決定。「one order, every venue」、mainnet ローンチ間近とのこと。 ■ その他のCardanoエコシステムの動き - @MinswapDEX：「The second tranche for Minswap LPs to claim their $NIGHT allocation is live!」（Meowdrop経由・24B NIGHT分配） - @MinswapIntern：「@BMW & @lufthansa Are Running AI Agents On #Cardano」（企業導入の事例） - @Cardano_CF Foundation の Marta Belcher（Filecoin）×Charles Hoskinson 対談 も bookmark で再注目（646 likes / 11万 views） 一次ソース: - Intersect MBO: CC Elections voting closes 5/1 1200 UTC x.com/IntersectMBO - Cardano Foundation: KERI & Future of Digital Identity course x.com/Cardano_CF - Romain Soulat: IO High Assurance auto-prove smart contract correctness x.com/RSoulatIOHK - Rick McCracken: IO Cardano High Assurance Yes recommendation April $620M hacks x.com/RickMcCracken - SAIB Inc / Wizard Cardano: DEX universal limit-order liquidity layer mainnet imminent x.com/saibdev - Minswap Labs: Second NIGHT tranche live (Meowdrop) x.com/MinswapDEX 📌SIPO関連: - 朝Daily Intel B_001: Filecoin×Cardano Charles×Belcher / Lace Mobile / Daedalus 8.0 Mithril - 昼Daily Intel B_002: IOG Leios 6月テストネット / Charles監視資本主義Live / Sundae設計 - 夕Daily Intel B_003: Intersect CC選挙5月8日延期 / Cardano Node 10.7.1 / IOG Karg保証チーム