Over 7 years auditing and formally verifying complex DeFi code, now we've built AutoProver, which leverage LLMs to automate security processes and produce mathematical proofs.
Devs will use it to secure code against LLM attacks. Premium audits continue full force🧵
@TrumpAccounts can you check the account activation flow? In the middle of creating an account, when trying to retrigger the email verification code after the first one expired, it doesn't get sent
This is the single handedly most inane thing this state government has ever done, and that is saying something.
I have no idea what I’m going to do now. I am just in shock at how much this damaged my city’s credibility as a crypto hub.
Given roughly 200million in aave liquidations last week I added a small service to monitor wallet positions and alert you via email or telegram when positions drop below a health factor target. Don't get liquidated 💧https://t.co/XEKvguBdFQ
@AutismCapital Everyone should read the LBJ book series by Robert Caro and see that this exact type of political (dem) machine has been happening forever.
I've been building DeFi for almost a decade and we went from zero to here:
- Over 300b stablecoins issued onchain
- Protocols that actually make revenue, all verifiable onchain
- Billions in stablecoins yielding interest directly onchain
- More safer ways to trade or lend (no ftx custody risk)
- Embedded wallets that bring more users and are easy to integrate (i.e. Privy)
- Fintechs and e-commerce platforms issuing stablecoins (PyUSD, SoFi, Western Union, Moneygram)
- Big fintech involvement (Stripe with Tempo)
- Fintechs integrating defi (i.e. Whop integrating Aave)
- Almost all relevant major banks and asset managers have digital asset teams and also working on tokenization, stablecoins and defi (Fidelity, BlackRock etc)
- Genious act regulating stable coins and removing uncertainty to enable fintechs and TradFi to participate
- Clarity act coming, creating more certainty for crypto and defi
- AI tools for defi security hardening and improved overall development process since early days
- EU has MiCA certainty and UK following up
- Banks banking crypto (Erebor etc) and better onramping
The industry progress has been real, and will take of course years to come to see full adoption. We are closer now than ever before, yet moving 8 billion people onchain will take time.
I think that we are in front of a moment where underlying tech is starting out-phases the crypto-native assets. It make sense for stablecoins to have bigger market caps that Bitcoin and Ethereum as world is moving onchain over time. Same thing will happen with trading and lending as more assets are tokenized and will grow directly onchain. This is net good for the ecosystem.
It seems that fintech and tradfi is doubling down on blockchain like never before.
The best way to progress is by building, and we have some of the smartest builders in the space, true believers that build with a real mission are still here.
At some point crypto, defi, stablecoins, rwas are doing to be just called finance. No tribalism, no drama just boring tech that works and scales.
Personal update: I am joining @aave
Over the past few months, I have had the chance to work closely with their engineering team. I have been impressed by how they approach security and by their attention to quality
I am excited to continue helping them secure the future of DeFi
Agentic finance, powered by Aave.
Developers can now give their AI agents the ability to borrow, lend, and track their positions on Aave through the @labs_compass CLI.
Aave V4’s modular lending architecture represents the next generation of lending protocols.
Its hub-and-spoke design can support virtually any credit use case.
Through Babylon, users can leverage native Bitcoin as collateral to borrow from Aave.
Aave V4 is designed to power lending markets for native assets, securities, and a wide range of credit use cases, both existing and yet to be imagined.