Background & Biography
Eli Ben-Sasson’s professional story begins with theoretical computer science and the question of how to check a computation without repeating all of it. He earned his PhD at the Hebrew University of Jerusalem in 2001. His academic record includes research at Harvard, MIT and the Institute for Advanced Study, as well as a professorship at the Technion. These affiliations place his later blockchain work within a longer research tradition in proofs, complexity and cryptography. The important continuity is the move from mathematical verification problems to systems intended for practical use.
He helped establish StarkWare as a company able to turn proof-system research into software infrastructure. After serving as its president, he took over as CEO in January 2024, succeeding co-founder Uri Kolodny. StarkWare’s current management page confirms the co-founder and CEO role and lists its company location in Netanya, Israel. Israel is used here as his primary professional market, rather than as an inference about private residence. His influence nevertheless reaches an international research and developer community through published papers, software and public technical discussions.
In 2019, the Technion brought an intellectual-property lawsuit against Ben-Sasson and StarkWare. CTech’s contemporary report said the university alleged that he had commercialized academic research without complying with its rules; his legal representatives denied that StarkWare was using an invention belonging to the university. In June 2020, Shibolet, a law firm representing the Technion, announced that the dispute had reached a settlement. The reviewed sources do not establish the settlement’s financial terms or a judicial finding that the allegations were proved.
Source note: This summary reports the cited public records and their stated outcomes. Katharos.ai does not endorse the conduct or positions described and has not independently adjudicated the underlying allegations.
Notable Contributions
Ben-Sasson is one of seven authors of the 2014 Zerocash paper, alongside Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer and Madars Virza. The work described a payment construction that used zero-knowledge proofs to conceal transaction information while allowing verification of the payment rules. It belongs to the research lineage behind Zcash, where Ben-Sasson was a founding scientist. These are collaborative scientific contributions, not grounds to describe him as the sole inventor of zero-knowledge proofs or the sole creator of the resulting currency. [The original project’s paper page](https://zerocash-project.org/paper) documents the authors and construction.
His STARK work is another distinct contribution. The 2018 paper Scalable, transparent, and post-quantum secure computational integrity names Ben-Sasson, Iddo Bentov, Yinon Horesh and Michael Riabzev as authors. Its objective was to make verification efficient while avoiding a trusted setup containing secret information that could undermine the proof system. In this context, transparency describes the setup assumptions; it does not mean that all private information must be exposed. The paper’s security analysis is about the cryptographic construction and should not be stretched into a guarantee that every blockchain component or application using it is secure against every attack.
The same four researchers authored the FRI paper published at ICALP in 2018. FRI provides an efficient way to test the algebraic structure used within proof systems, helping make large computations practical to verify. For a general reader, its relevance is that improvements to these underlying checks can reduce the work required by proving and verification software. This is a named, inspectable research result, rather than a company marketing label. Together, the STARK and FRI papers explain why Ben-Sasson’s influence extends beyond his position at StarkWare.
StarkWare’s organizational contribution has been to take such ideas into production systems. Its prover technology was being used with StarkEx applications from June 2020, and Starknet Alpha reached mainnet in November 2021. StarkEx and Starknet serve different deployment models, with Starknet providing a general environment for developers to build applications. The company’s work also includes the Cairo programming environment and the tooling surrounding proof generation. Those implementations belong to teams of researchers and engineers; an executive’s research pedigree should not erase their technical authorship.
Subsequent releases show that this is an evolving system rather than a finished scientific demonstration. In November 2025, Starknet announced that the open-source S-two prover, also known as Stwo, was live on mainnet and replacing Stone. The announcement establishes a deployment milestone, while comparative claims about proving speed still depend on benchmark conditions. In June 2026, Starknet separately announced an initial phase of STRK20 privacy functionality through supported wallets. That distinction matters: using validity proofs to verify a public network does not, by itself, make every transaction private. [The mainnet prover announcement](https://www.starknet.io/blog/s-two-is-live-on-starknet-mainnet-the-fastest-prover-for-a-more-private-future/) and [privacy launch account](https://www.starknet.io/blog/privacy-live-on-starknet/) describe different capabilities.
Why Katharos.ai Follows Eli Ben-Sasson
Ben-Sasson occupies an unusually direct position between foundational research and infrastructure leadership. His papers help establish what a proof system can do, while his company must confront implementation costs, upgrades, developer experience and operational responsibilities. Katharos.ai follows that connection because a mathematically persuasive design becomes economically and socially relevant only when people can use it under real conditions. Published research and shipping software are both important evidence, but they answer different questions.
His Bitcoin advocacy illustrates why conditional language is essential. In a June 2024 essay, he proposed extending Starknet’s settlement model to Bitcoin and tied the described approach to potential adoption of OP_CAT. This was a publicly stated direction and research commitment, not evidence that Bitcoin had implemented the proposed change. BIP 347 identifies its own authors and describes a soft-fork specification; its existence should not be read as activation. Ben-Sasson’s advocacy can influence debate while leaving implementation and acceptance dependent on a much wider community.
Post-quantum security presents a similar distinction between strong components and a complete system. StarkWare’s June 2026 roadmap describes advantages of STARK-based proving while explicitly identifying remaining migration work and dependencies on Ethereum’s bridge and data-availability infrastructure. It also says that protocol changes are subject to Starknet governance. Katharos.ai therefore treats that document as a roadmap with technical dependencies, rather than a certification that every relevant part of Starknet is already quantum-resistant. The meaningful questions concern completed migrations, compatibility and independently inspectable security assumptions.
Areas to Follow
• Proof-system research: published advances, named contributors, security assumptions and reproducible benchmarks, including how changes affect practical proving costs.
• Production infrastructure: Stwo and Cairo development, network reliability, upgrade processes and the relationship between faster proving and end-user experience.
• Privacy deployment: which STRK20 capabilities are actually available through which applications, and what information or metadata their designs expose.
• Decentralization: verified changes in who can operate, validate or prove the network, separated from roadmap dates and broad promotional descriptions.
• Bitcoin and quantum proposals: the difference between research, specifications, governance decisions, testing and activated functionality.
Reporting Scope
Coverage focuses on Ben-Sasson’s documented public research, executive responsibilities, technical arguments and relevant infrastructure developments. A paper’s authorship is reported from the paper; company or ecosystem releases are attributed to the organizations responsible for them. StarkWare and the Starknet Foundation are distinct institutions, and an executive statement does not automatically establish a network-governance decision. Open-source availability also does not prove that operational control has been fully decentralized.
Katharos.ai does not infer private wealth, token holdings or personal investments from corporate fundraising or network activity. This profile is editorial information, not investment, legal or financial advice, and inclusion does not constitute an endorsement by Katharos.ai or by the person profiled. Sources and public roles were checked on October 6, 2026. Technical capabilities and governance status can change and should be rechecked when used for a specific decision.
Areas of Influence
Exchanges & Infrastructure is Ben-Sasson’s primary category because his research and company work concern verification, scaling and application infrastructure. Investment & Founders reflects his role in establishing and leading StarkWare, without implying a disclosed personal portfolio. Community, Media & Education captures the influence of his papers, technical talks and public explanations on how developers understand proof systems. His significance is best assessed through that combination of scientific record, implementation evidence and the limits he and his organizations still need to address.