设 sum 是任意集合,sum^* 是所有的长度有限的字符串 <x_1, .., x_n> ,其中 x_j 取自 sum ,空字符串 <> ∈ sum^* 。语言 L 是 sum^* 的子集。在这种情况下,sum 是语言 L 的子母表,sum 中...
zero-knowledge protocol:是一组数学规则,根据这些规则,在给定 instance 后,prover 可以向 verifier 证明自己知道该 instance 的 witness 而不揭露 witness 任何信息。...
自然数的素数分解:每个自然数 n 都可分解为一系列素数,n = p1 · p2 · ... · pk
Short Weierstrass 椭圆曲线:F 是特征 q > 3 的有限域,a, b ∈ F,且 4a^3 + 27b^2 ne 0 ,所有点 (x, y) ∈ F x F 满足方程 y^2 = x^3 + ax + b 所组成的集合,还有额外的一个点 O,称为无穷点:...