Automated Quantum Circuit Generation for Computing Inverse Hash Functions
Several cryptographic systems depend upon the computational difficulty of reversing cryptographic hash functions. Robust hash functions transform inputs to outputs in such a way that the inputs cannot be later retrieved in a reasonable amount of time ...
Henderson, Elena R. +3 more
core
Offline grouping proof protocol for RFID systems
, 2013 Several grouping proof protocols have been proposed over the years but they are either found to be vulnerable to certain attacks or do not comply with EPC Class-1 Gen-2 (C1G2) standard because they use hash functions or other complex encryption schemes ...
Robin Ram Mohan Doss (13090617) +2 more
core
CCA-Secure IB-KEM from Identity-Based Extractable Hash Proof System [PDF]
The Computer Journal, 2013 Yu Chen 0003 +3 more
openaire +2 more sources
Vision Mark-32: ZK-Friendly Hash Function Over Binary Tower Fields [PDF]
Zero-knowledge proof systems are widely used in different applications on the Internet. Among zero-knowledge proof systems, SNARKs are a popular choice because of their fast verification time and small proof size. The efficiency of zero-knowledge systems
Mohammad Mahzoun +3 more
core
Techniques for design and validation of quantum protocols [PDF]
Our objective in this thesis is to perform formal specification and automated validation of the class of protocols associated with quantum cryptography.
Papanikolaou, Nikolaos K.
core
Poseidon2: A Faster Version of the Poseidon Hash Function [PDF]
Zero-knowledge proof systems for computational integrity have seen a rise in popularity in the last couple of years. One of the results of this development is the ongoing effort in designing so-called arithmetization-friendly hash functions in order to ...
Dmitry Khovratovich +2 more
core
Performance Evaluation of zk-SNARK Protocols for Privacy-Preserving Sensor Data Verification: A Systematic Benchmarking Study. [PDF]
Sensors (Basel)Kuznetsov O +4 more
europepmc +1 more source
BAAR: A framework for blockchain-based anonymous and revocable user authentication scheme. [PDF]
PLoS OneAhmed M, Ahmad A, Zeshan F, Akram S.
europepmc +1 more source
A Transparent, Simple, Audit-Oriented Python-Based Binary Allocation Prototype for Clinical Research. [PDF]
CureusMalone KT.
europepmc +1 more source
Benchmarking ZK-Friendly Hash Functions and SNARK Proving Systems for EVM-compatible Blockchains
With the rapid development of Zero-Knowledge Proofs (ZKPs), particularly Succinct Non-Interactive Arguments of Knowledge (SNARKs), benchmarking various ZK tools has become a valuable task. ZK-friendly hash functions, as key algorithms in blockchain, have
Wu, Cong +4 more
core