franfran
@franfraneth
Followers
771
Following
8K
Media
24
Statuses
915
Joined July 2014
The $1,500,000 USD @Ethereum Attackathon is finished, and the full results have been posted. $500,000 of the reward pool has been paid out! ๐ฅ @th3anatomist: $148,677 ๐ฅ @robinrobin99020: $146,250 ๐ฅ CertiK: $90,801 4๏ธโฃ Franfran : $33,750 5๏ธโฃ @blobismdev: $33,750 Check the link
5
11
91
Want to enter web3 with Python? ๐ The Vyper and Python Smart Contract Development learning path is live on Cyfrin Updraft! ๐ 3 courses to go from beginner to expert. @PatrickAlphaC teaches you the language powering billion-dollar protocols! Here's all you need to know ๐
28
62
254
๐ช @cantinaxyz
The biggest bug bounty in history is now live. @Uniswap just raised the standard of building in public ๐ช With $15.5M on the line, it's an unprecedented testament to the rigorous security of v4. Think you can find a critical bug? Give it a shot. ๐ Bounty link below
0
0
5
๐พ ๐ Please welcome the whitehats who have just gotten their FIRST payments this last week! ๐ brivan with $11,421 ๐ zeus2024 with $8,000 ๐ Mansa with $5,000 ๐ถ Crab with $2,632 ๐ถ sammytm with $2,586 ๐ถ akashoffsec with $1,000 Great job all!
6
6
69
Open-source developer tooling for Solidity is incredibly difficult. Because Solidity has no applications outside the Ethereum ecosystem, we must ultimately address these problems ourselves, or the developer experience will fall behind, causing developers to move on to build on
6
33
120
Awards have been announced for the Vyper Compiler contest๐ค Top 5: ๐ฅ @kuroi008 - $54500.82 ๐ฅ @zachobront - 43855.13 ๐ฅ @cyberthirst - $27227.06 ๐
@franfraneth - $12338.69 ๐
cryptonoob - $11410.67 (1/2)
7
8
114
two simple lines of code to achieve perfect Ethereum client diversity that no one wants to talk about
13
12
133
Let's go! For starting 2024 MevSec made a TOP 5 on a @code4rena contest (for @zetablockchain). Interesting to dive into a Golang Codebase and a full blockchain to find attacking vectors :) Hoping that 2024 will be full of findings + blog posts ๐
3
2
16
rust abstractions are zero cost because the price is your mental health
69
163
2K
Hearing reports that a parallel evm has been created at a lab in China. Waiting to see if any other labs replicate.
3
2
39
omg
2
1
20
Sneak peek of something I've been building over the weekend. tl;dr: Interact with any unverified contract without providing an ABI on ETH mainnet. Massive thanks to @BeckerrJon for building heimdall-rs! I just built a simple frontend that utilizes it. Plus @ScaffoldETH for
18
21
180
For now, it's just a very rudimentary cfg generator from arbitrary bytecode. I thought about coverage-guided fuzzing, but if it's not smart enough (structure aware), then it may not get very far (reach to 100%).
0
0
1
Trying to revive this project here. Planning to rewrite it at https://t.co/VQm7BIjyz2 I'm trying to gather opinions on tricks to avoid *only* using symbolic execution because of state explosion and also that it would be great for the tool to be fully automatic.
github.com
A fully automated state machine diagram generator for the EVM - iFrostizz/state
Is there a way to generate state machine diagrams from Solidity contracts from a script ?
1
2
9
We are excited to announce the open public alpha of KMIR. We have put together a blog to show how to extract MIR from the Rust compilation process and how to execute MIR programs with KMIR. https://t.co/Y983FpgpvT Big thanks to the @Web3foundation for the funding to make KMIR
runtimeverification.com
Runtime Verification is excited to announce the open public alpha of KMIR. KMIR defines the formal operational semantics of the Middle Intermediate Representation (MIR) of Rust in K, giving develop...
2
14
35