盖比特

此软件的关键字
数学参考文献
Lucas,David;Neiger,Vincent;Pernet,Clément;Roche,Daniel S.;Rosenkilde,Johan:多项式矩阵运算的次线性通信验证协议(2021) 本·萨森(Eli);Chiesa,亚历山德罗;Riabzev,Michael;Spooner,Nicholas;Virza,Madars;Ward,Nicholas P.:Aurora:R1CS的透明简洁论证(2019年) Ben Sasson,Eli;Chiesa,Alessandro;Tromer,Eran;Virza,Madars:Scalable zero knowledge via cycles of椭圆曲线(2017) 比坦斯基,Nir;卡内蒂,兰;基萨,亚历山德罗;戈德瓦瑟,沙菲;林,惠嘉;鲁宾斯坦,阿维德;特罗默,伊兰:猎蛇(2017) Mohassel,Payman;Rosulek,Mike;Scafuro,Alessandra:RAM项目的次线性零知识论证(2017) Veeningen,Meiloff:基于Pinocchio的自适应zk SNARKs和安全/正确的自适应功能评估(2017) Albrecht,Martin;Grassi,Lorenzo;Rechberger,Christian;Roy,Arnab;Tiessen,Tyge:MiMC:具有最小乘法复杂度的高效加密和加密哈希(2016) Cuvelier,Édouard;Pereira,Olivier:具有完全私有审计跟踪的可验证多方计算(2016)