Results 91 to 100 of about 95,809 (291)
Privacy-Preserving Traffic Management: A Blockchain and Zero-Knowledge Proof Inspired Approach
IEEE Access, 2020 Incorporation of connected vehicle (CV) data into real-time traffic management systems presents a host of new challenges resulting from the current lack of data integrity and data privacy in traffic networks.
Wanxin Li +3 more
doaj +1 more source
CoRR, 2004 We present a protocol for verification of ``no such entry'' replies from databases. We introduce a new cryptographic primitive as the underlying structure, the keyed hash tree, which is an extension of Merkle's hash tree. We compare our scheme to Buldas et al.'s Undeniable Attesters and Micali et al.'s Zero Knowledge Sets.
openaire +2 more sources
Zero-Knowledge Proofs with Witness Elimination [PDF]
, 2009 Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction provided that the witness is valid for a given statement and additionally the witness does not belong to a set of eliminated witnesses .
Aggelos Kiayias, Hong-Sheng Zhou
openaire +1 more source
Hard‐Magnetic Soft Millirobots in Underactuated Systems
Advanced Robotics Research, EarlyView.This review provides a comprehensive overview of hard‐magnetic soft millirobots in underactuated systems. It examines key advances in structural design, physics‐informed modeling, and control strategies, while highlighting the interplay among these domains.
Qiong Wang +4 more
wiley +1 more source
Advanced Science, EarlyView.We introduce AutomataGPT, a generative pretrained transformer (GPT) trained on synthetic spatiotemporal data from 2D cellular automata to learn symbolic rules. Demonstrating strong performance on both forward and inverse tasks, AutomataGPT establishes a scalable, domain‐agnostic framework for interpretable modeling, paving the way for future ...
Jaime A. Berkovich +2 more
wiley +1 more source
Technical challenges in applying zero-knowledge proof to blockchain
大数据, 2018 Blockchain is a peer-to-peer distributed ledger technology based on cryptography,However,open and transparent blockchain ledger,combined with sociological mining,data mining and other statistical methods,brings a major threat to user’s privacy.Therefore ...
Kang LI +5 more
doaj
Causal Prediction of TP53 Variant Pathogenicity Using a Perturbation‐Informed Protein Language Model
Advanced Science, EarlyView.A TP53‐specific predictor, CaVepP53, is developed by fine‐tuning ESMC on experimentally validated variants, quantifying pathogenicity via Euclidean distances. It outperforms general‐purpose models and extends to five cancer genes, enabling interpretable variant classification for precision medicine.
Huiying Chen +15 more
wiley +1 more source
Zero-Knowledge Sets with Short Proofs [PDF]
, 2008 Zero Knowledge Sets, introduced by Micali, Rabin and Kilian in [17], allow a prover to commit to a secret set S in a way such that it can later prove, non interactively, statements of the form x ∈ S (or x ∉ S), without revealing any further information (on top of what explicitly revealed by the inclusion/exclusion statements above) on S, not even its ...
CATALANO, Dario +2 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
Promet (Zagreb)In this paper, a novel security framework for industrial internet of things (IIoT) and vehicular networks is proposed, integrating blockchain technology with advanced encryption and data classification mechanisms to enhance data integrity ...
Santhosh NANDEESWARAN +1 more
doaj +1 more source