8、Hawk与Aucitas：电子拍卖方案解析

Hawk与Aucitas：电子拍卖方案解析

在电子拍卖领域，安全和效率是至关重要的考量因素。本文将介绍两种电子拍卖方案——Hawk和Aucitas，探讨它们的特点、工作原理以及与其他相关方案的比较。

1. Hawk电子拍卖方案

Hawk方案基于可加同态加密方案，满足IND - CPA安全属性，并结合了密钥构造证明、明文知识证明和解密证明等技术。

1.1 方案概述

Hawk方案具有结果可验证性、投标保密性和不可抵赖性。投标的同态组合和解密计算正确，任何人都可以验证解密后的投标价格大于或等于中标价格。由于低于中标价格的投标不会被解密，所以满足投标保密性。假设拍卖师对投标者和投标之间的关系进行认证，该方案还提供不可抵赖性。

1.2 算法细节

• Setup算法 ：生成拍卖师的密钥对，证明密钥构造正确，并初始化公告板。

Setup(1k). Select coins r, compute (pk, sk, m) ←Gen(1k; r); ρ ←ProveKey((1k, pk, m), (sk, r)); aux - pk ←(1k, m, ρ); bb ←∅ and output (pk, sk, bb, aux - pk).

• Bid算法 ：输出密文和证明，确保投标者只对一个价格进行投标。