中文
相关论文

相关论文: Code-based Signatures from New Proofs of Knowledge…

200 篇论文

The NP-hard problem of decoding random linear codes is crucial to both coding theory and cryptography. In particular, this problem underpins the security of many code based post-quantum cryptographic schemes. The state-of-art algorithms for…

信息论 · 计算机科学 2022-09-15 Haoxuan Wu , Jincheng Zhuang

This survey provides a comprehensive examination of verifiable computing, tracing its evolution from foundational complexity theory to modern zero-knowledge succinct non-interactive arguments of knowledge (ZK-SNARKs). We explore key…

计算机科学中的逻辑 · 计算机科学 2025-01-13 Angold Wang

We introduce a new rank-based key encapsulation mechanism (KEM) with public key and ciphertext sizes around 3.5 Kbytes each, for 128 bits of security, without using ideal structures. Such structures allow to compress objects, but give…

密码学与安全 · 计算机科学 2022-06-27 Carlos Aguilar-Melchor , Nicolas Aragon , Victor Dyseryn , Philippe Gaborit , Gilles Zémor

We demonstrate that small quantum memories, realized via quantum error correction in multi-qubit devices, can benefit substantially by choosing a quantum code that is tailored to the relevant error model of the system. For a biased noise…

量子物理 · 物理学 2017-12-11 Alan Robertson , Christopher Granade , Stephen D. Bartlett , Steven T. Flammia

The proof-of-work consensus protocol suffers from two main limitations: waste of energy and offering only probabilistic guarantees about the status of the blockchain. This paper introduces SklCoin, a new Byzantine consensus protocol and its…

密码学与安全 · 计算机科学 2020-08-18 Zakwan Jaroucheh , Baraq Ghaleb , William J Buchanan

Redactable Signature Schemes and Zero-Knowledge Proofs are two radically different approaches to enable privacy. This paper analyses their merits and drawbacks when applied to decentralized identity system. Redactable Signatures, though…

密码学与安全 · 计算机科学 2023-10-25 Bryan Kumara , Mark Hooper , Carsten Maple , Timothy Hobson , Jon Crowcroft

The sequence reconstruction problem, introduced by Levenshtein in 2001, considers a scenario where the sender transmits a codeword from some codebook, and the receiver obtains $N$ noisy outputs of the codeword. We study the problem of…

信息论 · 计算机科学 2024-03-13 Shubhransh Singhvi , Roni Con , Han Mao Kiah , Eitan Yaakobi

Quantum mechanics provides cryptographic primitives whose security is grounded in hardness assumptions independent of those underlying classical cryptography. However, existing proposals require low-noise quantum communication and…

In this paper, we will study Lee, Kim and Yoo, a verifier password typed key agreement scheme and demonstrate that the scheme is not secure. Then, the authors will propose an enhanced verifier typed key agreement scheme relied on Lee, Kim…

密码学与安全 · 计算机科学 2010-02-08 Sattar J Aboud

Proof-of-work (POW) schemes have been proposed in the past. One prominent system is HASHCASH (Back, 2002) which uses cryptographic puzzles . However, work by Laurie and Clayton (2004) has shown that for a uniform proof-of-work scheme on…

网络与互联网体系结构 · 计算机科学 2016-11-17 Paul Gardner-Stephen

We consider the reconstruction of a codeword from multiple noisy copies that are independently corrupted by insertions, deletions, and substitutions. This problem arises, for example, in DNA data storage. A common code construction uses a…

信息论 · 计算机科学 2025-11-04 Julian Streit , Franziska Weindel , Reinhard Heckel

This paper gives the definition and property of a bit-pair shadow, and devises the three algorithms of a public key cryptoscheme called JUOAN that is based on a multivariate permutation problem and an anomalous subset product problem to…

密码学与安全 · 计算机科学 2017-05-02 Shenghui Su , Shuwang Lu , Maozhi Xu , Tao Xie

We introduce a private quantum money scheme with the note verification procedure based on Sampling Matching, a problem in the one-way communication complexity model introduced by Kumar et al.[Nature Communications 10, Article number: 4152].…

量子物理 · 物理学 2019-11-22 Niraj Kumar

A distributed proof (also known as local certification, or proof-labeling scheme) is a mechanism to certify that the solution to a graph problem is correct. It takes the form of an assignment of labels to the nodes, that can be checked…

分布式、并行与集群计算 · 计算机科学 2020-01-03 Laurent Feuilloley

We optimize fault-tolerant quantum error correction to reduce the number of syndrome bit measurements. Speeding up error correction will also speed up an encoded quantum computation, and should reduce its effective error rate. We give both…

量子物理 · 物理学 2020-08-13 Nicolas Delfosse , Ben W. Reichardt

A key agreement problem is considered that has a biometric or physical identifier, a terminal for key enrollment, and a terminal for reconstruction. A nested convolutional code design is proposed that performs vector quantization during…

信息论 · 计算机科学 2020-04-29 Thomas Jerkovits , Onur Günlü , Vladimir Sidorenko , Gerhard Kramer

Cryptographic signatures can be used to increase the resilience of distributed systems against adversarial attacks, by increasing the number of faulty parties that can be tolerated. While this is well-studied for consensus, it has been…

分布式、并行与集群计算 · 计算机科学 2022-06-08 Christoph Lenzen , Julian Loss

This paper introduces Proof of Team Sprint (PoTS), a novel consensus algorithm designed to address the significant energy inefficiencies inherent in traditional Proof of Work (PoW) systems. PoTS shifts the consensus mechanism from an…

分布式、并行与集群计算 · 计算机科学 2024-10-17 Naoki Yonezawa

The Syndrome Decoding problem is at the core of many code-based cryptosystems. In this paper, we study ternary Syndrome Decoding in large weight. This problem has been introduced in the Wave signature scheme but has never been thoroughly…

密码学与安全 · 计算机科学 2019-06-17 Rémi Bricout , André Chailloux , Thomas Debris-Alazard , Matthieu Lequesne

Proxy signature schemes have been invented to delegate signing rights. The paper proposes a new concept of Identify Based Strong Bi-Designated Verifier threshold proxy signature (ID-SBDVTPS) schemes. Such scheme enables an original signer…

密码学与安全 · 计算机科学 2008-06-10 Sunder Lal , Vandani Verma