LatticeFold: A Lattice-Based Folding Scheme and Its Applications to Succinct Proof Systems.

Binyi Chen Dan Boneh Binyi Chen LatticeFold: A Lattice-Based Folding Scheme and Its Applications to Succinct Proof Systems. 330-362 2025 ASIACRYPT (3) https://doi.org/10.1007/978-981-95-5099-9_11 conf/asiacrypt/2025-3 db/conf/asiacrypt/asiacrypt2025-3.html#BonehC25 streams/conf/asiacrypt Binyi Chen Noel Elias David J. Wu 0001 Pairing-Based Batch Arguments for NP with a Linear-Size CRS. 554-577 2025 ASIACRYPT (5) https://doi.org/10.1007/978-981-95-5116-3_18 conf/asiacrypt/2025-5 db/conf/asiacrypt/asiacrypt2025-5.html#ChenEW25 streams/conf/asiacrypt Dan Boneh Binyi Chen LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems. 327-361 2025 CRYPTO (7) https://doi.org/10.1007/978-3-032-01907-3_11 conf/crypto/2025-7 db/conf/crypto/crypto2025-7.html#BonehC25 streams/conf/crypto Martijn Brehm Binyi Chen Ben Fisch Nicolas Resch Ron D. Rothblum Hadas Zeilberger Blaze: Fast SNARKs from Interleaved RAA Codes. 123-152 2025 EUROCRYPT (4) https://doi.org/10.1007/978-3-031-91134-7_5 conf/eurocrypt/2025-4 db/conf/eurocrypt/eurocrypt2025-4.html#BrehmCFRRZ25 streams/conf/eurocrypt Trisha Datta Binyi Chen Dan Boneh VerITAS: Verifying Image Transformations at Scale. 4606-4623 2025 SP https://doi.org/10.1109/SP61157.2025.00097 conf/sp/2025 db/conf/sp/sp2025.html#DattaCB25

Dan Boneh Binyi Chen LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems. 247 2025 2025 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2025/247 db/journals/iacr/iacr2025.html#BonehC25 streams/journals/iacr

Binyi Chen Noel Elias David J. Wu 0001 Pairing-Based Batch Arguments for NP with a Linear-Size CRS. 1323 2025 2025 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2025/1323 db/journals/iacr/iacr2025.html#ChenEW25 streams/journals/iacr

Binyi Chen Symphony: Scalable SNARKs in the Random Oracle Model from Lattice-Based High-Arity Folding. 1905 2025 2025 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2025/1905 db/journals/iacr/iacr2025.html#Chen25c streams/journals/iacr

Hadas Zeilberger Binyi Chen Ben Fisch BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes. 138-169 2024 CRYPTO (10) https://doi.org/10.1007/978-3-031-68403-6_5 conf/crypto/2024-10 db/conf/crypto/crypto2024-10.html#ZeilbergerCF24 streams/conf/crypto Wilson D. Nguyen Trisha Datta Binyi Chen Nirvan Tyagi Dan Boneh Mangrove: A Scalable Framework for Folding-Based SNARKs. 308-344 2024 CRYPTO (10) https://doi.org/10.1007/978-3-031-68403-6_10 conf/crypto/2024-10 db/conf/crypto/crypto2024-10.html#NguyenDCTB24 streams/conf/crypto Mengke Zhang Tianxing He Tianle Wang 0003 Lu Mi Niloofar Mireshghallah Binyi Chen Hao Wang 0014 Yulia Tsvetkov LatticeGen: Hiding Generated Text in a Lattice for Privacy-Aware Large Language Model Generation on Cloud. 2674-2690 2024 NAACL-HLT (Findings) https://doi.org/10.18653/v1/2024.findings-naacl.171 conf/naacl/2024f db/conf/naacl/naacl2024f.html#ZhangHWMMCWT24 streams/conf/naacl

Dan Boneh Binyi Chen LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems. 257 2024 2024 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2024/257 db/journals/iacr/iacr2024.html#BonehC24

Wilson D. Nguyen Trisha Datta Binyi Chen Nirvan Tyagi Dan Boneh Mangrove: A Scalable Framework for Folding-based SNARKs. 416 2024 2024 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2024/416 db/journals/iacr/iacr2024.html#NguyenDCTB24

Trisha Datta Binyi Chen Dan Boneh VerITAS: Verifying Image Transformations at Scale. 1066 2024 2024 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2024/1066 db/journals/iacr/iacr2024.html#DattaCB24 streams/journals/iacr

Jeb Bearer Benedikt Bünz Philippe Camacho Binyi Chen Ellie Davidson Ben Fisch Brendon Fish Gus Gutoski Fernando Krell Chengyu Lin 0006 Dahlia Malkhi Kartik Nayak Keyao Shen Alex Luoyuan Xiong Nathan Yospe The Espresso Sequencing Network: HotShot Consensus, Tiramisu Data-Availability, and Builder-Exchange. 1189 2024 2024 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2024/1189 db/journals/iacr/iacr2024.html#BearerBCCDFFGKLMNSXY24 streams/journals/iacr

Martijn Brehm Binyi Chen Ben Fisch Nicolas Resch Ron D. Rothblum Hadas Zeilberger Blaze: Fast SNARKs from Interleaved RAA Codes. 1609 2024 2024 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2024/1609 db/journals/iacr/iacr2024.html#BrehmCFRRZ24 streams/journals/iacr

Benedikt Bünz Binyi Chen Protostar: Generic Efficient Accumulation/Folding for Special-Sound Protocols. 77-110 2023 ASIACRYPT (2) https://doi.org/10.1007/978-981-99-8724-5_3 conf/asiacrypt/2023-2 db/conf/asiacrypt/asiacrypt2023-2.html#BunzC23 Binyi Chen Benedikt Bünz Dan Boneh Zhenfei Zhang HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates. 499-530 2023 EUROCRYPT (2) https://doi.org/10.1007/978-3-031-30617-4_17 conf/eurocrypt/2023-2 db/conf/eurocrypt/eurocrypt2023-2.html#ChenBBZ23 Alex Luoyuan Xiong Binyi Chen Zhenfei Zhang Benedikt Bünz Ben Fisch Fernando Krell Philippe Camacho VeriZexe: Decentralized Private Computation with Universal Setup. 2023 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity23/presentation/xiong conf/uss/2023 db/conf/uss/uss2023.html#XiongCZBFKC23 4445-4462

Mengke Zhang Tianxing He Tianle Wang 0003 Lu Mi Fatemehsadat Mireshghallah Binyi Chen Hao Wang 0014 Yulia Tsvetkov LatticeGen: A Cooperative Framework which Hides Generated Text in a Lattice for Privacy-Aware Generation on Cloud. 2023 abs/2309.17157 CoRR https://doi.org/10.48550/arXiv.2309.17157 db/journals/corr/corr2309.html#abs-2309-17157

Benedikt Bünz Binyi Chen ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols. 620 2023 2023 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2023/620 db/journals/iacr/iacr2023.html#BunzC23

Hadas Zeilberger Binyi Chen Ben Fisch BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes. 1705 2023 2023 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2023/1705 db/journals/iacr/iacr2023.html#ZeilbergerCF23

Alex Luoyuan Xiong Binyi Chen Zhenfei Zhang Benedikt Bünz Ben Fisch Fernando Krell Philippe Camacho VERI-ZEXE: Decentralized Private Computation with Universal Setup. 802 2022 2022 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2022/802 db/journals/iacr/iacr2022.html#XiongCZBFKC22

Binyi Chen Benedikt Bünz Dan Boneh Zhenfei Zhang HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates. 1355 2022 2022 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2022/1355 db/journals/iacr/iacr2022.html#ChenBBZ22

Binyi Chen Memory-Hard Functions: When Theory Meets Practice. University of California, Santa Barbara, USA 2019 https://www.escholarship.org/uc/item/7x4630qv Binyi Chen Yilei Chen 0001 Kristina Hostáková Pratyay Mukherjee Continuous Space-Bounded Non-malleable Codes from Stronger Proofs-of-Space. 467-495 2019 CRYPTO (1) https://doi.org/10.1007/978-3-030-26948-7_17 conf/crypto/2019-1 db/conf/crypto/crypto2019-1.html#ChenCHM19 Binyi Chen Stefano Tessaro Memory-Hard Functions from Cryptographic Primitives. 543-572 2019 CRYPTO (2) https://doi.org/10.1007/978-3-030-26951-7_19 conf/crypto/2019-2 db/conf/crypto/crypto2019-2.html#ChenT19

Binyi Chen Yilei Chen 0001 Kristina Hostáková Pratyay Mukherjee Continuous Space-Bounded Non-Malleable Codes from Stronger Proofs-of-Space. 552 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/552 db/journals/iacr/iacr2019.html#ChenCHM19

Joël Alwen Binyi Chen Krzysztof Pietrzak Leonid Reyzin Stefano Tessaro Scrypt Is Maximally Memory-Hard. 33-62 2017 EUROCRYPT (3) https://doi.org/10.1007/978-3-319-56617-7_2 conf/eurocrypt/2017-3 db/conf/eurocrypt/eurocrypt2017-3.html#AlwenCPRT17 Joël Alwen Binyi Chen Chethan Kamath Vladimir Kolmogorov Krzysztof Pietrzak Stefano Tessaro On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model. 358-387 2016 EUROCRYPT (2) https://doi.org/10.1007/978-3-662-49896-5_13 conf/eurocrypt/2016-2 db/conf/eurocrypt/eurocrypt2016-2.html#AlwenCKKPT16 Binyi Chen Huijia Lin Stefano Tessaro Oblivious Parallel RAM: Improved Efficiency and Generic Constructions. 205-234 2016 TCC (A2) https://doi.org/10.1007/978-3-662-49099-0_8 conf/tcc/2016a2 db/conf/tcc/tcc2016a2.html#ChenLT16

Joël Alwen Binyi Chen Chethan Kamath Vladimir Kolmogorov Krzysztof Pietrzak Stefano Tessaro On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model. 100 2016 2016 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2016/100 db/journals/iacr/iacr2016.html#AlwenCKKPT16

Joël Alwen Binyi Chen Krzysztof Pietrzak Leonid Reyzin Stefano Tessaro Scrypt is Maximally Memory-Hard. 989 2016 2016 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2016/989 db/journals/iacr/iacr2016.html#AlwenCPRT16

Binyi Chen Tao Qin 0001 Tie-Yan Liu Mechanism Design for Daily Deals. 327-335 2015 AAMAS http://dl.acm.org/citation.cfm?id=2772923 conf/atal/2015 db/conf/atal/aamas2015.html#ChenQL15

Binyi Chen Huijia Lin Stefano Tessaro Oblivious Parallel RAM: Improved Efficiency and Generic Constructions. 1053 2015 2015 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2015/1053 db/journals/iacr/iacr2015.html#ChenLT15

Hao Wang 0014 Binyi Chen Wu-Jun Li Collaborative Topic Regression with Social Regularization for Tag Recommendation. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/7006 http://ijcai.org/Abstract/13/400 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#WangCL13 2719-2725

Binyi Chen Tao Qin 0001 Tie-Yan Liu $K$-anonymous Signaling Scheme. 2013 CoRR http://arxiv.org/abs/1311.6638 abs/1311.6638 db/journals/corr/corr1311.html#ChenQL13

Joël Alwen Jeb Bearer Dan Boneh Martijn Brehm Benedikt Bünz Philippe Camacho Yilei Chen 0001 Trisha Datta Ellie Davidson Noel Elias Ben Fisch Brendon Fish Gus Gutoski Tianxing He Kristina Hostáková Chethan Kamath Vladimir Kolmogorov Fernando Krell Wu-Jun Li Chengyu Lin 0006 Huijia Lin Tie-Yan Liu Dahlia Malkhi Lu Mi Niloofar MireshghallahFatemehsadat Mireshghallah Pratyay Mukherjee Kartik Nayak Wilson D. Nguyen Krzysztof Pietrzak Tao Qin 0001 Nicolas Resch Leonid Reyzin Ron RothblumRon D. Rothblum Keyao Shen Stefano Tessaro Yulia Tsvetkov Nirvan Tyagi Hao Wang 0014 Tianle Wang 0003 David J. Wu 0001 Alex Luoyuan Xiong Nathan Yospe Hadas Zeilberger Mengke Zhang Zhenfei Zhang