Results 71 to 80 of about 8,603,697 (240)

Shorter lattice-based verifiable encryption using bimodal Gaussian

Cybersecurity
Verifiable encryption enables the decryption to be taken on properly generated ciphertexts, by making the encryptor provide a zero-knowledge proof. To meet the quantum-safe application requirements, such as key escrow, Lyubashevsky et al.
Dong Fang, Guifang Huang, Shuai Chang, Haonan Yang, Lei Hu, Dingfeng Ye   +5 more
doaj   +1 more source

Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols

IACR Transactions on Symmetric Cryptology, 2020
While traditional symmetric algorithms like AES and SHA-3 are optimized for efficient hardware and software implementations, a range of emerging applications using advanced cryptographic protocols such as multi-party computation and zero knowledge proofs
Abdelrahaman Aly, Tomer Ashur, Eli Ben-Sasson, Alan Szepieniec   +3 more
doaj   +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, DARIO FIORE, MARIAGRAZIA MESSINA   +2 more
openaire   +2 more sources

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, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

Arion: Arithmetization-Oriented Hashing for Zero-Knowledge Proof Systems

IACR Transactions on Symmetric Cryptology
We propose the arithmetization-oriented (AO) hash function Arion, following a permutation-based design approach. We first define the permutation Arion-π over the finite field F_p, where (p > 2) is prime.
Luca Campa, Arnab Roy, Matthias Steiner, Stefano Trevisani   +3 more
doaj   +1 more source

Physics‐Informed Machine Learning for Sustainable Alloy Design: Toward a Recyclable Unified Q&P Steel

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, Yong Li, Chenchong Wang, Lingyu Wang, Xiang Song, Keming Mao, Yu Zhang, Wei Xu   +7 more
wiley   +1 more source

Card-Based Zero-Knowledge Proof for Sudoku [PDF]

, 2018
In 2009, Gradwohl, Naor, Pinkas, and Rothblum proposed physical zero-knowledge proof protocols for Sudoku. That is, for a puzzle instance of Sudoku, their excellent protocols allow a prover to convince a verifier that there is a solution to the Sudoku ...
Sone, Hideaki, Sasaki, Tatsuya, Mizuki, Takaaki   +2 more
core   +1 more source

Flexoelectricity in Photoconversion: Fundamentals, Materials, and Outlooks

Advanced Science, EarlyView.
Mechanical bending of a flexible cantilever induces a strain gradient in the photoactive material. The resulting flexoelectric field couples with photovoltaic and photoconductive effects, modulating charge generation, separation, and collection. A comparative analysis of oxide perovskites, halide perovskites, and two‐dimensional materials is presented,
Xiang Huang, Feng Li, Rongkun Zheng
wiley   +1 more source

Three Round Zero-Knowledge Using a Proof of Knowledge Assumption

, 2001
We provide a proof of knowledge assumption that allows us to construct a three round zero-knowledge proof system for any language in ...
Micali, Silvio, Lepinski, Matthew
core  

Neuromorphic Near‐Sensor and In‐Sensor Computing Enabled by Next‐Generation Material‐Based Sensors

Advanced Science, EarlyView.
This Review presents a structural framework that classifies neuromorphic sensing into near‐sensor and in‐sensor architectures, clarifying physical coupling between sensing and computation. The framework connects neural and synaptic device functions with recent advances in optical, mechanical, and chemical sensing, compares energy consumption and ...
Su Yeon Jung, Gwang Ya Kim, Sejin Kim, Hyunjong Seo, Se Gi Lee, Sang Min Won, Dongjoon Rhee, Joohoon Kang   +7 more
wiley   +1 more source