Georgios Konstantopoulos(@gakonst) 's Twitter Profileg
Georgios Konstantopoulos

@gakonst

very greek accent. cto & research partner @paradigm. optimist and rustacean 🦀 // building reth, foundry, alloy & other high perf OSS communities. join us.

ID:804029200315334656

linkhttps://gakonst.com calendar_today30-11-2016 18:27:54

16,4K Tweets

102,5K Followers

1,8K Following

Follow People
Georgios Konstantopoulos(@gakonst) 's Twitter Profile Photo

strong agree on the need for a 'good IR' that is re-used across EVM language frontends.

Venom looks very promising, excellent talk ⚡️Harry Kalogirou youtu.be/JGdkfL2vz5s

github.com/vyperlang/vype…

account_circle
storm(@notnotstorm) 's Twitter Profile Photo

cryo currently collects 36 types of datasets from EVM nodes

does anyone have ideas for more datasets that would be nice to have?

cryo currently collects 36 types of datasets from EVM nodes does anyone have ideas for more datasets that would be nice to have?
account_circle
Ulvetanna(@UlvetannaHQ) 's Twitter Profile Photo

Too busy to read our paper 'Succinct Arguments over Towers of Binary Fields'?

Watch Ben Diamond break down the key ideas in this presentation to the ZK Study club!

youtube.com/watch?v=BeEuph…

account_circle
Georgios Konstantopoulos(@gakonst) 's Twitter Profile Photo

upcoming foundry improvements:
* compilation times go down (forge-std cheats -> native)
* etherscan verification robustness go up (rewriting linking, caching bugs, test all repros)
* fuzzer perf/coverage go up (still early! reach out.)
* easier lib usage (alloy migration)

account_circle
merkle(@merkle_mev) 's Twitter Profile Photo

We built the fastest transaction stream from the ground up using reth on BSC and Polygon.

Our stream beats any current transaction stream on the market >80% of the time by more than 10ms.

More info below.

We built the fastest transaction stream from the ground up using reth on BSC and Polygon. Our stream beats any current transaction stream on the market >80% of the time by more than 10ms. More info below.
account_circle
Christine Kim(@christine_dkim) 's Twitter Profile Photo

Quick update from ACD call today:
- Cancun/Deneb upgrade on Sepolia and Holesky testnets remain scheduled for activation on Jan 30 and Feb 7, respectively.
- Client releases for both upgrades will be bundled and shared in a blog post next Tues.
- Full writeup from today's call…

account_circle
Georgios Konstantopoulos(@gakonst) 's Twitter Profile Photo

I contributed to the ZKP2P Trusted Setup Ceremony V2.1 HDFC!

You can view the steps to contribute here: ceremony.pse.dev.

You can view my attestation here: gist.github.com/gakonst/f3f0c4…

account_circle
Dacian(@DevDacian) 's Twitter Profile Photo

💡Easy Stateless Fuzz & Symbolic Test💡

Foundry + Halmos => use the same test contract for both stateless fuzz & symbolic tests.

Here is an example from my current private audit where I'm using Halmos to verify a hashing algo produces unique results for the possible input set:

💡Easy Stateless Fuzz & Symbolic Test💡 Foundry + Halmos => use the same test contract for both stateless fuzz & symbolic tests. Here is an example from my current private audit where I'm using Halmos to verify a hashing algo produces unique results for the possible input set:
account_circle
Matt Solomon(@msolomon44) 's Twitter Profile Photo

forge-std v1.7.6 is out with some new cheats github.com/foundry-rs/for…

(v1.7.5 just had a function visibility fix)

forge-std v1.7.6 is out with some new cheats github.com/foundry-rs/for… (v1.7.5 just had a function visibility fix)
account_circle
Georgios Konstantopoulos(@gakonst) 's Twitter Profile Photo

lazyweb, there were a few papers / blogs shared last year comparing foundry's fuzzer with others, did anybody have them aggregated somewhere / can share?

(we're gearing up for the 2024 fuzzer improvements)

account_circle
Georgios Konstantopoulos(@gakonst) 's Twitter Profile Photo

blockchains enforce artificial limits on various parameters to bound worst case outcomes.

this is unintuitive for most people as you think in average case outcomes --> makes debates around how to think about the gas or contract size limit etc. hard --> need for rigor

account_circle
parithosh | 🐼👉👈🐼(@parithosh_j) 's Twitter Profile Photo

dimsome.eth (🐱:🎁) proto.eth The devnets all forked at <256 epochs, meaning the network was too new to even hit one cycle of SLOTS_PER_HISTORICAL_ROOT. So we never triggered this issue in devnets. Shadowforks are more of an EL stress test, underneath they're just fresh CL devnets - so same reason.

account_circle