Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field. - Jonathan Bootle; Alessandro Chiesa; Ziyi Guan 001; Siqi Liu 005 (IACR Cryptol. ePrint Arch., 2022)

Depth-3 Circuits for Inner Product. - Mika Göös; Ziyi Guan 001; Tiberiu Mosnoi (MFCS, 2023)

Concrete Security for Succinct Arguments from Vector Commitments. - Alessandro Chiesa; Marcel Dall'Agnol; Ziyi Guan 001; Nicholas Spooner (IACR Cryptol. ePrint Arch., 2023)

On Parallel Repetition of PCPs. - Alessandro Chiesa; Ziyi Guan 001; Burcu Yildiz (ITCS, 2024)

Quantum and Classical Communication Complexity of Permutation-Invariant Functions. - Ziyi Guan 001; Yunqi Huang; Penghui Yao; Zekun Ye (STACS, 2024)

Untangling the Security of Kilian's Protocol: Upper and Lower Bounds. - Alessandro Chiesa; Marcel Dall'Agnol; Ziyi Guan 001; Nicholas Spooner; Eylon Yogev (TCC (1), 2024)

Security Bounds for Proof-Carrying Data from Straightline Extractors. - Alessandro Chiesa; Ziyi Guan 001; Shahar Samocha; Eylon Yogev (TCC (2), 2024)

Generalised Linial-Nisan Conjecture Is False for DNFs. - Yaroslav Alekseev; Mika Göös; Ziyi Guan 001; Gilbert Maystre; Artur Riazanov; Dmitry Sokolov 001; Weiqiang Yuan 002 (CCC, 2025)

Breaking Verifiable Delay Functions in the Random Oracle Model. - Ziyi Guan 001; Artur Riazanov; Weiqiang Yuan 002 (CRYPTO (7), 2025)

Relativized Succinct Arguments in the ROM do not Exist. - Annalisa Barbara; Alessandro Chiesa; Ziyi Guan 001 (TCC (1), 2025)

Quantum Rewinding for IOP-Based Succinct Arguments. - Alessandro Chiesa; Marcel Dall'Agnol; Zijing Di; Ziyi Guan 001; Nicholas Spooner (TCC (3), 2025)

All Polynomial Generators Preserve Distance with Mutual Correlated Agreement. - Sarah Bordage; Alessandro Chiesa; Ziyi Guan 001; Ignacio Manzur (IACR Cryptol. ePrint Arch., 2025)

On the Fiat-Shamir Security of Succinct Arguments from Functional Commitments. - Alessandro Chiesa; Ziyi Guan 001; Christian Knabenhans; Zihan Yu (IACR Cryptol. ePrint Arch., 2025)

SNARGs for NP from LWE. - Ziyi Guan 001; Eylon Yogev (IACR Cryptol. ePrint Arch., 2025)

Accelerating Scientific Research with Gemini: Case Studies and Common Techniques. - David P. Woodruff; Vincent Cohen-Addad; Lalit Jain; Jieming Mao; Song Zuo; MohammadHossein Bateni; Simina Brânzei; Michael P. Brenner; Lin Chen 003; Ying Feng; Lance Fortnow; Gang Fu; et al. (CoRR, 2026)