Keone Hon

What Monad has so far: - High quality open-source C++/rust codebase with many HFT-style optimizations and architectural changes - Public audits and clear docs that put the technology first. Transparency -- no hand-waving, no unsubstantiated claims - High-performance system focused on true decentralization, running continuously in testnet with 186 globally distributed validators at 5000-10000 tps - MonadBFT, a frontier consensus mechanism featuring 400ms block times, 800ms finality, large globally-distributed validator set, and tail-fork resistance - Async Execution (while supporting EIP-7702 through the Reserve Balance mechanism) - MonadDb for efficient merkle trie storage - Native code compiler for frequently used contracts - Interconnected community of smart, thoughtful crypto-natives who will grow in influence over the next few years - Ecosystem of promising young startup founders, ready to take their shot - Over $100m in ecosystem funding pre-mainnet - Founder support through DeltaV, the Monad Founder Residency, Monad Madness, and more - Monad Momentum, an incentives program focused on efficient UA and repeatable growth loops to help decentralized apps acquire normie users - A north star of making open-source, decentralized systems more powerful But there's still so much more to do. Are you excited?

War mode, but for an industry, not a company

Smart contract developers, please run Ultrafuzz on your contracts!! It's open source and available to anyone, consolidating many years of learnings from @aviggiano github.com/monad-developers/… If you run into any issues, Antonio is eager for feedback, DM him

In this age of AI-empowered attackers, the only way forward for our industry is to continue hardening. Security should be every team's top focus. The Monad Foundation invests heavily in security and is sharing the following resources to the community: Everyone: - The Crypto OpSec Bible: monad.xyz/blog/crypto-opsec-… Smart contract developers: - Importance of not relying on EOAs for admin roles: monad.xyz/blog/say-no-way-to… - Importance of only signing admin functions on a dedicated laptop: monad.xyz/blog/monad-foundat… Hardening code with Ultrafuzz, our open source tool for agentic fuzzing and threat hunting: - Codebase: github.com/monad-developers/… - Overview: monad.xyz/blog/ultrafuzz - monad.xyz/blog/open-sourcing… Learnings from the field on threat hunting with LLMs: - monad.xyz/blog/writing-secur… - monad.xyz/blog/evaluating-my… Learnings from securing code with Formal Verification: - category.xyz/blogs/finding-b… - category-labs.github.io/cate…

Binance hackers now hold 4x as much Eth as the EF

The best entrepreneur of the next decade is out there somewhere raising at a sub-$10m valuation and struggling to get it, building in crypto which investors aren't thinking about. That's just how it works.

Formal Verification is going to be so hot in April 2027

correct

Congrats @userocket_app on the launch of beta! I must hit a 71.30x

Monad is now on the Pumpfun app! You can now find and trade Monad assets on the Pumpfun app Thanks to the Pumpfun team for the support, and catch you on chain

I am a technology optimist. I believe: 1. decentralization and censorship-resistance (real versions of these properties, not larps) matter to human freedom in the coming age of AI 2. self-sovereign money, implemented by code and maintained through decentralized consensus, is the final form of money. But it needs to be truly decentralized -- cut out every possible weakness, trust assumption, keeper, etc. Of course there will be connectors to the real world - harden those maximally 3. AI will write most smart contract code. Spec-driven development with Formal Verification will be how new contracts are written rigorously. FV will also be crucial to securing all the infra including the blockchain itself 4. AI will harden our surfaces, with some unfortunate hacks in the process, but ultimately the crypto and financial industries will come out stronger 5. properly-constructed and properly-indexed data lakes will enable agents to build software far more productively 6. governments will move to restrict AI usage in the future, causing true decentralization and CR to matter in dramatic fashion 7. quantum security will be a must for any ledger where people trust their assets. And specifically, blockchains will need to deliver quantum-resistance while retaining programmability and performance. Again, no larping 8. ZK will be an important part of the puzzle too, as it'll be increasingly important to prove off-chain computation and utilize the result on chain. But again, performance and effortlessness for users will be the differentiator 9. pragmatic and composable privacy will be the missing piece for real adoption. People will use apps that stack together stablecoins, DeFi, blockchain settlement, passkey or MPC authentication, and friction-free onramps, but the part that gets fintechs over the line is knowing that user balances will remain private while still being able to tap into shared liquidity 10. blockchain will serve as the global, universal marketplace, for anyone anywhere to get the best opportunities. For that we will need guarantees of fair execution, protection from frontrunning, and a convergence of all of the best assets At @category_xyz and the @monad Foundation, we are assembling all of these missing pieces in parallel with extreme urgency, and I hope this is clear from our actions. See you in the future

Decentralization doesn't matter until it does. Blockchain, and more specifically a blockchain with real decentralization, censorship-resistance, and pre-finalization privacy, will be a defining part of the next era

I use Monad every day

Yesterday's Railway issues, and an increasing stream of cloud provider incidents, highlight a major issue: decentralized apps have no way of scheduling or automating smart contract calls. Someone needs to run that cron on a server, which are becoming increasingly unreliable in the age of AI. The point of decentralized systems is that we shouldn't need to rely on a single server to maintain an invariant that protects the correctness and solvency of self-sovereign money protocols. Automation needs to move to the blockchain, where a network of distributed nodes brings fault-tolerance and checks-and-balances. Scheduled Transactions are how we accomplish that. Scheduled Transactions are far more than a replacement for keepers. They let users and applications alike set up interactions that recur on a cadence, happen once at a chosen moment, or follow from something that happened earlier. Check out the details below, as well as a few examples of what you can build with Scheduled Transactions, such as on-chain keepers, recurring payments, long-running (asynchronous) computations, automatic refunds in atomic swaps, and order-book cleanup.

More info about the Formal Verification effort on Monad: category.xyz/blogs/finding-b…