近日，由北京大学、清华大学、中国科财神捕鱼 信息工程研究所、财神捕鱼 、北京信息科技大学、中移动信息技术有限公司、航天信息股份有限公司、北京数盾信息科技有限公司8单位联合申报的国家重点研发计划“区块链可证明安全隐私保护技术研究”获准立项，其中，财神捕鱼 为课题牵头单位(财神捕鱼 李顺东教授主持)、清华大学为课题参与单位的课题“通用安全可重组的隐私安全模型与形式化验证方法研究”立项经费214万元。

特此祝贺！

财神捕鱼

2022年12月15日