Results 91 to 100 of about 64,681 (289)
Enhancing Small Molecule Sensing With Aptameric Functionalized Nano Devices
Unveiling an ultra‐sensitive, non‐invasive neurotransmitter sensor. For the first time, a nanoscale sensor for detecting an important neurotransmitter was demonstrated using micro‐electromechanical systems (MEMS) technology. Our approach utilized field‐effect transistor (FET)‐based readout to enable pico‐molar detection of biomarkers in sweat.
Thi Thanh Ha Nguyen +11 more
wiley +1 more source
On the concrete complexity of zero-knowledge proofs [PDF]
The fact that there are zero-knowledge proofs for all languages in NP has, potentially, enormous implications to cryptography. For cryptographers, the issue is no longer "which languages in NP have zero-knowledge proofs" but rather "which languages in NP have practical zero-knowledge proofs".
Joan Boyar, René Peralta 0001
openaire +1 more source
Cumulative discrete logarithm zero-knowledge proof
Cumulative discrete logarithm zero-knowledge proof / K. Volkov, I. Mazurok, Y. Leonchyk, O. Antonenko // Стан, досягнення та перспективи інформаційних систем і технологій : матеріали XXII Всеукр. наук.-техн. конф. молодих вчених, аспірантів та студентів,
Antonenko, O. +3 more
core
Physical Zero-Knowledge Proof for Ball Sort Puzzle
Ball sort puzzle is a popular logic puzzle consisting of several bins containing balls of multiple colors. Each bin works like a stack; a ball has to follow the last-in first-out order.
Ruangwises, Suthee
core +1 more source
Hard‐Magnetic Soft Millirobots in Underactuated Systems
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
Technical challenges in applying zero-knowledge proof to blockchain
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
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
A Perspective on Interactive Theorem Provers in Physics
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
Physical Zero-Knowledge Proof for Suguru Puzzle
International audienceSuguru is a paper and pencil puzzle invented by Naoki Inaba. The goal of the game is to fulfil a grid with numbers between 1 and 5 and to respect three simple constraints. In this paper we design a physical Zero-Knowledge Proof (ZKP)
Lafourcade, Pascal +7 more
core +1 more source
Lymphoid‐Tissue‐on‐Chip Recapitulates Human Antibody Responses In Vitro
The presented lymphoid‐tissue‐on‐chip system allows culture of primary human tonsil cells at organotypic high density under perfusion for up to 4 weeks, emulates immune response to soluble vaccines and vaccination via peripheral antigen‐presenting cells and represents a useful tool to assess cellular interactions during homeostasis, immune responses ...
Claudia Teufel +15 more
wiley +1 more source

