To prove a randomly selected card from a 52-card deck is red without revealing its specific rank or suit, the prover shows the verifier the other 51 cards. If exactly 26 of those remaining cards are black (spades and clubs), the hidden card must be red.
Conditions: The deck contains exactly 26 red and 26 black cards.; The target card is drawn uniformly at random.; The prover reveals the identities of the remaining 51 cards.
To prove a randomly selected card from a 52-card deck is red without revealing its specific rank or suit, the prover shows the verifier the other 51 cards. If exactly 26 of those remaining cards are black (spades and clubs), the hidden card must be red.
Conditions: The deck contains exactly 26 red and 26 black cards.; The target card is drawn uniformly at random.; The prover reveals the identities of the remaining 51 cards.