4.2 链上链下的桥梁
3.3 任意范畴的证明
被纳入新基建的,以数据不行改动、可果真禁锢、便于查证的特性,遍及应用于有多方参加的系统中,为多方交互的信息(行为、数据等)提供靠得住的存证。那么,在信息上链接管果真禁锢的同时,可否为信息提供隐私掩护呢?隐私掩护的数据又如何能验证其靠得住性呢?腾讯云区块链利用同态加密、零常识证明、可信计较等技能,为区块链上数据隐私和行为靠得住性提供了多方位的保障,而且提供了对国密算法的支持,在金融、政务等场景中可以选择适配SM2-SM3国密证书套件,完美对接国标、行标。那么腾讯云区块链毕竟是怎么做到同时分身隐私性、靠得住性的呢?
Paillier这个基于DCRA假设 (decisional composite residuosity assumption) 的算法,每秒可以计较上万次同态加法(上次作者亲自benchmark是每秒15000次:在普通Linux系统上的Golang实现,安详品级在2048 bit),而基于Lattice的BGV算法 (Brakerski-Gentry-Vaikuntanathan) 在沟通安详性设置下每秒只能计较不到两次(benchmark:同情况同安详品级下约莫每次需要700-800毫秒)。这也就是安详品级、成果强度与机能的永恒的衡量(trade-off)。
Paillier在各类语言中都有开源实现,一部门实现是已担当过大局限利用的洗礼。而基于Lattice的post-quantum算法们应用并不遍及,而亲测除了效率之外,还长短常容易上手利用的。HElib是个C实现,与其他语言的项目兼容性喜人。
2.4 利用同态加密掩护生意业务隐私
2. TPM (Trusted Platform Module):TCG (AMD, HP, IBM, Intel, MS连系项目) 的可信计较模块,最先启动,可用于从硬件到软件的认证链,自己拥有较弱的计较、存储本领。
2.3 处理惩罚同态加密中的小数
相较于暗码学算法,可信计较固然无法在理论上严谨地被证明安详 (推导到与NP问题等效),可是在现实中攻破可信计较情况长短常坚苦的,并且他具有兼容性好、运算机动、运算效率高的优势,确实是一个很是优秀的暗码学算法替代品。
郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。