SUMMER: Recursive Zero-Knowledge Proofs for Scalable RNN Training

Authors: Li, Yuange, Fan, Xiong

Source: 2026 IEEE 11th European Symposium on Security and Privacy (EuroS&P) EUROSP Security and Privacy (EuroS&P), 2026 IEEE 11th European Symposium on. :99-117 Jul, 2026

Relation: 2026 IEEE 11th European Symposium on Security and Privacy (EuroS&P)

Guppy: Efficient Light Clients via Recursive Zero-Knowledge Proofs

Authors: Danezis, George, Maram, Deepak, Roy, Arnab, Sonnino, Alberto, Wüst, Karl

Subject Terms: Cryptography and Security

Access URL: https://arxiv.org/abs/2609.07963

RzkFL: a Verifiable, Fast and Privacy-Preserving Framework for Federated Learning Inference Using Recursive Zero-Knowledge Proofs and on-Chain Verification

Authors: Alipanahloo, Zeinab, Duchesne, Michael, Zhang, Kaiwen

Source: 2025 IEEE International Conference on Blockchain (Blockchain) BLOCKCHAIN Blockchain (Blockchain), 2025 IEEE International Conference on. :141-150 Oct, 2025

Relation: 2025 IEEE International Conference on Blockchain (Blockchain)

Multi-chain Storage Scheme Based on Hash Calendar and Recursive Zero-knowledge Proof

Authors: Wang, Chao, Yao, Zhongyuan, Zhang, Yong, Guo, Shangkun, Zhao, Lindong, Si, Xueming

Source: 2022 2nd International Conference on Computer Science and Blockchain (CCSB) CCSB Computer Science and Blockchain (CCSB), 2022 2nd International Conference on. :66-72 Oct, 2022

Relation: 2022 2nd International Conference on Computer Science and Blockchain (CCSB)

HaloMed: Efficient Recursive Zero-Knowledge Proofs Using Pasta Curves for Privacy-Preserving Healthcare Data Verification

Authors: Linda Handayani, Eri P. Wibowo, Avinanta Tarigan, Asep Juarna

Source: Journal of Advances in Information Technology. 17:352-366

ERSF-AS: Explainable recursive zero-shot anomaly segmentation with spatial-frequency priors via CLIP-SAM collaboration

Authors: Ju, Cheng, Xie, Yuansha, Wang, Zhongrong, Zhao, Yu, Yan, Wenyao

Source: In Neurocomputing 28 September 2026 695

Recursive Zero-COVID model and quantitation of control efforts of the Omicron epidemic in Jilin province

Authors: Rong, Xinmiao ^a, Chu, Huidi ^b, Yang, Liu ^b, Tan, Shaosi ^b, Yang, Chao ^b, Yuan, Pei ^c, Tan, Yi ^c, Zhou, Linhua ^f, Liu, Yawen ^d, Zhen, Qing ^d, Wang, Shishen ^e, Fan, Meng ^{b, ∗}, Zhu, Huaiping ^c

Source: In Infectious Disease Modelling March 2023 8(1):11-26

Stochastic Recursive Zero-Sum Differential Game and Mixed Zero-Sum Differential Game Problem with Payoff Functional in BDSDES

Authors: Jia, Renwei, Wei, Lifeng, Liu, Xiaodong

Source: 2020 IEEE 3rd International Conference of Safe Production and Informatization (IICSPI) Safe Production and Informatization (IICSPI), 2020 IEEE 3rd International Conference of. :337-342 Nov, 2020

Relation: 2020 IEEE 3rd International Conference of Safe Production and Informatization (IICSPI)

Recursive zero coprime equivalence of nD polynomial matrices

Authors: Dongmei Li, Zuo Chen

Source: IMA Journal of Mathematical Control and Information. 42

SUMMER: Recursive Zero-Knowledge Proofs for Scalable RNN Training

Authors: Yuange Li, Xiong Fan

Source: IACR Cryptol. ePrint Arch.. 2025

Access URL: https://eprint.iacr.org/2025/1688

Recursive Zero-COVID Model and Quantitation of Control Efforts of the Omicron Epidemic in Jilin Province

Authors: Xinmiao Rong, Huidi Chu, Liu Yang, Shaosi Tan, Chao Yang, Pei Yuan, Yi Tan, Linhua Zhou, Yawen Liu, Qing Zhen, Shishen Wang, Meng Fan, Huaiping Zhu

Source: Infect Dis Model
Infectious Disease Modelling, Vol 8, Iss 1, Pp 11-26 (2023)

Subject Terms: 0301 basic medicine, 0303 health sciences, 03 medical and health sciences, Control reproduction number, Quantitation of control efforts, Omicron variant, Infectious and parasitic diseases, RC109-216, Recursive Zero-COVID Model, Basic reproduction number, Article, Elimination of cases at the community level, 3. Good health

Access URL: https://pubmed.ncbi.nlm.nih.gov/36582747
https://doaj.org/article/79945652b4ba45b4af84383950f90870

Stochastic Recursive Zero-sum Differential Games under Model Uncertainty

Authors: Yan Li, Lifeng Wei

Source: Highlights in Science, Engineering and Technology. 1:363-369

Subject Terms: 0209 industrial biotechnology, 02 engineering and technology

00: The Recursive Zero and the Layered Abstraction of Number

Authors: Bolter, Barry Brian

Contributors: Bolter, Barry Brian

Subject Terms: Double zero (00), Programming Languages (Semantics, Type Systems), Foundations of Mathematics, Zero asymmetry, Theory of Computation, Recursive Representation Models, Mathematical abstraction, Formal systems, Recursive computation, Closure and abstraction, Ontology of Abstraction, Philosophy of Mathematics, Logic and Set Theory, Meta-neutral element, Formal Languages and Automata Theory, Symbolic Reasoning, Number Theory (Non-standard number systems), Automata theory, Type theory, Structural recursion, Symbolic logic, Computational logic, Recursive mathematics, Logic boundary, Recursive zero, Non-standard number systems

Stochastic Recursive Zero-sum Differential Games with Payoff Functional in BDSDEs under Model Uncertainty

Authors: Yanjun Wei, Lifeng Wei

Source: Highlights in Science, Engineering and Technology. 1:377-383

Subject Terms: 0209 industrial biotechnology, 02 engineering and technology

Sovereign-Mohawk: A Formally Verified 10M-Node Federated Learning Architecture with Byzantine Resilience, Differential Privacy, and Recursive Zero-Knowledge Verifiability

Authors: Williams, Ryan

Nova: Recursive Zero-Knowledge Arguments from Folding Schemes

Authors: Abhiram Kothapalli, Srinath T. V. Setty, Ioanna Tzialla

Source: Lecture Notes in Computer Science ISBN: 9783031159848

Access URL: https://eprint.iacr.org/2021/370

A kind of stochastic recursive Zero-Sum differential game problem with double obstacles constraint

Authors: Zhen Wu, Zhenda Xu

Source: Communications in Statistics - Theory and Methods. 49:5356-5370

Subject Terms: 0209 industrial biotechnology, 02 engineering and technology, 0101 mathematics, 01 natural sciences

Recursive Zero-Sum Stochastic Differential Game

Authors: Wei, L., Wu, Z.

Source: 2008 International Conference on Intelligent Computation Technology and Automation (ICICTA) Intelligent Computation Technology and Automation (ICICTA), 2008 International Conference on. 2:998-1001 Oct, 2008

Relation: 2008 International Conference on Intelligent Computation Technology and Automation (ICICTA)

Time-inconsistent recursive zero-sum stochastic differential games

Authors: Wei, Qingmeng, Yu, Zhiyong

Source: Mathematical Control and Related Fields. 8:1051-1079

Subject Terms: 0209 industrial biotechnology, stochastic differential game, Optimal feedback synthesis, 02 engineering and technology, 0101 mathematics, equilibrium saddle point, equilibrium Hamilton-Jacobi-Bellman-Isaacs equation, recursive criterion functional, 01 natural sciences, time-inconsistency, Differential games and control, Stochastic ordinary differential equations (aspects of stochastic analysis)

File Description: application/xml

Access URL: https://www.aimsciences.org/article/exportPdf?id=eebda604-00e0-4454-a808-934c515e076e

Towards Trustworthy Digital Twins: Verifiable Simulation via Recursive Zero-Knowledge Proofs

Authors: Homaei, Mohammadhossein, Moradi, Fatemeh, Tarif, Mehran, Molano, Ruben, Rodríguez, Pablo García, Avila, Mar

Source: 2026 Fourth International Conference on Distributed Computing and High Performance Computing (DCHPC) ; page 1-6

Availability: https://doi.org/10.1109/dchpc69296.2026.11517255
http://xplorestaging.ieee.org/ielx8/11517202/11517234/11517255.pdf?arnumber=11517255