
Mahimna Kelkar
@_mahimna
Followers
1K
Following
32
Media
1
Statuses
56
Cryptography, Blockchain Security | Incoming Assistant Professor @PurdueCS (Fall 2026) | Research Scientist @OffchainLabs | CS PhD @CornellCIS
Joined November 2019
š£Excited to announce that I will start as an Assistant Professor @PurdueCS in Fall 2026! . I plan to recruit multiple PhD students for a broad range of cryptography and blockchain topics. More details soon. For the next year, I'll be a postdoc at Columbia with @Tim_Roughgarden.
12
8
115
RT @initc3org: "Defunding NSF means defunding scientists in the U.S. - including those leading crypto innovation.". In a new @CoinDesk op-eā¦.
0
13
0
RT @initc3org: NEW: IC3 researchers present Liquefaction ā a wallet platform that redefines private key control in crypto. Liquefaction alā¦.
0
22
0
RT @initc3org: Prof. @ittayeyal, @mskd96, and @_mahimna also evaluate other authentication mechanisms and propose solutions to enhance secuā¦.
initc3org.medium.com
by Deepak Maram (Mysten Labs, IC3 Alum), Mahimna Kelkar (Cornell Tech, IC3) & Ittay Eyal (Technion, IC3)
0
3
0
RT @AriJuels: Without decentralization, a DAO is just an AO. But what does decentralization really mean for a DAO?. New blog post: The āDāā¦.
initc3org.medium.com
Popular notions of DAO decentralization have left DAO projects flying blind.
0
45
0
RT @AriJuels: Increasingly complex DeFi means increasingly complex MEV risks. Lanturn, led by @KushalBabel and @mojan_jp, uses adaptive leaā¦.
0
23
0
RT @AriJuels: TEEs / trusted hardware are in theory a perfect complement to blockchains. But security concerns have slowed adoption. The Sā¦.
initc3org.medium.com
v1.0
0
62
0
RT @initc3org: New Researchļ¼TEEs are a growing part of block-building supply chains in today's #blockchains, but past vulnerabilities raiseā¦.
link.medium.com
v1.0
0
8
0
RT @AriJuels: The next iteration of PROF blog post is out. We believe PROF is a simple, promising way to combat harmful MEV and get fair orā¦.
initc3org.medium.com
by Kushal Babel, Yan Ji, Ari Juels, and Mahimna Kelkar
0
75
0
RT @IACR_News: #ePrint Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets: M Kelkar, K Babel, P Daian, J Austgen, V Buteriā¦.
eprint.iacr.org
Most cryptographic protocols model a playerās knowledge of secrets in a simple way. Informally, the player knows a secret in the sense that she can directly furnish it as a (private) input to a...
0
7
0
RT @AriJuels: We introduce new notion in cryptography of *Complete Knowledge* (CK) in blog post and paper released today. @KushalBabel @Vitā¦.
medium.com
by James Austgen, Kushal Babel, Vitalik Buterin, Phil Daian, Ari Juels and Mahimna Kelkar
0
110
0
This needs to be highlighted. Yes, there is no single notion of "fairness.". But the hard truth is that *any* definition proposed so far results in fundamentally better security than existing systems.
New IC3 Blog Post- Order-Fair Consensus: Reducing MEV at the Consensus Layer.by @_mahimna .This is the first in a series of posts discussing MEV, transaction-order manipulation, and order-fairness.
3
4
22
@crypto_gakusei @dailinsubjam @AriJuels @sreeramkannan Themis is designed for partially synchronous networks, enforces the strongest notion of fair ordering proposed to date, and achieves the same asymptotic complexity and comparable performance to state-of-the-art consensus protocols without any ordering guarantees.
0
0
6
Introducing Themis, our new fair ordering consensus protocol. Themis offers the same strong ordering property as Aequitas, but is substantially more practical. Joint work w/ @crypto_gakusei, @dailinsubjam, @AriJuels, and @sreeramkannan . Full Paper:
eprint.iacr.org
We introduce Themis, a scheme for introducing fair ordering of transactions into (permissioned) Byzantine consensus protocols with at most $f$ faulty nodes among $n \geq 4f +1$. Themis enforces the...
2
13
68
RT @initc3org: New IC3 Blog Post- Order-Fair Consensus: Reducing MEV at the Consensus Layer.by @_mahimna .This is the first in a series ofā¦.
medium.com
by Mahimna Kelkar
0
18
0
RT @initc3org: Session 1.3 - Stronger Security.Themis: Fast, Strong Order-Fairness in Byzantine Consensus.by @_mahimna, @crypto_gakusei, @dā¦.
0
2
0
RT @KushalBabel: Decentralized Finance š¤ Formal Methods. Excited to release, Clockwork Finance: Automated Analysis of Economic Security inā¦.
eprint.iacr.org
We introduce the Clockwork Finance Framework (CFF), a general purpose, formal verification framework for mechanized reasoning about the economic security properties of composed decentralized-finance...
0
45
0
All I'll say is wait for a couple weeks for some new workš¤«.
Lately, esp. given liveness issues in L1s (low latency, low uptime), I think of MEV as much as an economic issue as a UX issue ā you can't reduce it without reducing liveness/p95 & p99 latency. FSS papers by @_mahimna, et. al are v. cool but have *really* bad latency guarantees.
1
1
12