[Resource Topic] 2007/086: Non-Interactive Proofs for Integer Multiplication

Welcome to the resource topic for 2007/086

Title:
Non-Interactive Proofs for Integer Multiplication

Authors: Ivan Damgard, Rune Thorbek

Abstract:

We present two universally composable and practical protocols by which a dealer can, verifiably and non-interactively, secret-share an integer among a set of players. Moreover, at small extra cost and using a distributed verifier proof, it can be shown in zero-knowledge that three shared integers a,b,c satisfy ab =c. This implies by known reductions non-interactive zero-knowledge proofs that a shared integer is in a given interval, or that one secret integer is larger than another. Such primitives are useful, e.g., for supplying inputs to a multiparty computation protocol, such as an auction or an election. The protocols use various set-up assumptions, but do not require the random oracle model.

ePrint: https://eprint.iacr.org/2007/086

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .