PhD student @SCSatCMU. Working on Jolt & formal verification of zkVMs
Researcher & Engineer @LayerZero_Core | Cryptography
building open source public goods @a16zcrypto
Mathematician & cryptographer. Building Jolt Atlas at ICME. PhD candidate @ImperialCollege. I care about privacy, human flourishing and ZKPs. @ZCash is hope.
Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. โจ Be Boundless โจ Retired Eng @ RISC Zero ๐คซ๐ฅธ
We back bold entrepreneurs building the next internet.
Posts are not investment advice or an advertisement for investment services. See a16z.com/disclosures ๐
@a16zcrypto comms. Ex-@stripe & @facebook. Wisconsin sports fan.
