皮诺奇 91份文件引用(2013–2023) 软件作者： 巴诺，B.，詹特里，C.，豪厄尔，J.，雷科娃，M。 相关软件： C的SNARK；马林鱼；GitHub… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
利比奥普 68篇文献引用(2019–2023) 软件作者： Nicholas P.沃德。 相关软件： 利格罗；斯巴达人；马林… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
C的SNARK 59篇文献引用(2013–2024) 软件作者： Eli Ben-Sasson；亚历山德罗·基耶萨；Daniel Genkin；特罗姆，埃兰；夫人维尔扎 相关软件： 皮诺奇；格佩托；利盖罗… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
利赫罗 59篇文献引用(2018–2023) 软件作者： Ames，S.、Hazay，C.、Ishai，Y.、Venkitasubramaniam，M。 相关软件： 力比奥；ZKBoo；斯巴达人… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
MiMC公司 44篇文献引用(2016–2023) 软件作者： Albrecht M.R.、Grassi L.、Rechberger C.、Roy A.、Tyge T。 相关软件： 波塞冬；精彩；文明… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
ZKBoo公司 34份文件引用(2016–2023) 软件作者： 贾科梅利，I.，马德森，J.，奥兰迪，C。 相关软件： 利格罗；力比奥；天秤座… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
波塞冬 32篇文献引用(2020–2023) 软件作者： 格拉西，L。；Kales，D。；Khovratovich，D。；罗伊，A。；Rechberger，C。；肖夫内格，M。 相关软件： MiMC；github；万岁… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；计算机科学（68-XX）…
zk-快照 32篇文献引用(2014–2024) 软件作者： Eli Ben-Sasson；亚历山德罗·基耶萨；特罗姆，埃兰；夫人维尔扎 相关软件： 皮诺奇；C的SNARK；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
天秤座 29篇文献引用(2019–2023) 软件作者： 谢、条成；张家恒；张玉鹏；Papamanthou、Charalampos；宋，黎明 相关软件： 力比奥；斯巴达人；利盖罗… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
乐高SNARK 引用于19份文件(2020–2023) 软件作者： 坎帕内利M。；菲奥雷·D。；Querol A公司。 相关软件： 马林鱼；皮诺奇；libiop… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
Ciminion公司 16篇文献引用(2021–2023) 软件作者： 克里斯托弗·多布罗尼格；洛伦佐·格拉西；安娜·吉尼特；丹尼尔·奎斯特斯 相关软件： MiMC公司；波塞冬；万岁… 主要字段： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DVNIZK公司 10篇文献引用(2018–2023) 软件作者： 白鹿座；杰弗里·库托 相关软件： xJsnark；github；gmp… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
代码BERT 引用于1份文件(2022) 软件作者： 冯章寅、郭大雅、唐杜玉、段楠、冯晓成、龚铭、寿林军、秦冰、刘婷、蒋大新、周明 相关软件： BERT；CodeXGLUE；设计… 主要字段： 计算机科学（68-XX）
CPSNARKs集合 6篇文献引用(2021–2023) 软件作者： Daniel Benarroch；坎帕内利，马泰奥；达里奥·菲奥雷；库尔干、科比；迪米特里斯·科洛内洛斯 相关软件： github；乐高SNARK；vSQL… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；阿列克谢·托夫奇格里奇科 相关软件： 窥探；COPASI；MoVisPP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
令人眩晕 5份文件引用(2021–2023) 软件作者： Wu，H。；郑伟。；Chiesa，A。；波帕，R.A。；斯多伊卡，I。 相关软件： 皮诺奇；斯巴达人；马林… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TNFS公司 5份文件引用(2021–2024) 软件作者： 加布里埃尔·德·米凯利（Gabrielle De Micheli）；皮埃里克·高德利（Pierrick Gaudry）；塞西尔·皮埃罗 相关软件： zk-SNARK；CADO-NFS；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
艾莉亚 4份文件引用(2018–2023) 软件作者： 乔纳森·布特尔（Jonathan Bootle）；安德烈亚·塞鲁利（Andrea Cerulli）；格罗斯、延斯；雅各布森，苏内；玛丽·马勒 相关软件： C的SNARK；力比奥；斯巴达人… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
mi血统 3份文件引用(2018–2022) 软件作者： Tang，Z.，Chen，G.，Alekseyenko，A.V.，Li，H。 相关软件： 结构SSI；PhyloScan；古巴 主要字段： 统计学（62-XX）
补丁NR 2份文件引用(2023) 软件作者： Fabian Altekrüger、Alexander Denker、Paul Hagemann、Johannes Hertrich、Peter Maass、Gabriele Steidl 相关软件： ODL；U-Net公司；LoDoPaB-CT… 主要字段： 算子理论（47-XX）；统计学（62-XX）；数值分析（65-XX）…
SCAPI公司 引用于1份文件(2017) 软件作者： Yael Ejgenberg、Moriya Farbstein、Meital Levy、Yehuda Lindell 相关软件： VMCrypt；FairplayMP；美味… 主要字段： 信息与通信理论，电路（94-XX）
ZKPDL公司 引用于1份文件(2021) 软件作者： Sarah Meiklejohn、C.Christopher Erway、Alptekin Küpçü、Theodora Hinkle、Anna Lysyanskaya 相关软件： bplib；艾美；LIBSCAPI… 主要字段： 信息与通信理论，电路（94-XX）
Libri-Light系列 在0个文档中引用 软件作者： 雅各布·卡恩（Jacob Kahn）、摩根·里维埃（Morgane Rivière）、郑伟一（Weiyi Zheng）、伊夫根尼·哈里托诺夫（Evgeny Kharitonov）、徐谦通（Qianong Xu）、皮尔雷·伊曼纽尔·马扎雷（Pierre-Emmanuel Mazaré）、朱利安·卡拉代伊（Julien Karadayi）、维塔利·利钦斯基（Vitaliy Liptchinsky）、罗南·科洛伯特（Rona 相关软件： k2；浓缩咖啡；卡尔迪… 主要字段： –
MASS（质量） 引用于1份文件(2021) 软件作者： 宋开陶、徐坦、陶琴、陆建峰、刘铁燕 相关软件： 文本排名；BERT；胭脂红… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
哈萨克斯坦 引用于1份文件(2020) 软件作者： Wouter Lueks、Bogdan Kulynych、Jules Fasquelle、Simon Le Bail Collet、Carmela Troncoso 相关软件： bplib；ZKPDL；艾美… 主要字段： 信息与通信理论，电路（94-XX）
气泡探测 引用于1份文件(2023) 软件作者： 安德烈亚斯·埃克斯特德；奥利弗·古尔德（Oliver Gould）；朱纳斯·赫沃宁 相关软件： github；findiff；任何气泡… 主要字段： 量子理论（81-XX）
电路 引用于1份文件(2019) 软件作者： NIST；雷内·佩拉尔塔；路易斯·T·A·N·布兰登；圣达什切克；莫里斯·德沃金；Meltem Sönmez Turan公司 相关软件： github 主要字段： 阶、格、有序代数结构（06-XX）；信息与通信理论，电路（94-XX）
金格里布 引用于1份文件(2023) 软件作者： Horizen实验室；https://github.com/HorizenOfficial/ginger-lib/blob/master/AUTHORS 相关软件： github；普隆基2号；波塞冬2… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
莫兹2卡氏菌 引用于1份文件(2023) 软件作者： 鲍姆，C。；布劳恩，L。；Munch-Hansen，A。；斯科尔，P。 相关软件： – 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
波塞冬2 引用于1份文件(2023) 软件作者： 洛伦佐·格拉西；德米特里·霍夫拉托维奇；马库斯·肖夫内格 相关软件： github；普隆基2号；马林… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
普里奥+ 引用于1份文件(2022) 软件作者： 苏里亚·阿丹基；凯文·加贝（Kevin Garbe）；伊莱·雅菲；拉斐尔·奥斯特罗夫斯基；安提戈尼Polychroniadou 相关软件： github；振打器；libOTe… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SecVisor公司 在0个文档中引用 软件作者： Seshadri，A.，Luk，M.，Qu，N.，Perrig，A。 相关软件： CloudSec；ReVirt公司；RSYSLOG… 主要字段： 计算机科学（68-XX）
zkledger公司 引用于1份文件(2022) 软件作者： 纳鲁拉，N。；瓦斯克，W。；M·维尔扎。 相关软件： 乐高SNARK；CPSNARKs集；利布斯纳克 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
野餐 在0个文档中引用 软件作者： 丹尼尔·凯尔斯（Daniel Kales）；塞巴斯蒂安·拉马赫；克里斯蒂安·雷赫伯格（Christian Rechberger）；瓦尔赫，罗马人；马里奥·维尔纳 相关软件： – 主要字段： –