Aaryamann Challani
I'm an engineer and amateur cook, passionate about privacy, cryptography, and distributed systems. I write about the intersection of technology and society, with a focus on building systems that preserve human autonomy and privacy.
Currently, I work with EthSystems to onboard institutions to Ethereum in a way that's performant and confidential, and being pragmatic about the tradeoffs that come with private systems.
Sessions
Indian Institutional Needs
What Mumbai Dabbawalas Teach Private Finance
Every identity system on Ethereum answers to a source that can disappear, or turn against the people it verified. I show what removing that dependency really costs, and what plural identity needs that nothing deployed today has.
Specs for confidential systems make security claims in prose: value is conserved, no note can be spent twice. This talk is an experience report from machine-checking those claims for an open source shielded pool spec in Lean 4: what verification actually involves, what it costs a small team today, and what's still open.