Benjamin E. DIAMOND

I'm a

I earned my PhD in math in 2017 from Johns Hopkins, where I studied algebraic geometry. I was advised by Steven Zucker and Caterina Consani. I worked for a few years as a cryptographer, focusing on zero-knowledge proofs. I now work as a mathematician at Math, Inc., where I'm using autoformalization to advance research-level algebraic geometry.

Publications

Preprints

Diamond, B. E. (2026). Hodge structures in sextic fourfolds equipped with an involution. preprint.
Diamond, B. E. (2025). On the integral cohomology of Fano varieties of linear subspaces. preprint.
Diamond, B. E. & Gruen, A. (2025). On the distribution of the distances of random words. To appear in CRYPTO '26. preprint.

Published Papers

Diamond, B. E. & Posen, J. (2026). Polylogarithmic proofs for multilinears over binary towers. In: Daemen, J., Thomé, E. (eds) Advances in Cryptology – EUROCRYPT 2026. conference version, full version.
Diamond, B. E. & Posen, J. (2025). Succinct arguments over towers of binary fields. In: Fehr, S., Fouque, PA. (eds) Advances in Cryptology – EUROCRYPT 2025. conference version, full version.
Diamond, B. E. & Gruen, A. (2025). Proximity gaps in interleaved codes. Communications in Cryptology, 1(4). open access, full version.
Diamond, B. E. & Posen, J. (2024). Proximity testing with logarithmic randomness. Communications in Cryptology, 1(1). open access, full version.
Diamond, B. E. & Yehudayoff, A. (2022). Explicit exponential lower bounds for exact hyperplane covers. Discrete Mathematics, 345(11), 113114. article, preprint.
Diamond, B. E. (2021). Many-out-of-many proofs and applications to Anonymous Zether. IEEE Symposium on Security and Privacy, 1800–1817. article, preprint.
Diamond, J. M., Diamond, B. E., Trotta, M. S., Dembny, K., Inati, S K., & Zaghloul, K. A. (2021). Travelling waves reveal a dynamic seizure source in human focal epilepsy. Brain: a journal of neurology, 144(6), 1751–1765. open access.
Diamond, B. E. (2018). Smooth surfaces in smooth fourfolds with vanishing first Chern class. Journal of Pure and Applied Algebra, 225(5), 1164–1188. article, preprint.

Talks

Proofs and Codes Day (Cornell Tech). On the distribution of the distances of random words (Dec. 2025).
ZK Study Club. Reed–Solomon proximity gaps & disproving existing conjectures (Dec. 2025).
ZK Study Club. Polylogarithmic proofs for multilinears over binary towers (Jun. 2024).
ZK Study Club. Succinct arguments over towers of binary fields (Jan. 2024).
RISC Zero Study Club. Proximity gaps and applications to succinct proofs (Oct. 2023).
Columbia University Cryptography Seminar. Many-out-of-many proofs: A new zero-knowledge proof protocol (Nov. 2019).

I'm a

Publications

Preprints

Published Papers

Talks

Education

Work Experience

Mighty is geometry;
joined with art, resistless.

I'm a

Publications

Preprints

Published Papers

Talks

Education

Work Experience

Mighty is geometry;joined with art, resistless.

Mighty is geometry;
joined with art, resistless.