E
Eli Ben-Sasson
Researcher at Technion – Israel Institute of Technology
Publications - 177
Citations - 7959
Eli Ben-Sasson is an academic researcher from Technion – Israel Institute of Technology. The author has contributed to research in topics: Mathematical proof & Proof complexity. The author has an hindex of 42, co-authored 174 publications receiving 6844 citations. Previous affiliations of Eli Ben-Sasson include Harvard University & Massachusetts Institute of Technology.
Papers
More filters
Journal ArticleDOI
Short proofs are narrow—resolution made simple
Eli Ben-Sasson,Avi Wigderson +1 more
TL;DR: This paper relates proof width to proof length (=size), in both general Resolution, and its tree-like variant, and presents a family of tautologies on which it is exponentially faster.
Book ChapterDOI
SNARKs for C : verifying program executions succinctly and in zero knowledge
TL;DR: An argument system for NP is a proof system that allows efficient verification of NP statements, given proofs produced by an untrusted yet computationally-bounded prover as discussed by the authors.
Proceedings Article
Succinct non-interactive zero knowledge for a von Neumann architecture
TL;DR: A system that provides succinct noninteractive zero-knowledge proofs (zk-SNARKs) for program executions on a von Neumann RISC architecture and is the first to be universal: it does not need to know the program, but only a bound on its running time.
Posted Content
Scalable, transparent, and post-quantum secure computational integrity.
TL;DR: The first realization of a transparent ZK system (ZK-STARK) in which verification scales exponentially faster than database size is reported, and this exponential speedup in verification is observed concretely for meaningful and sequential computations, described next.
Posted Content
Zerocash: Decentralized Anonymous Payments from Bitcoin.
Eli Ben-Sasson,Alessandro Chiesa,Christina Garman,Matthew Green,Ian Miers,Eran Tromer,Madars Virza +6 more
TL;DR: In this paper, Wang et al. proposed a decentralized anonymous payment scheme (DAP) scheme, which enables users to directly pay each other privately: the corresponding transaction hides the payment's origin, destination, and transferred amount.