术语表
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
A
ASIC（特定应用集成电路） - 一种专门为特定应用或功能设计的集成电路，通过实现专用于该特定任务的硬件来提供优化的性能和效率。
Authentication（身份验证） - 验证用户、设备或系统的身份的过程，以确保其真实且被授权访问特定资源或信息。
Aurora - Aurora是一种零知识证明系统，它结合了zk-SNARKs和Bulletproofs，以实现通用计算的紧凑证明。
AuroraLight - AuroraLight是对Aurora的改进，它在保持其通用性和安全性的同时，实现了更快的证明时间和更小的证明大小。
B
Bulletproofs - Bulletproofs是一种非交互式的零知识证明构造，可以有效验证范围证明和算术电路。
C
Cryptography（密码学） - 安全通信技术的实践和研究，包括加密、解密和各种密码协议。
Completeness（完备性） - 零知识证明协议的属性，保证一个诚实的证明者可以使验证者相信一个正确的陈述。
Commitment Scheme（承诺方案） - 一种密码协议，使一方能够承诺一个值而不泄露它，并在以后证明所承诺的值的一致性。
Computational Zero Knowledge（计算零知识） - 零知识证明的三种安全级别中最低的级别，确保有效的计算算法无法在合理的时间内区分有效和无效的证明。
D
E
F
Fiat-Shamir Heuristic （Fiat-Shamir 启发式） - 一种技术，用于将交互式零知识证明转换为非交互式形式，通过模拟验证者的挑战来实现。
FPGA（现场可编程门阵列） - 一种可编程和可重编程的集成电路，可以执行各种任务，为不同应用提供灵活性和定制性，而无需固定设计。
Fractal（分形） - 分形是一种非交互式的零知识证明系统，可在分布式环境中进行可扩展和高效的陈述验证。
G
Groth16 - Groth16是一种非交互式的零知识证明系统，利用椭圆曲线配对实现简洁和高效的验证。
H
Homomorphic Encryption（同态加密） - 一种加密形式，允许在加密数据上执行数学运算而无需解密。
Hardware Acceleration（硬件加速） - 使用专用硬件组件或指令来比软件方法更高效地执行计算。
Halo - Halo是一种递归证明组合技术，可用于构建通用算术电路的紧凑零知识证明。
Hyrax - Hyrax是一种零知识证明系统，可为验证算术和布尔电路的可满足性提供高效和简洁的方法。
I
Interactive Proof（交互式证明） - 一种零知识证明，其中证明者和验证者进行多轮通信以建立证明的有效性。
J
K
L
Ligero - Ligero是一种专为区块链应用设计的零知识证明系统，为验证提供低计算和存储要求。
M
Marlin - Marlin是一种零知识证明系统，利用递归组合构建具有低证明大小和验证时间的大规模零知识证明。
Merkle Tree（默克尔树） - 密码学中的一种树数据结构，可有效验证数据元素的完整性和成员资格。
Multi-party Computation(MPC) （多方计算） - 一种密码协议，使多个参与方能够在保护各自输入数据隐私的同时共同计算一个函数，使他们能够集体获得所需结果，而不向彼此透露个体数据。
N
Non-interactive Proof（非交互式证明） - 一种零知识证明，证明者生成一个单一的证明，与验证者没有任何交互。
NTT (Number Theoretic Transform)（数论变换） - 一种数学技术，用于在各种应用中进行高效的多项式乘法和快速傅里叶变换，如信号处理、纠错码和密码学。
O
P
Pairing-Based Cryptography（基于配对的密码学） - 一种利用数学配对执行各种操作并实现高级密码协议的密码学方法。
Perfect Zero Knowledge（完全零知识） - 零知识证明提供的一种安全级别，验证者对被证明的秘密信息除了陈述的有效性之外，不获得任何额外的知识。
Plonk - Plonk（基于置换的SNARK）是一种零知识证明系统，利用置换论证实现简洁性和效率。
Privacy（隐私） - 不受未经授权的侵入、监视或个人或敏感信息披露的状态。
Proof Of Knowledge（知识证明） - 密码学概念，证明者向验证者证明对某些信息或知识的掌握，而不揭示实际信息。
Prover（证明者） - 零知识证明协议中具有秘密知识的实体，旨在向验证者证明其知识。
Pseudorandom Function（伪随机函数） - 伪随机函数（PRF）是一种确定性函数，它接受一个输入并产生一个看似随机的输出，尽管它是由确定性算法生成的，但在实际目的上与真正的随机函数无法区分。
Q
QAP（二次算术程序） - QAP是一种将算术电路表示为二次多项式的方法，常用于零知识证明系统中的高效证明生成和验证。
R
R1CS（秩-1约束系统） - R1CS是一种在零知识证明系统中使用的数学框架，用于将计算问题表示为约束集合。
Redshift - Redshift是一种为区块链应用设计的零知识证明系统，提供可扩展性、效率和后量子安全性。
Ring Signature（环签名） - 一种密码学数字签名方案，允许用户代表一组（或环）潜在签名者对消息进行签名，同时保持实际签名者在群组中的身份的隐私。
S
Security（安全性） - 保护硬件、软件和数据免受未经授权的访问、盗窃、损坏或中断，旨在维护机密性和完整性。
Side-channel Attacks（侧信道攻击） - 利用意外信息泄漏（如时间、功耗或电磁辐射）来推断秘密信息的攻击。
Statistical Zero Knowledge（统计零知识） - 零知识证明提供的一种安全级别，其中验证者除了以极低的概率之外，无法区分有效证明和错误证明。
Sonic - Sonic（可扩展、非交互式和紧凑）是一种零知识证明系统，可用于验证大规模计算的可扩展性和效率。
Soundness（正确性） - 零知识证明协议的属性，确保诚实的证明者无法使验证者相信错误的陈述。
Spartan - Spartan是一种零知识证明系统，实现了透明性、可扩展性和后量子安全性，而无需信任设置。
Supersonic - Supersonic 是一种零知识证明系统，可对算术电路和布尔可满足性进行高性能和高效的验证。
T
Trusted Execution（可信执行） - 在安全和隔离的环境中执行程序或进程，保护其免受篡改和未经授权的访问。
Trusted Setup（可信设置） - 为零知识证明协议生成初始参数的过程，确保它们不会泄露任何秘密信息。
U
V
Verifier（验证者） - 在零知识证明协议中，挑战证明者的声明并验证证明的有效性，而不获取秘密知识的实体。
W
Witness Indistinguishable Proof（证人难以区分的证明） - 一种密码学证明，保证在给定两个针对同一语句的有效证明时，对手无法计算地区分哪个证明对应真实的见证。
X
Y
Z
Zero Knowledge Proof（零知识证明） - 一种密码协议，其中证明者可以展示对一个秘密的知识，而不泄露秘密本身，使验证者相信其有效性。
Zero Knowledge Property（零知识性质） - 零知识证明协议的性质，确保验证者除了秘密的有效性之外，不会学到任何额外的信息。
zk-rollups - zk-rollups，即零知识Rollups，是区块链网络的第二层扩展解决方案，利用零知识证明来聚合和验证多个离线交易，提高可扩展性，降低交易费用，同时保持底层区块链的安全性和无需信任性。
zk-STARKs - 零知识可扩展透明知识证明（zk-STARKs）是一种无需信任设置即可实现透明性和可扩展性的零知识证明。
zk-SNARKs - 零知识简洁非交互式知识证明（zk-SNARKs）是一种提供简洁性和非交互性的零知识证明。
ZPU - 零知识处理单元（ZPU）是一种应用特定集成电路（ASIC），旨在加速零知识证明计算并提高密码协议的效率。