Results 121 to 130 of about 95,809 (291)

PlantGFM: A Genomic Foundation Model for Discovery and Creation of Plant Genes

Advanced Science, EarlyView.
A plant genomic foundation model pre‐trained on 12 species enables both accurate gene prediction and de novo gene design. Through AI‐human knowledge screening, seven designed sequences showed transcriptional activity in plants, with two expressing stable proteins—demonstrating the first DNA‐RNA‐protein expression of LLM‐generated genes in plants and ...
Changhao Li, Qizhe Zhang, Hanchen Chen, Kepeng Lin, Chengfang Luo, Mengying Yang, Wei Xu, Fan Yao, Jianbing Yan, Qing‐Yong Yang, Xuehai Hu   +10 more
wiley   +1 more source

Sending zero-knowledge proofs to the future

Cybersecurity
Abstract Time-release cryptography is a flourishing research area with a long history and has been extensively studied. In this work, we enrich it by introducing a novel concept: a time-release zero-knowledge proof (TRZKP).
Zhichao Wang, Xudong Zhu, Xinxuan Zhang, Yi Deng 0002, Xuyang Song   +4 more
openaire   +1 more source

On Relationships between Statistical Zero-Knowledge Proofs

, 2000
This paper solves several fundamental open problems about statistical zero-knowledge interactive proofs (SZKIPs). The following two theorems are proven: •If language L has a statistical zero-knowledge interactive proof against an honest verifier, then L ...
Okamoto, Tatsuaki
core   +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  

Full‐Stack Architectures for Intelligent Brain‐Computer Interfaces

Advanced Science, EarlyView.
System‐level overview of brain–computer interfaces (BCIs), illustrating the integration of neural signal acquisition, wireless transmission, and adaptive decoding. Advanced electrode, tissue interfaces, energy‐efficient communication, and robust algorithms collectively enable stable signal quality, real‐time processing, and closed‐loop operation ...
Hee Kyu Lee, Hyun Bin Kim, Sang Uk Park, Janghoon Joo, Jinhong Min, Geumbee Lee, Joohoon Kang, Hyoyoung Jeong, Jae‐Young Yoo, Sang Min Won   +9 more
wiley   +1 more source

Targeting DNGR‐1 with Fangchinoline Elevates Dendritic Cell Antigen Cross‐Presentation‐Mediated Antitumor Immunity in Melanoma

Advanced Science, EarlyView.
Fangchinoline is identified as a small‐molecule DNGR‐1 modulator that enhances dendritic‐cell cross‐presentation of tumor antigens. By engaging DNGR‐1 and activating Syk–Nox2 signaling, it promotes phagosomal ROS, antigen escape, MHC‐I presentation, and CD8+ T‐cell priming, thereby strengthening antitumor immunity and sensitizing tumors to PD‐1 ...
Yuan Liao, Zhenyang Ren, Jing Zhou, He Luo, Yuling Li, Dan Chen, Yuxiao Jiang, Canzhe Li, Mengyi Zheng, Anqi Li, Yao Wang, Yang Zhang, Dingye Wang, Yanjun Jiang, Jiangyong Gu, Biaoyan Du, Yafei Shi, Fang Liu, Jianyong Xiao, Kun Wang   +19 more
wiley   +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

zk-Fabric, a Polylithic Syntax Zero Knowledge Joint Proof System

, 2021
In this paper, we create a single-use and full syntax zero-knowledge proof system, a.k.a zk-Fabric. Comparing with zk-SNARKS and another variant zero-knowledge proofing system, zkBOO and it\u27s variant zkBOO++.
Wen, Tong, Sun, Sheng
core  

Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections

Advanced Electronic Materials, EarlyView.
The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley   +1 more source

Proof Planning for Maintainable Configuration Systems

, 1998
Configuration is a complex task generally involving varying measures of constraint satisfaction, optimization, and the management of soft constraints.
Pechoucek, M., Bundy, Alan, Lowe, H.
core