Pinned post
cts🌸
Verified account This account is verified. Learn more@gf_256
1K Following 69K Followers 3.4K Posts
Latest posts 5
Xuehao is an amazing researcher. Highly recommend working with him
After my time at Zellic, I’m now looking for Security Engineer or Security Researcher roles, especially in Web3 and protocol security.View quoted post on X
I’ve worked on L1 clients, Solana, Cosmos, cross-chain protocols, system software, and browser security. If your team is hiring, my DMs are open.
Portfolio: github.com/gxh191/Securit…
Amazing work by the team!!!
x86 formal verification is coming!
The (first?) published machine-checked proof of a security property for the end-to-end execution of a Linux process running an x86 binary statically linked against glibc.
And we believe it scales!
A joint research project with @zellic_io 🧵👇View quoted post on X
This is incredible lol, Orange Tsai popped browser from calc
Don't worry @orange_8361, there are still people reading blog posts and articles from start to finish 😄 that was a beautiful exploit chain!View quoted post on X
blog.orange.tw/posts/2026-10-…
