I'm a Postdoc Researcher at Stanford University, advised by Prof. Dan Boneh. Previously, I was the Chief Cryptographer at Espresso Systems.

LatticeFold: The first lattice-based folding scheme ([BCLMS20], [KST21]) for NP statements that is post-quantum secure and naturally leads to efficient recursive SNARKs and PCDs. The estimated performance is competitive with the top pre-quantum folding schemes.
HyperPlonk: A SNARK that is specifically designed for proving large complex statements. It removes the requirment for FFTs which makes HyperPlonk more scalable and parallelizable. It also enables high-degree custom gates for complex circuits, such as ZKEVMs.
Implementations: EspressoSys; Ethereum Foundation; and an adapted version from Ulvetanna based on Binius.
Protostar: A generic and highly efficient folding scheme for any relations that can be proved via special-sound protocols. It leads to an efficient IVC scheme for non-uniform computation that supports high-degree custom gates and table lookups.
Blog post and Implementations from Geometry Research.
• BaseFold: A multilinear polynomial commitment scheme with polylogarithmic verifier and proof size, that can be instantiated over almost any fields. This enables more flexible options for selecting fields for SNARK instantiations. E.g., it leads to a SNARK for proving ECDSA signature verification that is more than 20x faster than the state-of-the-art.
  Proof-of-Concept Implementation; Blog post from LambdaClass; A variant that supports binary fields.

• Blaze: A multilinear polynomial commitment over binary fields with strictly linear-time prover and polylogarithmic verifier. For large computation instances, Blaze's prover speed is similar to the fastest SNARK in the literature such as Brakedown, while achieving 10x smaller proof/verification.

• Optimal Memory-Hardness of Scrypt: Scrypt is a popular password hash function. We formally prove that it is optimally memory hard. Informally speaking, the attacker cannot break the password hashing scheme even if it is equipped with highly parallelized and optimized hardwares (e.g. ASICs). The result won the Best Paper Award at EUROCRYPT 2017.

1. Blaze: Fast SNARKs from Interleaved RAA Codes (link)
   Martijn Brehm, Binyi Chen, Ben Fisch, Nicolas Resch, Ron D. Rothblum, Hadas Zeilberger
   In Submission.
2. LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems (link)
   Dan Boneh, Binyi Chen
   In Submission.
3. VerITAS: Verifying Image Transformations at Scale (link)
   * Trisha Datta, Binyi Chen, Dan Boneh
   S&P 2025.
4. The Espresso Sequencing Network: HotShot Consensus, Tiramisu Data-Availability, and Builder-Exchange (link)
   SBC 2024.
   
5. Mangrove: A Scalable Framework for Folding-based SNARKs (link)
   * Wilson Nguyen, Trisha Datta, Binyi Chen, Nirvan Tyagi, Dan Boneh
   CRYPTO 2024.
6. BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes (link)
   * Hadas Zeilberger, Binyi Chen, Ben Fisch
   CRYPTO 2024.
7. LatticeGen: A Cooperative Framework which Hides Generated Text in a Lattice for Privacy-Aware Generation on Cloud (link)
   * Mengke Zhang, Tianxing He, Tianle Wang, Lu Mi, Fatemehsadat Mireshghallah, Binyi Chen, Hao Wang, Yulia Tsvetkov
   NAACL 2024.
8. ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols (link)
   Benedikt Bünz, Binyi Chen
   ASIACRYPT 2023.
9. Hyperplonk: Plonk with linear-time prover and high-degree custom gates (link)
   * Binyi Chen, Benedikt Bünz, Dan Boneh, Zhenfei Zhang
   EUROCRYPT 2023.
10. VeriZexe: Decentralized Private Computation with Universal Setup (link)
    * Alex Xiong, Binyi Chen, Zhenfei Zhang, Benedikt Bünz, Ben Fisch, Fernando Krell, Philippe Camacho
    USENIX Security 2023.
11. Continuous space-bounded non-malleable codes from stronger proofs-of-space (link)
    Binyi Chen, Yilei Chen, Kristina Hostakova, Pratyay Mukherjee
    CRYPTO 2019.
12. Memory-hard functions from cryptographic primitives (link)
    Binyi Chen, Stefano Tessaro
    CRYPTO 2019.
13. Scrypt is maximally memory-hard (link)
    Joël Alwen, Binyi Chen, Krzysztof Pietrzak, Leonid Reyzin, Stefano Tessaro
    EUROCRYPT 2017 (Best Paper Award).
14. On the complexity of scrypt and proofs of space in the parallel random oracle model (link)
    Joël Alwen, Binyi Chen, Chethan Kamath, Vladimir Kolmogorov, Krzysztof Pietrzak, Stefano Tessaro
    EUROCRYPT 2016.
15. Oblivious parallel RAM: improved efficiency and generic constructions (link)
    Binyi Chen, Huijia Lin Stefano Tessaro
    TCC 2016-A.
16. Mechanism design for daily deals (link)
    * Binyi Chen, Tao Qin Tie-Yan Liu
    AAMAS 2015.
17. K-anonymous Signaling Scheme (link)
    * Binyi Chen, Tao Qin Tie-Yan Liu
    arXiv 2013.
18. Collaborative topic regression with social regularization for tag recommendation (link)
    * Hao Wang, Binyi Chen, Wu-Jun Li
    IJCAI 2013.

• LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems (short slides, long slides)
  • at The Science of Blockchain Conference, Aug 2024 (link)
  • at ZK Study Club, Jun 2024 (link)
  • at UCSD, Theory Seminar, May 2024
  • at CMU, Cylab Crypto Seminar, May 2024 (link)
  • at UT-Austin, Crypto Seminar, May 2024
  • at Northwestern University, Crypto Seminar, Apr 2024
  • at NTT Research, CIS Seminar, Apr 2024
  • at Stanford University, Security Seminar, Apr 2024
  • at Privacy & Scaling Explorations, Apr 2024
• BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes (slides)
  • at University of California, Berkleley, Crypto Seminar, Feb 2024
  • at Privacy & Scaling Explorations (supported by Ethereum Foundation), Feb 2024 (link)
  • at Stanford University, Crypto Reading Group, Jan 2024
• ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols (slides)
  • at Bay Area Crypto Day, 2023
  • at Stanford Blockchain Conference, 2023
  • at ZK Study Club, 2023 (link)
  • at Privacy & Scaling Explorations (supported by Ethereum Foundation), 2023 (link)
• Hyperplonk: Plonk with linear-time prover and high-degree custom gates (slides)
  • at New York University, Crypto Seminar, 2023
  • at ZK Study Club, 2022 (link)
  • at University of California, Berkleley, Zero Knowledge Proof Workshop (affiliated with CESC), 2022
• Scrypt is maximally memory-hard (slides)
  • at EUROCRYPT Best Paper Award Talk, 2017
• On the complexity of scrypt and proofs of space in the parallel random oracle model
  • at EUROCRYPT 2016
• Oblivious parallel RAM: improved efficiency and generic constructions
  • at TCC 2016-A