Results 41 to 50 of about 38,400 (270)
Permissionless Blockchain Systems as Pseudo-Random Number Generators for Decentralized Consensus
IEEE Access, 2023 Consensus algorithms that function in permissionless blockchain systems must randomly select new block proposers in a decentralised environment. Our contribution is a new blockchain consensus algorithm called Proof-of-Publicly Verifiable Randomness ...
Riaan Bezuidenhout +2 more
doaj +1 more source
Blind Quantum Computation [PDF]
, 2006 We investigate the possibility of "having someone carry out the work of executing a function for you, but without letting him learn anything about your input".
Arrighi, Pablo, Salvail, Louis
core +1 more source
Information, 2023 Outsourcing computation has become increasingly popular due to its cost-effectiveness, enabling users with limited resources to conduct large-scale computations on potentially untrusted cloud platforms. In order to safeguard privacy, verifiable computing
Yang Yang, Guanghua Song
doaj +1 more source
Publicly Verifiable Multi-stage Secret Sharing on General Access Structures [PDF]
Jisuanji kexue yu tansuo, 2023 A publicly verifiable secret sharing allows anyone to detect the cheating of dealer or participants only from the public information. In order to expand the application scope of multi-secret sharing, firstly, a publicly verifiable multi-stage secret ...
SONG Yun, WANG Ningning, XIAO Menglin, SHAO Zhiyi
doaj +1 more source
Cryptography, 2020 Often clients (e.g., sensors, organizations) need to outsource joint computations that are based on some joint inputs to external untrusted servers.
Georgia Tsaloli +2 more
doaj +1 more source
Journal of King Saud University: Computer and Information Sciences, 2023 As part of vehicle to everything (V2X) environments, intelligent connected vehicles (ICVs) generate a large amount of data, which can be exploited securely and effectively through decentralized techniques such as federated learning (FL).
Abla Smahi +6 more
doaj +1 more source
Verified Computation with Probabilities [PDF]
, 2012 Because machine calculations are prone to errors that can sometimes accumulate disastrously, computer scientists use special strategies called verified computation to ensure output is reliable. Such strategies are needed for computing with probability distributions.
Ferson, Scott, Siegrist, Jack
openaire +2 more sources
Generalising KAT to Verify Weighted Computations [PDF]
Scientific Annals of Computer Science, 2019 Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent ...
Leandro Gomes +2 more
openaire +5 more sources
Measurement-only verifiable blind quantum computing with quantum input verification
, 2016 Verifiable blind quantum computing is a secure delegated quantum computing where a client with a limited quantum technology delegates her quantum computing to a server who has a universal quantum computer.
Morimae, Tomoyuki
core +1 more source
, 2009 One of the earliest cryptographic applications of quantum information was to create quantum digital cash that could not be counterfeited. In this paper, we describe a new type of quantum money: quantum coins, where all coins of the same denomination are ...
Mosca, Michele, Stebila, Douglas
core +3 more sources