Mahimna Kelkar Profile
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
Don't wanna be here? Send us removal request.
@_mahimna
Mahimna Kelkar
9 days
šŸ“£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
@_mahimna
Mahimna Kelkar
2 months
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
@_mahimna
Mahimna Kelkar
2 months
RT @AriJuels: Take My Ape is out! Try it at Own a Bored Ape for 15 minutes with one Ethereum transaction. Owner….
0
29
0
@_mahimna
Mahimna Kelkar
8 months
RT @initc3org: NEW: IC3 researchers present Liquefaction — a wallet platform that redefines private key control in crypto. Liquefaction al….
0
22
0
@_mahimna
Mahimna Kelkar
9 months
RT @initc3org: Prof. @ittayeyal, @mskd96, and @_mahimna also evaluate other authentication mechanisms and propose solutions to enhance secu….
Tweet card summary image
initc3org.medium.com
by Deepak Maram (Mysten Labs, IC3 Alum), Mahimna Kelkar (Cornell Tech, IC3) & Ittay Eyal (Technion, IC3)
0
3
0
@_mahimna
Mahimna Kelkar
2 years
RT @AriJuels: Without decentralization, a DAO is just an AO. But what does decentralization really mean for a DAO?. New blog post: The ā€˜D’….
Tweet card summary image
initc3org.medium.com
Popular notions of DAO decentralization have left DAO projects flying blind.
0
45
0
@_mahimna
Mahimna Kelkar
2 years
RT @AriJuels: Our new paper on DAOs has two main findings:.(1) Common ways to measure decentralization today leave DAOs flying blind. A new….
0
110
0
@_mahimna
Mahimna Kelkar
2 years
RT @AriJuels: Increasingly complex DeFi means increasingly complex MEV risks. Lanturn, led by @KushalBabel and @mojan_jp, uses adaptive lea….
0
23
0
@_mahimna
Mahimna Kelkar
2 years
RT @AriJuels: TEEs / trusted hardware are in theory a perfect complement to blockchains. But security concerns have slowed adoption. The S….
Tweet card summary image
initc3org.medium.com
v1.0
0
62
0
@_mahimna
Mahimna Kelkar
2 years
RT @initc3org: New Research!TEEs are a growing part of block-building supply chains in today's #blockchains, but past vulnerabilities raise….
Tweet card summary image
link.medium.com
v1.0
0
8
0
@_mahimna
Mahimna Kelkar
2 years
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….
Tweet card summary image
initc3org.medium.com
by Kushal Babel, Yan Ji, Ari Juels, and Mahimna Kelkar
0
75
0
@_mahimna
Mahimna Kelkar
3 years
RT @AriJuels: We introduce new notion in cryptography of *Complete Knowledge* (CK) in blog post and paper released today. @KushalBabel @Vit….
Tweet card summary image
medium.com
by James Austgen, Kushal Babel, Vitalik Buterin, Phil Daian, Ari Juels and Mahimna Kelkar
0
110
0
@_mahimna
Mahimna Kelkar
4 years
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.
Tweet media one
@initc3org
IC3
4 years
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
@_mahimna
Mahimna Kelkar
4 years
@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
@_mahimna
Mahimna Kelkar
4 years
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:
Tweet card summary image
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
@_mahimna
Mahimna Kelkar
4 years
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….
Tweet card summary image
medium.com
by Mahimna Kelkar
0
18
0
@_mahimna
Mahimna Kelkar
4 years
RT @initc3org: Session 1.3 - Stronger Security.Themis: Fast, Strong Order-Fairness in Byzantine Consensus.by @_mahimna, @crypto_gakusei, @d….
0
2
0
@_mahimna
Mahimna Kelkar
4 years
RT @KushalBabel: Decentralized Finance šŸ¤ Formal Methods. Excited to release, Clockwork Finance: Automated Analysis of Economic Security in….
Tweet card summary image
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
@_mahimna
Mahimna Kelkar
4 years
All I'll say is wait for a couple weeks for some new work🤫.
@tarunchitra
Tarun Chitra
4 years
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