Abstract:We show that some problems in information security can be solved without using one-way functions. The latter are usually regarded as a central concept of cryptography, but the very existence of one-way functions depends on difficult conjectures in complexity theory, most notably on the notorious "$P \ne NP$" conjecture. In this paper, we suggest protocols for secure computation of the sum, product, and some other functions, without using any one-way functions. A new input that we offer here is that, in contrast with other proposals, we conceal "intermediate results" of a computation. For example, when we compute the sum of $k$ numbers, only the final result is known to the parties; partial sums are not known to anybody. Other applications of our method include voting/rating over insecure channels and a rather elegant and efficient solution of Yao's "millionaires' problem". Then, while it is fairly obvious that a secure (bit) commitment between two parties is impossible without a one-way function, we show that it is possible if the number of parties is at least 3. We also show how our (bit) commitment scheme for 3 parties can be used to arrange an unconditionally secure (bit) commitment between just two parties if they use a "dummy" (e.g., a computer) as the third party. We explain how our concept of a "dummy" is different from a well-known concept of a "trusted third party". We also suggest a protocol, without using a one-way function, for "mental poker", i.e., a fair card dealing (and playing) over distance. We also propose a secret sharing scheme where an advantage over Shamir's and other known secret sharing schemes is that nobody, including the dealer, ends up knowing the shares owned by any particular player. It should be mentioned that computational cost of our protocols is negligible to the point that all of them can be executed without a computer.

Barrington Plays Cards: The Complexity of Card-based Protocols

Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations

Card-based Cryptography with a Standard Deck of Cards, Revisited: Efficient Protocols in the Private Model

Using Five Cards to Encode Each Integer in $\mathbb{Z}/6\mathbb{Z}$

Card-Based Protocols for Private Set Intersection and Union

The Landscape of Computing Symmetric $n$-Variable Functions with $2n$ Cards

How to Solve Millionaires’ Problem with Two Kinds of Cards

AND Protocols Using Only Uniform Shuffles

A secure additive protocol for card players

Card-Based Overwriting Protocol for Equality Function and Applications

A geometric protocol for cryptography with cards

Secrecy without one-way functions

From Proof Complexity to Circuit Complexity via Interactive Protocols

Secure Computation for G-Module and Its Applications

Secure Grouping Protocol Using a Deck of Cards

MPClan: Protocol Suite for Privacy-Conscious Computations

Making $\textsf{IP}=\textsf{PSPACE}$ Practical: Efficient Interactive Protocols for BDD Algorithms

On formal verification of arithmetic-based cryptographic primitives

Practical card-based implementations of Yao's millionaire protocol

Classical Algorithms from Quantum and Arthur-Merlin Communication Protocols.

Cryptographically Blinded Games: Leveraging Players' Limitations for Equilibria and Profit