-
公开(公告)号：CN112464288A
公开(公告)日：2021-03-09
申请号：CN202011452657.3
申请日：2020-12-12
Applicant: 南开大学
Abstract: 本发明公开了一种基于区块链的具有隐私保护功能的公平彩票发行方法，方法包括用户端和彩票机构发行端，以及链上智能合约。本发明通过混币技术和零知识证明技术隐藏用户的购买金额，并切断购彩人与中奖人的联系；通过非对称加密隐藏用户的兑奖号码；通过有限域上拉格朗日插值多项式和可验证随机函数，所有用户的彩票信息公平地参与开奖结果的产生过程，并且结果公开可验证；通过对称加密在区块链上隐藏中奖人的奖金信息。本发明在没有可信第三方的情况下保证彩票发行的公平性、可验证性、隐私性和鲁棒性，并且可以抵抗伪造攻击和仿冒攻击。中奖结果与用户购买次序无关，最后一名购彩用户也无法利用已有的彩票信息提前预测或控制中奖结果。
-
公开(公告)号：CN112836456B
公开(公告)日：2022-11-15
申请号：CN202110202215.1
申请日：2021-02-24
Applicant: 南开大学
IPC: G06F30/3315
Abstract: 本发明公开了一种基于SAT的电路错误诊断方法，首先将待诊断电路的网表结构、给定的观测集共同转化成CNF表达式，通过计算CNF表达式是否有解来判断电路是否存在错误；如果电路存在错误，将电路的网表结构划分成多个错误备选模块，对每个错误备选模块插入一个异或门组成的选择电路，将原电路网表转化成了诊断架构，然后提取该诊断架构的CNF表达式，对其进行SAT求解，根据解的形式判断该错误备选模块中是否有错误。本发明用基来简化SAT求解，并将计算基过程中含有的大量多变元多项式除法运算转化成乘法运算，从而加速基的计算过程。本发明能够高效的诊断和定位电路中的错误、缩短芯片的功能验证与调试时间。
-
公开(公告)号：CN112464288B
公开(公告)日：2022-05-17
申请号：CN202011452657.3
申请日：2020-12-12
Applicant: 南开大学
Abstract: 本发明公开了一种基于区块链的具有隐私保护功能的公平彩票发行方法，方法包括用户端和彩票机构发行端，以及链上智能合约。本发明通过混币技术和零知识证明技术隐藏用户的购买金额，并切断购彩人与中奖人的联系；通过非对称加密隐藏用户的兑奖号码；通过有限域上拉格朗日插值多项式和可验证随机函数，所有用户的彩票信息公平地参与开奖结果的产生过程，并且结果公开可验证；通过对称加密在区块链上隐藏中奖人的奖金信息。本发明在没有可信第三方的情况下保证彩票发行的公平性、可验证性、隐私性和鲁棒性，并且可以抵抗伪造攻击和仿冒攻击。中奖结果与用户购买次序无关，最后一名购彩用户也无法利用已有的彩票信息提前预测或控制中奖结果。
-
公开(公告)号：CN112836456A
公开(公告)日：2021-05-25
申请号：CN202110202215.1
申请日：2021-02-24
Applicant: 南开大学
IPC: G06F30/3315
Abstract: 本发明公开了一种基于SAT的电路错误诊断方法，首先将待诊断电路的网表结构、给定的观测集共同转化成CNF表达式，通过计算CNF表达式是否有解来判断电路是否存在错误；如果电路存在错误，将电路的网表结构划分成多个错误备选模块，对每个错误备选模块插入一个异或门组成的选择电路，将原电路网表转化成了诊断架构，然后提取该诊断架构的CNF表达式，对其进行SAT求解，根据解的形式判断该错误备选模块中是否有错误。本发明用基来简化SAT求解，并将计算基过程中含有的大量多变元多项式除法运算转化成乘法运算，从而加速基的计算过程。本发明能够高效的诊断和定位电路中的错误、缩短芯片的功能验证与调试时间。
-
-
-
Search Results
4
records
(took 0.017 seconds)
