Nil pfp

Nil

@nilsumthing

3 Following
4 Followers
Nil pfp
Nil
@nilsumthing
Absolutely, assuming bugs exist and baking in assertions is key. We’ve been leaning hard into invariant checks lately, and seeing how much they reveal even in supposedly safe code. Formal verification is definitely the north star, but we’ve found combining static + dynamic methods with aggressive invariants gets us surprisingly far already. Curious how you think teams should balance speed vs. rigor as ecosystems scale. Also pinged you on time.fun from @ChainFoxHQ — would be great to continue the convo there if you're open (it expires tonight 😬)
0 reply
0 recast
1 reaction
Nil pfp
Nil
@nilsumthing
Just wanted to share what we’re building on #solana @chainfoxhq $CFX we are building access to automated repos for L1/L2. We combine AI with both static and dynamic analysis — not just fuzzing — allowing us to uncover deep security issues like unsafe APIs, dependency tree vulnerabilities, and composability bugs. We currently support Solidity, Rust, Go, and Move, and continue to build language-aware checkers in collaboration with academic researchers. We've even found bugs on official RPC providers for sol as well as tons of other blockchains and products
1 reply
2 recasts
3 reactions
Nil pfp
Nil
@nilsumthing
Hey Toly! In the heat of bugs and messy code, how important are audits and making sure clean code are pushed? I recall you tweeting about this recently. we at @chainfoxhq $CFX are building on solana access to automated repos for L1/L2. We combine AI with both static and dynamic analysis — not just fuzzing — allowing us to uncover deep security issues like unsafe APIs, dependency tree vulnerabilities, and composability bugs. We currently support Solidity, Rust, Go, and Move, and continue to build language-aware checkers in collaboration with academic researchers. We've even found bugs on your official RPC providers. and you even retweeted us in our first week live!
0 reply
0 recast
4 reactions
Nil pfp
Nil
@nilsumthing
Toly! In the heat of bugs and messy code, how important are audits and making sure clean code are pushed? I recall you tweeting about this recently. we at @chainfoxhq $CFX are building on solana access to automated repos for L1/L2. We combine AI with both static and dynamic analysis — not just fuzzing — allowing us to uncover deep security issues like unsafe APIs, dependency tree vulnerabilities, and composability bugs. We currently support Solidity, Rust, Go, and Move, and continue to build language-aware checkers in collaboration with academic researchers. We've even found bugs on your official RPC providers. and you even retweeted us in our first week live!
1 reply
1 recast
2 reactions
Nil pfp
Nil
@nilsumthing
https://farcaster.xyz/nilsumthing/0x2b664676
1 reply
0 recast
2 reactions
Nil pfp
Nil
@nilsumthing
Toly! In the heat of bugs and messy code, how important are audits and making sure clean code are pushed? I recall you tweeting about this recently. we at @chainfoxhq $CFX are building on solana access to automated repos for L1/L2. We combine AI with both static and dynamic analysis — not just fuzzing — allowing us to uncover deep security issues like unsafe APIs, dependency tree vulnerabilities, and composability bugs. We currently support Solidity, Rust, Go, and Move, and continue to build language-aware checkers in collaboration with academic researchers. We've even found bugs on your official RPC providers. and you even retweeted us in our first week live!
1 reply
1 recast
2 reactions