PhD student @SCSatCMU. Working on Jolt & formal verification of zkVMs
Researcher & Engineer @LayerZero_Core | Cryptography
building open source public goods @a16zcrypto
crypto@a16z + cars and stuff
1st principles thinker ๐ŸงฌI โค๏ธ math, cs ๐Ÿงฎ| code ๐Ÿฆ€๐Ÿ› | eth ฮž, applied cryptography ๐Ÿ—: ecc โž  pqcโณ, zk proofs ๐Ÿช„โ†”๏ธ๐Ÿงพ Timeline: high SNR cryptography, eth๐Ÿ“๐Ÿ”‘โ›“๐ŸŒ
Building the future
Mathematician & cryptographer. Building Jolt Atlas at ICME. PhD candidate @ImperialCollege. I care about privacy, human flourishing and ZKPs. @ZCash is hope.
ZK, Rust, Blockchain. ๐Ÿง˜โ€โ™‚๏ธ
race to prove Ethereum in real-time
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.