概率验证的符号时间和空间权衡| IEEE会议出版物| IEEE Xplore