English
Related papers

Related papers: Streaming Zero-Knowledge Proofs

200 papers

Having facilities such as being in text form, end-to-end connection establishment, and being independence from the type of transmitted data, SIP protocol is a good choice for signaling protocol in order to set up a connection between two…

Networking and Internet Architecture · Computer Science 2013-07-15 Ahmad Reza Montazerolghaem , Mohammad Hossein Yaghmaee

A Software Bill of Materials (SBOM) is a key component for the transparency of software supply chain; it is a structured inventory of the components, dependencies, and associated metadata of a software artifact. However, an SBOM often…

Software Engineering · Computer Science 2026-02-17 Gianpietro Castiglione , Shahriar Ebrahimi , Narges Khakpour

In database applications involving sensitive data, the dual imperatives of data confidentiality and provable query processing are important. This paper introduces PoneglyphDB, a database system that leverages non-interactive zero-knowledge…

Databases · Computer Science 2024-11-25 Binbin Gu , Juncheng Fang , Faisal Nawab

We introduce Zero-Knowledge Location Privacy (ZKLP), enabling users to prove to third parties that they are within a specified geographical region while not disclosing their exact location. ZKLP supports varying levels of granularity,…

Cryptography and Security · Computer Science 2024-11-12 Jens Ernstberger , Chengru Zhang , Luca Ciprian , Philipp Jovanovic , Sebastian Steinhorst

In this work we present an overview of statistical learning, followed by a survey of robust streaming techniques and challenges, culminating in several rigorous results proving the relationship that we motivate and hint at throughout the…

Machine Learning · Computer Science 2023-12-05 Evan Dogariu , Jiatong Yu

In this paper, we propose a blockchain-based computing verification protocol, called EntrapNet, for distributed shared computing networks, an emerging underlying network for many internet of things (IoT) applications. EntrapNet borrows the…

Cryptography and Security · Computer Science 2021-05-04 Chong Li , Lei Zhang , Serbiao Fang

We study the problem of solving semidefinite programs (SDP) in the streaming model. Specifically, $m$ constraint matrices and a target matrix $C$, all of size $n\times n$ together with a vector $b\in \mathbb{R}^m$ are streamed to us…

Data Structures and Algorithms · Computer Science 2023-09-12 Zhao Song , Mingquan Ye , Lichen Zhang

Traditional centralized scholarship evaluation processes typically require students to submit detailed academic records and qualification information, which exposes them to risks of data leakage and misuse, making it difficult to…

Cryptography and Security · Computer Science 2025-10-30 Yi Chen , Bin Chen , Peichang Zhang , Da Che

We present StreamBridge, a simple yet effective framework that seamlessly transforms offline Video-LLMs into streaming-capable models. It addresses two fundamental challenges in adapting existing models into online scenarios: (1) limited…

Computer Vision and Pattern Recognition · Computer Science 2025-09-22 Haibo Wang , Bo Feng , Zhengfeng Lai , Mingze Xu , Shiyu Li , Weifeng Ge , Afshin Dehghan , Meng Cao , Ping Huang

In known constructions of classical zero-knowledge protocols for NP, either of zero-knowledge or soundness holds only against computationally bounded adversaries. Indeed, achieving both statistical zero-knowledge and statistical soundness…

Quantum Physics · Physics 2022-10-11 Taiga Hiroka , Tomoyuki Morimae , Ryo Nishimaki , Takashi Yamakawa

We consider a type of zero-knowledge protocols that are of interest for their practical applications within networks like the Internet: efficient zero-knowledge arguments of knowledge that remain secure against concurrent man-in-the-middle…

Cryptography and Security · Computer Science 2007-05-23 Yi Deng , Giovanni Di Crescenzo , Dongdai Lin

As IoT becomes omnipresent vast amounts of data are generated, which can be used for building innovative applications. However,interoperability issues and security concerns, prevent harvesting the full potentials of these data. In this…

Cryptography and Security · Computer Science 2022-09-02 Nikos Fotiou , Iakovos Pittaras , Spiros Chadoulos , Vasilios A. Siris , George C. Polyzos , Nikolaos Ipiotis , Stratos Keranidis

Central Bank Digital Currency (CBDCs) are becoming a new digital financial tool aimed at financial inclusion, increased monetary stability, and improved efficiency of payment systems, as they are issued by central banks. One of the most…

Cryptography and Security · Computer Science 2026-03-06 Santanu Mondal , T. Chithralekha

A key challenge in crowdsourcing is inferring the ground truth from noisy and unreliable data. To do so, existing approaches rely on collecting redundant information from the crowd, and aggregating it with some probabilistic method.…

Machine Learning · Computer Science 2019-11-14 Edoardo Manino , Long Tran-Thanh , Nicholas R. Jennings

Infinite networks are complex interconnected systems comprising a countably infinite number of subsystems, for which no fixed upper bound on the number of participating subsystems is specified a priori since it may vary over time as agents…

Systems and Control · Electrical Eng. & Systems 2026-05-19 Mahdieh Zaker , Amy Nejati , Abolfazl Lavaei

Stochastic simulation has been widely used to analyze the performance of complex stochastic systems and facilitate decision making in those systems. Stochastic simulation is driven by the input model, which is a collection of probability…

Risk Management · Quantitative Finance 2020-02-14 Tianyi Liu , Enlu Zhou

In the flourishing live streaming industry, accurate recognition of streamers' emotions has become a critical research focus, with profound implications for audience engagement and content optimization. However, precise emotion coding…

Methodology · Statistics 2024-08-20 Ziqian Lin , Danyang Huang , Ziyu Xiong , Hansheng Wang

The traditional definition of quantum zero-knowledge stipulates that the knowledge gained by any quantum polynomial-time verifier in an interactive protocol can be simulated by a quantum polynomial-time algorithm. One drawback of this…

Quantum Physics · Physics 2022-10-13 Prabhanjan Ananth , Alex B. Grilo

In recent years, Session Initiation Protocol (SIP) has become widely used in current internet protocols. It is a text-based protocol much like Hyper Text Transport Protocol (HTTP) and Simple Mail Transport Protocol (SMTP). SIP is a strong…

Networking and Internet Architecture · Computer Science 2012-05-03 Hassan Keshavarz , Mohammad Reza Jabbarpour Sattari , Rafidah Md Noor

Consensus protocols used today in blockchains often rely on computational power or financial stakes - scarce resources. We propose a novel protocol using social capital - trust and influence from social interactions - as a non-transferable…

Cryptography and Security · Computer Science 2025-11-06 Juraj Mariani , Ivan Homoliak