Results 51 to 60 of about 8,896,164 (281)
On the concrete complexity of zero-knowledge proofs [PDF]
, 2007 The fact that there are zero-knowledge proofs for all languages in NP has, potentially, enormous implications to cryptography. For cryptographers, the issue is no longer "which languages in NP have zero-knowledge proofs" but rather "which languages in NP have practical zero-knowledge proofs".
Joan Boyar, René Peralta 0001
openaire +1 more source
Advanced Materials, EarlyView.ABSTRACT Accurately knowing the frontier orbital energies of the structurally disordered small‐molecule organic semiconductors that are used in optoelectronic devices such as organic light‐emitting diodes is required to rationally improve their performance. Here, we show that these energies can be deduced with a large accuracy from the peak energies of
Christian B. McDonald +7 more
wiley +1 more source
Deterministic-Prover Zero-Knowledge Proofs [PDF]
, 2020 Zero-knowledge proof systems enable a prover to convince a verifier of the validity of a statement without revealing anything beyond that fact. The role of randomness in interactive proofs in general, and in zero-knowledge in particular, is well known ...
Hila Dahari, Yehuda Lindell
core +1 more source
Scientific ReportsWith the rapid development of modern medical technology and the dramatic increase in the amount of medical data, traditional centralized medical information management is facing many challenges.
Shengchen Ma, Xing Zhang
doaj +1 more source
Advanced Materials, EarlyView.ReCl47‐bpy is developed as a solar‐rechargeable, Re‐functionalized two‐dimensional metal–organic framework (MOF) for light‐driven charge storage and dark utilization. Re–bipyridine sites stabilize photoinduced electrons, enabling two complementary configurations: a MOF suspension for long‐lived charge retention and dark H2 evolution, and a spin‐coated ...
Shufan Wu +8 more
wiley +1 more source
Minimizing Non-interactive Zero-Knowledge Proofs Using Fully Homomorphic Encryption [PDF]
, 2011 A non-interactive zero-knowledge proof can be used to demonstrate the truth of a statement without revealing anything else. It has been shown under standard cryptographic assumptions that non-interactive zero-knowledge proofs of membership exist for all ...
Jens Groth
core +1 more source
Advanced Materials Technologies, EarlyView.Optically pumped magnetometers are employed to contactlessly map the spatiotemporal dynamics of the magnetic field linked to electrical activity of a skeletal muscle in vivo. It is demonstrated that localization of the clinically relevant innervation zone is feasible using this non‐invasive magnetic measurement modality. ABSTRACT Magnetomyography (MMG)
Simon Nordenström +12 more
wiley +1 more source
High-Performance SIMD Software for Spielman Codes in Zero-Knowledge Proofs
Transactions on Cryptographic Hardware and Embedded SystemsWe present the first high-performance SIMD software implementation of Spielman codes for their use in polynomial commitment schemes and zero-knowledge proofs.
Florian Krieger +3 more
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Round-Optimal Zero-Knowledge Proofs of Knowledge for NP [PDF]
, 2008 It is well known that all the known black-box zero-knowledge proofs of knowledge for NP are non-constant-round. Whether there exit constant-round black-box zero-knowledge proofs of knowledge for all NP languages under certain standard assumptions is a ...
Li Hongda +3 more
core +1 more source