Results 111 to 120 of about 8,603,697 (240)

Design and implementation of solvency proof system based on zero knowledge proofs

IET Blockchain
The aim of this study is to design and implement a system that allows centralized blockchain institutions to prove their solvency. This system ensures that institutions do not misappropriate user assets and enhances trust between users and institutions ...
Siyu Chen, Renhong Diao, Jiali Xu
doaj   +1 more source

Load-Balanced Parallel Implementation on GPUs for Multi-Scalar Multiplication Algorithm

Transactions on Cryptographic Hardware and Embedded Systems
Multi-scalar multiplication (MSM) is an important building block in most of elliptic-curve-based zero-knowledge proof systems, such as Groth16 and PLONK. Recently, Lu et al. proposed cuZK, a new parallel MSM algorithm on GPUs.
Yutian Chen, Cong Peng, Yu Dai, Min Luo, Debiao He   +4 more
doaj   +1 more source

Physical Zero-Knowledge Proof for Sukoro

New Generation Computing
AbstractA zero-knowledge proof protocol is a cryptographic protocol in which a prover, who knows the witness to a statement, can convince a verifier that the statement is true without revealing any information about the witness. Although zero-knowledge proof protocols are typically executed on electronic computers, there is a line of research to design
Shun Sasaki, Kazumasa Shinagawa
openaire   +1 more source

LLM‐Assisted Design of Ultralow‐κ$\kappa$ Chalcogenides

Advanced Science, EarlyView.
An AI assisted, physics guided workflow accelerates the discovery of ultralow thermal conductivity materials by combining Bayesian optimization, evidence conditioned LLM reasoning, and automated physics‐based validation. The framework uncovers dynamically stable Ag based chalcogenides with ultralow thermal conductivity and promising thermoelectric ...
Yujie Liu, Congran Jia, Yuzhou Hao, Xuejie Li, Yang Wang, Artem Oganov, Jun Sun, Xiangdong Ding, Turab Lookman, Zhibin Gao   +9 more
wiley   +1 more source

BFLP: blockchain-based federated learning protocol with verifiable contribution proof

Journal of King Saud University: Computer and Information Sciences
Cross-institutional federated learning suffers from centralized trust fragility, poisoning attacks, and the lack of verifiable contribution-based incentives.
Xi Li, Yibei Wang, Bin Wen
doaj   +1 more source

Mechanism‐Informed Language Modeling and Oxygenated 3D Screening Identify Berberine–Enzalutamide Synergy in Prostate Cancer Models

Advanced Science, EarlyView.
By integrating knowledge‐augmented artificial intelligence with an oxygen‐supplemented 3D screening platform, a synergistic interaction between berberine and enzalutamide is identified. The framework integrates compound mechanisms of action with disease‐relevant signaling context to prioritize candidate combinations and generate testable pathway‐based ...
Chih‐Hui Lo, Katie Shi, Lina Kafadarian, Alexandra Bermudez, Johnny Diaz, Liam Edwards, Yunqi Hong, Ziyi Chen, Hyeonji Hwang, Weihong Yan, Alan Levinson, Robert Damoiseaux, Cho‐Jui Hsieh, Tanya Stoyanova, Andrew S. Goldstein, Neil Y.C. Lin   +15 more
wiley   +1 more source

SoK: Zero-Knowledge Range Proofs.

IACR Cryptol. ePrint Arch.
Zero-knowledge range proofs (ZKRPs) allow a prover to convince a verifier that a secret value lies in a given interval. ZKRPs have numerous applications: from anonymous credentials and auctions, to confidential transactions in cryptocurrencies. At the same time, a plethora of ZKRP constructions exist in the literature, each with its own trade-offs.
Christ, Miranda, Baldimtsi, Foteini, Chalkias, Konstantinos Kryptos, Maram, Deepak, Roy, Arnab, Wang, Joy   +5 more
openaire   +4 more sources

Zero Knowledge Proof for Multiple Sequence Alignment [PDF]

Multiple sequence alignment (MSA) is a fundamental algorithm in bioinformatics. In a situation when the alignment might need to be protected while revealing the other information such the input sequences and the alignment score, zero knowledge proof can ...
Suwannik, Worasait
core  

CausalCellInfer: Prioritizing Cell‐Type‐Specific Disease Associations From Genetically Predicted Transcriptomes in Biobank Cohorts

Advanced Science, EarlyView.
Bulk and genotype‐imputed transcriptomes obscure the cellular drivers of complex disease. CausalCellInfer resolves them by integrating invariant marker selection, deep learning deconvolution, and regularized matrix completion. Applied to ∼500 000 UK Biobank participants across 29 traits, it uncovers hallmark cell‐type proportion shifts, including ...
Liangying Yin, Yujia Shi, Ruoyu Zhang, Yong Xiang, Jinghong Qiu, Pak‐Chung Sham, Hon‐Cheong So   +6 more
wiley   +1 more source

Magnetoelectric Multiferroics for the Next‐Generation Ultralow‐Power Electronics

Advanced Science, EarlyView.
Magnetoelectric coupling provides a unifying route from electric‐field control of magnetic order to non‐volatile MeRAM, MESO logic, and emerging antiferromagnetic and magnonic devices. By connecting switching physics with device benchmarks, material platforms, and integration strategies, distinctive technological opportunities are identified alongside ...
Yang Liu, Yunlong Sun, Hao Luo, Duoduo Zhao, Yuhan Zeng, Xuzihan Zhang, Zhewei Liu, Hao Peng, Zhijing Zhang, Jack Yang, Ji Zhang, Danyang Wang, Junjie Shi, Sean Li   +13 more
wiley   +1 more source