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)

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)

Strengthening Recursive Constructions for Zero-Error Shannon Capacity

Authors: Tandon, Ravi

Subject Terms: Information Theory, Machine Learning, Combinatorics

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

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

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

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-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

On the Applications of the Recursive Property of the Zero-Suppressed Binary Decision Diagram

Authors: Lim Brian Godwin Sy

Subject Terms: combinatorial problems, discrete optimization, path survival reliabilities, recursive algorithms, statistical moments, zero-suppressed binary decision diagram

File Description: application/pdf

Access URL: https://ndlsearch.ndl.go.jp/books/R100000039-I14550516

Degree: 博士（工学） -- 奈良先端科学技術大学院大学

Recursive zero coprime equivalence of nD polynomial matrices

Authors: Dongmei Li, Zuo Chen

Source: IMA Journal of Mathematical Control and Information. 42

Structured Prompt Interrogation and Recursive Extraction of Semantics (SPIRES): a method for populating knowledge bases using zero-shot learning

Authors: Caufield, J Harry, Hegde, Harshad, Emonet, Vincent, Harris, Nomi L, Joachimiak, Marcin P, Matentzoglu, Nicolas, Kim, HyeongSik, Moxon, Sierra, Reese, Justin T, Haendel, Melissa A, Robinson, Peter N, Mungall, Christopher J

Source: Bioinformatics. 40(3)

Subject Terms: 4605 Data Management and Data Science (for-2020), 46 Information and Computing Sciences (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), Generic health relevance (hrcs-hc), Semantics (mesh), Knowledge Bases (mesh), Databases, Factual (mesh), Semantics (mesh), Databases, Factual (mesh), Knowledge Bases (mesh), Semantics (mesh), Knowledge Bases (mesh), Databases, Factual (mesh), 01 Mathematical Sciences (for), 06 Biological Sciences (for), 08 Information and Computing Sciences (for), Bioinformatics (science-metrix), 31 Biological sciences (for-2020), 46 Information and computing sciences (for-2020), 49 Mathematical sciences (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/7b51j34r
https://escholarship.org/content/qt7b51j34r/qt7b51j34r.pdf

A survey of folding-based zero-knowledge proofs

Authors: Sakwa, Cyprian Omukhwaya ^{a, ⁎}, Anyembe, Andrew Omala ^a, Li, Fagen ^b

Source: In Information Sciences January 2026 724

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

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

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

A Constant-Sample-Complexity Recursive Argument-Principle Certificate for Riemann Zeta Zeros

Authors: Bluteau, Ryan

A Constant-Complexity Recursive Argument-Principle Certificate for Riemann Zeta Zeros

Authors: Bluteau, Ryan