on an adventure @tempo | ( 70.3, 140.6 ) triathlete
Joined August 2021
- Tweets123
- Following287
- Followers413
- Likes586
George Niculae retweeted
>$100B has been deployed and tested with Foundry btw
Foundry’s Forge btw is what OpenAI used in EVMBench - to evaluate agents’ crypto security capabilities, Anvil made its appearance in their alignment research
Foundry is the standard for secure smart contract development
George Niculae retweeted
Frontiers by @Paradigm returns to San Francisco on October 12-14, 2026!
Frontiers is our intense annual conference & hackathon for those beyond the edge.
No booths, no sponsors, curated audience, stablecoins, ai, robotics, post-quantum cryptography and more.
Apply below!
George Niculae retweeted
Symbolic Testing in Foundry - forge test --symbolic
Foundry has been used to secure >100B of value in deployed smart contracts. This is achieved through state of the art high performance fuzzing made available to every developer for free.
Going beyond fuzzing, AI empowers us to move towards formally verifying / proving security of our code by writing complete models of the behavior we want faster.
We have finally started to make progress towards symbolic / concolic execution in Foundry.
Try it out!
getfoundry.sh/forge/testing#…
George Niculae retweeted
After a year and a half of working on solana runtime/validator security at @asymmetric_re, I’ve joined the security team at @tempo!
We are looking to expand the team. HMU if you love fuzzing or keep hitting credit limits on your autonomous bug hunter!
George Niculae retweeted
Foundry v1.7.0 is out!
Highlights: parallelized stateless fuzzing, invariant optimization mode, Osaka default hardfork, Tempo support upstreamed, MPP for 402-gated RPCs, browser wallet support across forge & cast, immutable releases, and more!
$ foundryup --update
$ foundryup
George Niculae retweeted
alloy 2.0 very soon, and soon after that we're moving onto foundry 2.0 which will allow foundry to evolve into an SDK not dissimilarly from reth sdk which has enabled everyone in the ecosystem to customize and adapt foundry's internals to secure and improve their dev process
George Niculae retweeted
RELEASING RETH 2.0!
Reth is now faster, smaller, and ready for the future of crypto infrastructure.
Gigagas per second has not just been achieved, it's been blown out of the water.
We've put in a ton of work in this, and we're incredibly proud to be sharing this with everyone.
George Niculae retweeted
We've added MPP / Tempo Wallet support to Foundry - out on latest nightly.
- foundryup -n tempo
- cast bn -r tempo
- cast send erc20 <...> -r tempo --from `tempo wallet whoami --json-output | jq -r .wallet` (to be made less verbose)
h/t @onbjerg @gndizzy @zerosnacks
George Niculae retweeted
George Niculae retweeted
Foundry has a new release candidate: v1.6.0-rc1!
Highlights include: Osaka as default EVM hardfork, parallelized stateless fuzzing, configurable invariant check intervals, improved reentrancy detection and time-based invariant fuzzing.
$ foundryup -i v1.6.0-rc1
George Niculae retweeted
mind: blown
claude + foundry fuzzing is very (, very) good, but claude + foundry invariant testing is OP!!!
same invariant as in the QT, but this time discovered via invariant tests - not targeted fuzzing (ofc oneshotted by claude)
instead of trying to guess how the invariant breaks, claude wrote a generic handler that wraps all user-facing, state-changing functions and let the fuzzer do its thing
adding another invariant is trivial, just write the invariant itself - no new repro logic needed
seems like a step-function upgrade in how protocols are tested
huge thanks to the legendary @gndizzy and all the giants building this unbelievable tech
fuzzing is all the talk since the yETH hack (at least in my mind) - @claudeai just wrote the perfect foundry fuzz test for me and uncovered an edge case an entire massive test suite missed
the invariant is simple, `sum(trove debts) >= total_debt`, otherwise `total_debt` can go negative if all troves repay making it impossible to close the last trove
screenshot of the fuzz test attached and link to the test in the first comment, for your convenience
tell claude to fuzz yo code!
George Niculae retweeted
forge-std's v1.14.0 is out, the first release requiring ^0.8.13.
github.com/foundry-rs/forge-…
v1.13.0 is the last release with partial support for 0.6.*, 0.7.* and 0.8.* up to 0.8.13.
github.com/foundry-rs/forge-…
George Niculae retweeted
Looking for 3 Rust experts to add to the @tempo team. Once in a career opportunity to build the future of web payments.
Criteria I am looking for (at least 1 of the 3):
- systems/db background
- strong EVM knowledge
- specialisation e.g. compiler / security
Ashby link below.
George Niculae retweeted
Would limiting future versions of `forge-std` to ^0.8.13 compatibility work for you?
Older versions of `forge-std` would of course remain available.
94%Yes, ^0.8.13 is fine!
0%I need >= 0.7.0
6%I need >= 0.6.2
31 votes • Final results George Niculae retweeted
Foundry has a new release candidate: v1.5.0-rc1!
Highlights include: Solar 🌞 powered AST-seeded fuzzing, improved invariant shrinking, browser wallet support in `cast`, `cast erc20`, distribution of binaries on NPM, and much more!
$ foundryup -i v1.5.0-rc1
George Niculae retweeted
Still looking for an incredible compiler engineer that is also a Rust expert that will help us fix Solidity with the Solar project. Cash + equity. Anyone?
George Niculae retweeted
As stablecoins grow, so must our devtools.
The easiest thing we could do in Foundry was to add some simple ERC20 convenience utilities.
From an external contributor! Pick any of our open issues and join the club.
George Niculae retweeted
ten million all time downloads on alloy-primitives.
stable, intuitive, high performance low-level types for all things Ethereum.
incredible work by @DaniPopes & rest of team.
