Open-sourced a home-made static analyzer in @typescript that I started building when I saw all the spam reports on @code4rena.
It works with detectors based on RegEx or AST analysis using solidity-ast by @OpenZeppelin
Feel free to build on it!
https://t.co/9N3QyBYJrX
๐ช๐บ agEUR rebrands to EURA ๐ช๐บ
Say hello to EURA, Angle's Euro stablecoin fresh new name!
This rebranding marks a pivotal step in Angle's commitment to streamlining and enhancing DeFi usability.
Read more: https://t.co/FwslzvsxTD
@GalloDaSballo The 4nalyz3r is the most egalitarian thing we've ever seen. It's insanely ambitious, and if it works, can really reshape the fabric of society
It's been 6 months since I stopped bot-racing. Instead, I've been using the bot differently, to help with the auditing process.
Today, I took the time to give back some love with around 140 detectors for @thePicodes's 4analy3er.
Happy Valentine's day ๐
https://t.co/7dYv1QsTxs
Crypto should actually be criticized more, itโs just still unpopular to do so in a serious way. Weโve spent 100s of billions of dollars and the most successful DeFi applications would salivate for 5k daily active users. The most highly regarded investment firms funded the biggest
@MitchellAmador For example, don't you think it would be more effective to deter future hackers to stress that there will be no other choices than Immunefi and criminal prosecution, rather than insisting on increasing bounties?
2 years ago, agEUR was deployed on Ethereum mainnet!
10,000,000,000โฌ in transaction volume later, ๐ 1.5M addresses across 10+ chains are now using agEUR as their gateway to open finance and Euro DeFi ๐ช๐บ
Evolution in motion
Here is an open letter to formal methods researchers, particularly cryptocurrency outliers, on the incredible opportunity that awaits those who finally want to prove the worth of formal methods.
https://t.co/ctT91uO1nO
๐ Thread: Risk Analysis of Stablecoins
Huge shoutout to @thePicodes for his crazy insights.
Here's a comprehensive thread summarizing the key takeaways and the importance of risk analysis when dealing with stablecoins. ๐ผ๐
@hansfriese At the same time the number of issues in the final audit report is a good indicator of your chance to get rekt. The more issues auditors have found the more likely they are to have missed something.
Boom! @pablo_veyrat from @AngleProtocol is rocking the main stage at @EthCC with the Key Transmuter Principles! They are undeniably one of the best teams and projects in the entire ecosystem!
@jeiwan7 But you still have to assume at some point that transactions are properly built. Like when swapping at Uniswap you still have to set the slippage properly. So when assessing severity it can make sense to follow the rule user mistake -> low.