University of Illinois

https://github.com/a16z/halmos

Banger toolkit for static analysis for smart contracts.

@ncitron.eth is the person responsible for this on fc?

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

Just a gurrl🌸🧚…
























































Nothing to see here🌚

I have a friend in there rn
she tells me the campus is super large
how did you get around and connect with people😭?
she's struggling