HK
331 posts


HK retweetledi
HK retweetledi

Cardano DReps, pls vote Yes on IO: Cardano High Assurance Technical Collaboration. The formal verification deliverables are worth the ask.
During the month of April 2026 there have been approximately $620 million in cryptocurrency hacks, the worst month every. I think AI is accelerating the hackers ability to find vulnerabilities in crypto infrastructure.
The deliverables on this proposal extend formal verification to 4 smart contract languages used on Cardano and provides Cardano developers the tools to eliminate as many smart contract bugs as possible.
Get the good guys ahead of the bad guys.

Romain Soulat@RSoulatIOHK
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. 🧵
English

You may have started seeing some posts from these guys. We're the new maintainers of the daedalus wallet and 8.0.0 is our first release which adds mithril support for fast bootstrap.
If you are an spo and still not running a mithril signer, it is time to get involved. Mithril is critical infrastructure as cardano integrates more outside of its pond.
It's the same team as dripdropz plus some members, minus some others. Doxed team is below.
SE7EN Labs@se7en_labs
English
HK retweetledi

I saw several people be worried about #Leios being expensive to operate and realized that the cost-estimates were quite outdated.
The Linear Leios variant that we proposed in CIP-164 is especially gentle on protocol overhead 👇
github.com/input-output-h…
leios.cardano-scaling.org/cost-estimator/

English

TL; DR Cardano
Mithril mainnet is no longer in beta 🚀
Daedalus now bootstraps from Mithril 🚀🚀
Y'all mfrs need to use more rocket emojis 🚀🚀🚀
HEPHY Stake Pool | Mithril 🛡️| Icebreaker 🧊@HephyPool
mithril-signer-1.0.0 Time for all you "beta" dodgers to get off the bench and into the game 👀 github.com/input-output-h…
English

Can someone explain what’s causing the current tension in the #cardano community and why their frustration is directed at Charles? 🤔
I guess it’s because of the current price of $ada
English
HK retweetledi

Multiple things can be true at the same time. Two strong egos can both be wrong in their approach to a situation (and what started and/or escalated it) while still being arguably "right" in the eyes of the people in their particular camp. If we could turn proof of outrage and Pearl clutching into a viable Blockchain consensus algorithm... Cardano would have enough hash power to last until the heat death of the universe. Sometimes saying nothing is the right thing to say.
English

@CryptoWendyO in bullmarket everyone would be excited. same events, different vibes
English

Zero Treasury, Zero Catalyst, Zero Community Funding.
This is what Pondora has built:
Already live:
✅ Cardano's first Smart DeFi Accounts
✅ Cardano's first Intent-Based DEX with Aggregation
✅ On-chain Automated Strategies and Scheduled Payments
✅ Unified AMM and Order Book Liquidity
✅ Self-custodial, Passwordless Trading
✅ Cardano's first modular attestation network
🟢Cardano's first L2 Rollup (deploying in the next days)
Rolling out over the coming weeks and months:
🔜 Cross-chain and cross-layer support across the stack
🔜 Cardano's first Decentralized Oracles
🔜 Cardano's first Decentralized Derivatives
🔜 Decentralized Cross-chain swaps and bridging (BTC and others)
🔜 DeFi Gaming
And NO, this isn't another treasury proposal. Everything above is already being built.
All we ask is for you to try it out and tell us what you think.
With enough passion we can build a better Cardano.
Keep an eye on us in the next days, good stuff is coming!🐸

English
HK retweetledi
HK retweetledi

@RealSaidov These are outdated numbers of throughput targets that were never realistic on a global scale and deterministic tx validity.
Please check these updated numbers here: github.com/input-output-h…
English

IO’s 2026 treasury proposals are now live.
We’re submitting nine proposals this year, with a funding ask just under 50% of last year’s, and a clear focus on getting the job done.
With Leios testnet arriving in June and mainnet targeted by the end of 2026, the slate delivers the performance, security, and capability upgrades needed to move Cardano into its next phase.
DRep voting is open now and closes on 24 May.
Explore the full set of proposals → momentum.cardano.iog.io
Kick-Off: The Cardano 2026 Proposals by IOG today 16:00 BST: x.com/i/spaces/1lkqr…
English















