Results 81 to 90 of about 7,889 (254)
A Survey on the Applications of Zero-Knowledge Proofs
CoRR30 pages, 7 figures, 11 ...
Ryan Lavin +5 more
openaire +2 more sources
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
Hash-Chain Fog/Edge: A Mode-Based Hash-Chain for Secured Mutual Authentication Protocol Using Zero-Knowledge Proofs in Fog/Edge. [PDF]
Sensors (Basel), 2022 Pardeshi MS, Sheu RK, Yuan SM.
europepmc +1 more source
Modulation of miR‐23b Wnt/β‐catenin Axis Strengthens Endothelial Barrier Properties
Advanced Science, EarlyView.Early blood‐brain barrier (BBB) disruption contributes to stroke and CNS disease pathology. miR‐23b was identified as a regulator of BBB integrity in brain endothelial cells. Inhibition of miR‐23b enhanced barrier‐associated properties, promoted repair‐related signaling, and reduced BBB leakage in experimental stroke models, supporting further ...
Victor Anthony Martinez +16 more
wiley +1 more source
A physical zero-knowledge object-comparison system for nuclear warhead verification
Nature Communications, 2016 Zero-knowledge proofs can be used to prove that a statement is true without revealing why it is. Here the authors demonstrate a non-electronic fast neutron radiography technique to confirm that two objects are identical without revealing any details ...
Sébastien Philippe +3 more
doaj +1 more source
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Advanced Science, EarlyView.Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source
Applied SciencesThis work presents a mathematical solution to data privacy and integrity issues in Split Learning which uses Homomorphic Encryption (HE) and Zero-Knowledge Proofs (ZKP).
Agon Kokaj, Elissa Mollakuqe
doaj +1 more source
Advanced Science, EarlyView.A physics‐informed property‐bridging framework links high‐throughput hardness screening to tensile performance in quenching and partitioning steels. By transferring metallurgically guided representations across properties, a single alloy composition is designed to achieve multiple strength grades through heat‐treatment tuning alone, offering a ...
Xiaolu Wei +7 more
wiley +1 more source
A polynomial proxy model approach to verifiable decentralized federated learning
Scientific ReportsDecentralized Federated Learning improves data privacy and eliminates single points of failure by removing reliance on centralized storage and model aggregation in distributed computing systems.
Tan Li +3 more
doaj +1 more source
Zero-knowledge proofs for anonymous authentication of patients on public and private blockchains
ArrayIn recent years, the healthcare sector has been increasingly challenged in securing patient identities and medical records on blockchain due to rising privacy demands and strict regulatory requirements.
Mohammad Madine +3 more
doaj +1 more source