第一个零知识证明检查加密选票条目相加是否等于 1,强制选民选择恰好一名候选人,而不是没有或两者都选。这排除了为两名候选人投票或不为任何候选人投票的情况。
适用条件:示例中有两个候选人槽位。;每个槽位包含一个加密值。;证明必须在不揭示个别值的情况下成立。
第一个零知识证明检查加密选票条目相加是否等于 1,强制选民选择恰好一名候选人,而不是没有或两者都选。这排除了为两名候选人投票或不为任何候选人投票的情况。
适用条件:示例中有两个候选人槽位。;每个槽位包含一个加密值。;证明必须在不揭示个别值的情况下成立。