Results 41 to 50 of about 64,681 (289)
Card-Based Zero-Knowledge Proof for Sudoku [PDF]
, 2018 In 2009, Gradwohl, Naor, Pinkas, and Rothblum proposed physical zero-knowledge proof protocols for Sudoku. That is, for a puzzle instance of Sudoku, their excellent protocols allow a prover to convince a verifier that there is a solution to the Sudoku ...
Sone, Hideaki +2 more
core +1 more source
Zero-Knowledge Proofs of Proximity.
IACR Cryptol. ePrint Arch., 2017 Interactive proofs of proximity (IPPs) are interactive proofs in which the verifier runs in time sub-linear in the input length. Since the verifier cannot even read the entire input, following the property testing literature, we only require that the verifier reject inputs that are far from the language (and, as usual, accept inputs that are in the ...
Berman, Itay +2 more
openaire +4 more sources
Zero-Knowledge Proof for Norinori
, 2023 https://rdc.reed.edu/v1/resources/2df05b3e-de9f-49a6-8662-a38f8d5c0df0/thumb/128.jpgIn this thesis, we establish a formal notion of a puzzle. We discuss categorizing the varying degrees of difficulty of problems.
Elings-Haynie, Roscoe
core
Experimenting With Non-Interactive Range Proofs Based on the Strong RSA Assumption
IEEE Access, 2019 Range proofs are proofs that a committed number m belongs to a range [a, b] for public constants a, b, without leaking any information about the value m.
Myungsun Kim, Hyung Tae Lee
doaj +1 more source
An Efficient Zero-Knowledge Dual Membership Proof Supporting Pos-and-Neg Membership Decision
Mathematics, 2022 In this paper, we address the problem of secure decision of membership. We present a Zero-Knowledge Dual Membership Proof (ZKDMP) protocol, which can support positive and negative (Pos-and-Neg) membership decisions simultaneously.
Hongjian Yin +4 more
doaj +1 more source
Orion: Zero Knowledge Proof with Linear Prover Time [PDF]
, 2023 Zero-knowledge proof is a powerful cryptographic primitive that has found various applications in the real world. However, existing schemes with succinct proof size suffer from a high overhead on the proof generation time that is super-linear in the size
Tiancheng Xie, Dawn Song, Yupeng Zhang
core
Five‐Year Disease Progression in Synuclein Seeding Positive Sporadic Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To provide a comprehensive description of disease progression in synuclein seeding assay (SAA) positive sporadic Parkinson Disease participants, using Neuronal Synuclein Disease integrated biological and functional impairment staging framework.
Paulina Gonzalez‐Latapi +19 more
wiley +1 more source
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Proving multiplicative relations for lattice commitments in batch
CybersecurityLattice-based commitment schemes and their associated zero-knowledge proofs are essential building blocks for advanced lattice-based cryptographic protocols. In particular, proofs of algebraic relations among committed messages are widely used in privacy-
Mengfan Wang +3 more
doaj +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source