🤨
Joined December 2018
- Tweets 10,246
- Following 2,493
- Followers 1,189
- Likes 16,613
349 Photos and videos
Before the internet, your access to information was your local library or university. Now, everyone in the world gets the same wikipedia and google.
Crypto's promise is to do the same thing for finance. Instead of having to take your local bank's rate, you should be able to borrow from or lend at the best global rates. Instead of taking your local broker's coverage set as the constraint set, you should get access to global opportunities.
The value prop is clear; time to grow.
112
78
609
29,538
An insightful post on how we are using AI to secure Monad:
May 26
My first blog post for @monad's security team is out.
We spent a month building an AI system to hunt vulnerabilities in the Monad blockchain
here's what we learned
66
43
406
25,094
Many finance companies hold virtual monopolies that have been unchallenged for decades. The reality is that it is quite difficult for newcomers to take the mantle.
Crypto offers builders a unique angle of attack to disrupt - by tapping into a unique, wealthy, influential, coordinated group of passionate users. It is not easy, but the reward is also massive.
The challenge should never be trivialized, but neither should be the opportunity.
85
36
480
18,433
Suddenly the impossible has become quite possible
May 20
For the longest time, at least the last seven years since Flash Boys 2.0, we, as a community, have aspired to encrypt mempool transactions for better execution and censorship resistance. It’s finally possible to do so efficiently, without any qualitative tradeoffs!
46
22
271
14,233
Heading to @ethconf in NYC?
Join us in learning more about what's at the frontier of privacy AI with thought leaders and leading companies.
Co-hosted by @archetypevc and Monad Foundation.
Sign up 👇
luma.com/28k7z005
52
49
373
21,293
Axal is integrating @monad.
The integration adds support for Monad-based markets and applications, including:
➤ Robust DeFi ecosystem - including @Morpho, @Curvance and @Neverland_Money markets.
➤ Elite builder community - even in-person at @thestudio_xyz in NYC!
➤ Infrastructure designed to support performant consumer-facing applications.
More below ⬇️
43
34
228
22,228
Mini-update on Formal Verification of Monad by @category_xyz :
"Our goal is to formally verify the implementation of the Monad blockchain. Toward that goal, we have made significant progress."
Link in next post
May 18
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.
I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why:
vitalik.eth.limo/general/202…
40
40
294
12,222
To clarify, the Monad network is not affected and is operating normally
Security researchers in their review have determined that ~$816,000 appears to have been stolen as a result of this exploit of @EchoProtocol_ 's eBTC
68
59
483
51,242
We're aware of an incident related to @EchoProtocol_ 's eBTC on Monad, and security researchers are investigating
gm @EchoProtocol_ may be hacked on @monad
Someone minted 1k ebtc out of nowhere, max borrowed wbtc against it on @Curvance, bridged, and tornado away
38
23
283
26,473
JCVCrypto retweeted
May 17
I wrote safety critical industrial code in the past, and the rhythm felt about the same as writing perfect DeFi code. Correctness is hard work anywhere.
I think the biggest difference on the EVM is the constant resource constraints. The solidity compiler is inefficient, but most of the real constraints are from the EVM design and that the most basic operations on ethereum during it's heyday were so brutally expensive that you were forced to design for both correctness and simultaneously do stunts for gas efficiency.
You can't currently hand an average programmer solidity evm ethereum and not have critical bugs as the output. Now that may be true for most critical systems, but there are bug classes that could be removed at the compiler level and we should do this.
A month ago I realized that everything I took as concrete - Solidity, the EVM, how the blockchain works - could actually be changed. My biggest personal pain in solidity/evm was contract size limitations, so yesterday I worked on a Solidity PR that makes a 3% reduction in bytecode size.
May 17
Beyond policy, I feel like the two meta-problems that have slowed our industry down the most:
- Solidity. Shipping truly safe code on EVM is brutally slow.
- Talent attractiveness. Deep technical talent doesn't want to work in crypto. They don't see the impact they could create, they only see speculation. We've failed to make the substance of the work legible to people who could move the frontier.
9
7
76
8,847
At every Blitz we do in Turkiye, I see better projects.
The winner, Troia, solved a real problem: Troy cards being unusable abroad. Nothing like this exists right now.
The runner up implemented a dare-like running app.
And the third project solved a problem businesses had.
If you are ever in an hackathon, the first thing to keep in mind is the SCOPE. All of the winners were nicely scoped.
Want to take a shot at winning the next Blitz in Turkiye?
I am portdev on telegram.
dm me.
May 17
Yesterday, we brought the @Monad Blitz Hackathon to Çanakkale, and the city truly felt the Blitz energy.
Saturday, in just a few hours, 26 projects were built.
Winning projects:
🥇 Troia
A payment orchestration layer enabling Troy card users to pay with crypto directly in Turkish Lira without opening a wallet. Combines virtual POS infrastructure, AI-powered arbitrage routing, and smart contracts to abstract the entire crypto payment flow.
🥈 RUNAD
A mobile-first social running app on Monad turning real-world activity into onchain reputation. Users earn location-based NFT achievements, join community challenges, and build a “Proof of Active Lifestyle” identity layer somewhere between Strava and Web3 social coordination.
🥉 Refaktör
An RWA factoring platform tokenizing SME export invoices into fractional onchain assets. Businesses access instant liquidity while investors gain exposure to yield-generating real-world receivables with fast settlement powered by Monad.
Huge respect to every builder who showed up and shipped.
This is exactly what Monad Blitz is about.
Kudos to @monad_dev , @port_dev and @_VeliUysal 🤘
11
11
106
8,554
This week in the Monad ecosystem
- Monad is now supported by @raincards, users can spend stablecoins directly from Monad
- Referrals are now live on @perpltrade
- The @FalconXGlobal credit vault on @paretocredit is now live on Monad
- @LeverUp_xyz launched the AnyCollateral program, giving users tradeable margin for any ecosystem token
- @TownSquarexyz launched a $100M USD1 pipeline to bring institutional yield to everyone
- @lifiprotocol launched a validator on Monad
- @naddotfun launched custom routing for trading fees on the platform
131
66
606
27,433
Still no fees for MetaMask users on Monad btw
Mar 10
What do we say to gas? Not today. 👀
You can now freely swap and interact with @monad in MetaMask.
The gas is on us!
130
82
611
28,636
3
2
53
1,977
Monad v0.14.3 has been released for mainnet.
This version is the first time that nodes are required to use Authenticated UDP for RaptorCast.
Authenticated UDP is an improvement that significantly reduces overhead of verifying consensus messages; it was rolled out a few months ago in optional mode to give the network time to switch over. You can read more about Authenticated UDP here:
x.com/keoneHD/status/2021475…
This release also makes changes to allow full nodes to participate in reputation scoring, and does some preparatory work for Deterministic RaptorCast.
Full changelog linked in the next post.
99
92
583
28,698
In this episode, @category_xyz cryptographer Babak Gilkalaye explains the Batched Threshold Encryption scheme and its role in enabling encrypted mempools:
May 14
Talking privacy, MEV attacks, BTX and the Monad tech with the expert: Babak Gilkalaye x.com/i/broadcasts/1XxygmDko…
27
31
212
7,681