Non-interactive zero-knowledge proof scheme from RLWE-based key exchange.
Ontology highlight
ABSTRACT:
SUBMITTER: Xie S
PROVIDER: S-EPMC8378753 | biostudies-literature |
REPOSITORIES: biostudies-literature
Similar Datasets
Project description:Zero-knowledge proof (ZKP) is a fundamental cryptographic primitive that allows a prover to convince a verifier of the validity of a statement without leaking any further information. As an efficient variant of ZKP, noninteractive zero-knowledge proof (NIZKP) adopting the Fiat-Shamir heuristic is essential to a wide spectrum of applications, such as federated learning, blockchain, and social networks. However, the heuristic is typically built upon the random oracle model that makes ideal assumptions about hash functions, which does not hold in reality and thus undermines the security of the protocol. Here, we present a quantum solution to the problem. Instead of resorting to a random oracle model, we implement a quantum randomness service. This service generates random numbers certified by the loophole-free Bell test and delivers them with postquantum cryptography (PQC) authentication. By employing this service, we conceive and implement NIZKP of the three-coloring problem. By bridging together three prominent research themes, quantum nonlocality, PQC, and ZKP, we anticipate this work to inspire more innovative applications that combine quantum information science and the cryptography field.
| S-EPMC10636371 | biostudies-literature
Project description:Zero knowledge proof system which has received extensive attention since it was proposed is an important branch of cryptography and computational complexity theory. Thereinto, noninteractive zero knowledge proof system contains only one message sent by the prover to the verifier. It is widely used in the construction of various types of cryptographic protocols and cryptographic algorithms because of its good privacy, authentication, and lower interactive complexity. This paper reviews and analyzes the basic principles of noninteractive zero knowledge proof system, and summarizes the research progress achieved by noninteractive zero knowledge proof system on the following aspects: the definition and related models of noninteractive zero knowledge proof system, noninteractive zero knowledge proof system of NP problems, noninteractive statistical and perfect zero knowledge, the connection between noninteractive zero knowledge proof system, interactive zero knowledge proof system, and zap, and the specific applications of noninteractive zero knowledge proof system. This paper also points out the future research directions.
| S-EPMC4032740 | biostudies-other
Project description:Music is difficult to access for the majority of CI users as the reduced dynamic range and poor spectral resolution in cochlear implants (CI), amongst others constraints, severely impair their auditory perception. The reduction of spectral complexity is therefore a promising means to facilitate music enjoyment for CI listeners. We evaluate a spectral complexity reduction method for music signals based on principal component analysis that enforces spectral sparsity, emphasizes the melody contour and attenuates interfering accompanying voices. To cover a wide range of spectral complexity reduction levels a new experimental design for listening experiments was introduced. It allows CI users to select the preferred level of spectral complexity reduction interactively and in real-time. Ten adult CI recipients with post-lingual bilateral profound sensorineural hearing loss and CI experience of at least 6 months were enrolled in the study. In eight consecutive sessions over a period of 4 weeks they were asked to choose their preferred version out of 10 different complexity settings for a total number of 16 recordings of classical western chamber music. As the experiments were performed in consecutive sessions we also studied a potential long term effect. Therefore, we investigated the hypothesis that repeated engagement with music signals of reduced spectral complexity leads to a habituation effect which allows CI users to deal with music signals of increasing complexity. Questionnaires and tests about music listening habits and musical abilities complemented these experiments. The participants significantly preferred signals with high spectral complexity reduction levels over the unprocessed versions. While the results of earlier studies comprising only two preselected complexity levels were generally confirmed, this study revealed a tendency toward a selection of even higher spectral complexity reduction levels. Therefore, spectral complexity reduction for music signals is a useful strategy to enhance music enjoyment for CI users. Although there is evidence for a habituation effect in some subjects, such an effect has not been significant in general.
| S-EPMC6872501 | biostudies-literature
Project description:In the data-hiding field, it is mandatory that proposed schemes are key-secured as required by the Kerckhoff’s principle. Moreover, perceptual transparency must be guaranteed. On the other hand, volumetric attack is of special interest in audio data-hiding systems. This study proposes a data-hiding scheme for audio signals, which is both key-based secured and highly perceptually transparent and, thus, robust to the volumetric attack. A modification to a state-of-the-art data-hiding algorithm is proposed to achieve key-based security. Embedding is carried out in the integer discrete cosine transform (DCT) domain; selected samples for embedding are determined by the entropy of the Integer DCT coefficients. Of the two key-based improvements proposed, the multiplicative strategy gives better results, guaranteeing the worst bit error rate when an incorrect key is used. Additionally, the perceptual transparency of the proposed scheme is higher, compared to the state-of-the-art schemes using similar embedding strategies.
| S-EPMC7514328 | biostudies-literature
Project description:Almost all existing zero-shot learning methods work only on benchmark datasets (e.g., CUB, SUN, AwA, FLO and aPY) which have already provided pre-defined attributes for all the classes. These methods thus are hard to apply on real-world datasets (like ImageNet) since there are no such pre-defined attributes in the data environment. The latest works have explored to use semantic-rich knowledge graphs (such as WordNet) to substitute pre-defined attributes. However, these methods encounter a serious “role=“presentation”>domain shift” problem because such a knowledge graph cannot provide detailed enough semantics to describe fine-grained information. To this end, we propose a semantic-visual shared knowledge graph (SVKG) to enhance the detailed information for zero-shot learning. SVKG represents high-level information by using semantic embedding but describes fine-grained information by using visual features. These visual features can be directly extracted from real-world images to substitute pre-defined attributes. A multi-modals graph convolution network is also proposed to transfer SVKG into graph representations that can be used for downstream zero-shot learning tasks. Experimental results on the real-world datasets without pre-defined attributes demonstrate the effectiveness of our method and show the benefits of the proposed. Our method obtains a +2.8%, +0.5%, and +0.2% increase compared with the state-of-the-art in 2-hops, 3-hops, and all divisions relatively.
| S-EPMC10280465 | biostudies-literature
Project description:Public-key cryptography is too slow for general purpose encryption, with most applications limiting its use as much as possible. Some secure protocols, especially those that enable forward secrecy, make a much heavier use of public-key cryptography, increasing the demand for lightweight cryptosystems that can be implemented in low powered or mobile devices. This performance requirements are even more significant in critical infrastructure and emergency scenarios where peer-to-peer networks are deployed for increased availability and resiliency. We benchmark several public-key key-exchange algorithms, determining those that are better for the requirements of critical infrastructure and emergency applications and propose a security framework based on these algorithms and study its application to decentralized node or sensor networks.
| S-EPMC5551094 | biostudies-other
Project description:Electric field-accelerated ion-permselective membrane (EISM) separation has attracted significant attention in recent years. Thus, herein, to further investigate the ion transport mechanism and optimize the separation efficiency, five types of ion-permselective membrane modules (IPMM I-V) based on the electrochemically switched ion exchange (ESIX) scheme were designed. Compared with the traditional ion separation systems, the in situ membrane-based ion separation system was set up with an extra pulse potential applied to the PPy/PSS/SSWM (polypyrrole/polystyrenesulfonate/stainless steel wire mesh) membrane. The continuous permselective separation of K+ as target ions was performed from dilute aqueous solution through the IPMM system. The pulse potential combined with the regulated cell voltage was functionalized synergistically to create an "ion-sieving effect" and effectively guide the target cations from the source cell to the receiving cell. Moreover, the formation of an equal potential volume in IPMM-V suppressed the reverse migration of the target ions and the detected ion flux across the membrane was 100 times that of the IPMM-I system. The ion transport mechanism was also analyzed in detail based on the equivalent circuit of the system, and the optimized operation parameters were obtained for the high-efficient ion separation system. These results can provide some beneficial information for the design and practical operation of novel EISM systems.
| S-EPMC9034045 | biostudies-literature
Project description:The realization of Majorana zero modes is in the centre of intense theoretical and experimental investigations. Unfortunately, their exchange that can reveal their exotic statistics needs manipulations that are still beyond our experimental capabilities. Here we take an alternative approach. Through the Jordan-Wigner transformation, the Kitaev's chain supporting two Majorana zero modes is mapped to the spin-1/2 chain. We experimentally simulated the spin system and its evolution with a photonic quantum simulator. This allows us to probe the geometric phase, which corresponds to the exchange of two Majorana zero modes positioned at the ends of a three-site chain. Finally, we demonstrate the immunity of quantum information encoded in the Majorana zero modes against local errors through the simulator. Our photonic simulator opens the way for the efficient realization and manipulation of Majorana zero modes in complex architectures.
| S-EPMC5093330 | biostudies-literature
Project description:Well-resolved and information-rich J-spectra are the foundation for chemical detection in zero-field NMR. However, even for relatively small molecules, spectra exhibit complexity, hindering the analysis. To address this problem, we investigate an example biomolecule with a complex J-coupling network─urea, a key metabolite in protein catabolism─and demonstrate ways of simplifying its zero-field spectra by modifying spin topology. This goal is achieved by controlling pH-dependent chemical exchange rates of 1H nuclei and varying the composition of the D2O/H2O mixture used as a solvent. Specifically, we demonstrate that by increasing the proton exchange rate in the [13C,15N2]-urea solution, the spin system simplifies, manifesting through a single narrow spectral peak. Additionally, we show that the spectra of 1H/D isotopologues of [15N2]-urea can be understood easily by analyzing isolated spin subsystems. This study paves the way for zero-field NMR detection of complex biomolecules, particularly in biofluids with a high concentration of water.
| S-EPMC8573776 | biostudies-literature
Project description:A matrix-based LucidTM key is presented for the twelve genera of Monotomidae (Coleoptera: Cucujoidea) represented in the New World. A general overview is given for the features and technical specifications of an original interactive key for the identification of these genera. The list of terminal taxa included with the key provides a current summary of monotomid generic diversity for the Nearctic and Neotropical regions.
| S-EPMC5126530 | biostudies-literature