Towards attack and defense views of rational delegation of computation
Rational delegation of computation is an important technology of mobile Internet at present,
which is significant to the construction of intelligent urban computing. In order to close to …
which is significant to the construction of intelligent urban computing. In order to close to …
Rational sumchecks
Rational proofs, introduced by Azar and Micali (STOC 2012) are a variant of interactive
proofs in which the prover is neither honest nor malicious, but rather rational. The advantage …
proofs in which the prover is neither honest nor malicious, but rather rational. The advantage …
Smart contracts meet quantum cryptography
A Coladangelo - arXiv preprint arXiv:1902.05214, 2019 - arxiv.org
We put forward the idea that classical blockchains and smart contracts are potentially useful
primitives not only for classical cryptography, but for quantum cryptography as well …
primitives not only for classical cryptography, but for quantum cryptography as well …
Rational proofs against rational verifiers
K Inasawa, K Yasunaga - IEICE Transactions on Fundamentals of …, 2017 - search.ieice.org
Rational proofs, introduced by Azar and Micali (STOC 2012), are a variant of interactive
proofs in which the prover is rational, and may deviate from the protocol for increasing his …
proofs in which the prover is rational, and may deviate from the protocol for increasing his …
Efficient rational proofs for space bounded computations
M Campanelli, R Gennaro - Decision and Game Theory for Security: 8th …, 2017 - Springer
We present new protocols for the verification of space bounded polytime computations
against a rational adversary. For such computations requiring sublinear space our protocol …
against a rational adversary. For such computations requiring sublinear space our protocol …
Cooperate delegation of computation for rational party using zero-determinant strategy approach
D Zhang, Y Tian, C Yue, M Fan - IEEE Access, 2020 - ieeexplore.ieee.org
Delegating calculation is an important approach to solve the correctness and reliability of
task subcontracting and delegating calculation results in cloud computing environment …
task subcontracting and delegating calculation results in cloud computing environment …
Streaming verification of graph properties
Streaming interactive proofs (SIPs) are a framework for outsourced computation. A
computationally limited streaming client (the verifier) hands over a large data set to an …
computationally limited streaming client (the verifier) hands over a large data set to an …
[HTML][HTML] Sumcheck-based delegation of quantum computing to rational server
Delegated quantum computing enables a client with weak computational power to delegate
quantum computing to a remote quantum server in such a way that the integrity of the server …
quantum computing to a remote quantum server in such a way that the integrity of the server …
Fair and rational delegation computation protocol
尹鑫， 田有亮， 王海龙 - Journal of Software, 2017 - jos.org.cn
传统委托计算的验证过程计算和通信开销较高, 且参与者要么诚实, 要么邪恶;
理性委托计算是引入理性参与者, 通过效用函数来保障计算结果的可靠性 …
理性委托计算是引入理性参与者, 通过效用函数来保障计算结果的可靠性 …
Rational delegation computing using information theory and game theory approach
Q Li, Y Tian - … Modeling: 26th International Conference, MMM 2020 …, 2020 - Springer
Delegation computing is a calculation protocol between non-cooperative participants, and
its results are influenced by the participant's choice of behavior. The goal of this paper is to …
its results are influenced by the participant's choice of behavior. The goal of this paper is to …