2011 | OriginalPaper | Chapter
A General, Flexible and Efficient Proof of Inclusion and Exclusion
Author : Kun Peng
Published in: Topics in Cryptology – CT-RSA 2011
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Inclusion proof shows that a secret committed message is in a finite group of messages, while exclusion proof shows that a secret committed message is not in a finite group of messages. A general, flexible and efficient solution to inclusion proof and exclusion proof is proposed in this paper. It overcomes the drawbacks of the existing solutions to inclusion proof and exclusion proof. It achieves all the desired security properties in inclusion proof and exclusion proof. It is the most efficient general solution to inclusion proof and exclusion proof and only costs
$O(\sqrt{n})$
for any inclusion proof and exclusion proof regarding any finite group of
n
messages.