Keyphrases
Prover
100%
Verifier
99%
Interactive Proofs
60%
Proofs of Proximity
59%
Zero-knowledge Proof
50%
Extended Abstracts
34%
Batch Verification
31%
Fiat-Shamir
29%
Zero-knowledge
28%
Polynomial Time
28%
Communication Complexity
28%
Statistical Zero-knowledge
27%
Proof System
24%
Collision-Resistant Hash Function
24%
Hash Function
23%
Interactive Oracle Proofs
23%
Query Complexity
23%
Learning with Errors Problem
22%
Non-interactive
21%
Constant Rounds
21%
Computable
21%
Succinct Arguments
19%
Delegation of Computation
18%
Boolean Circuits
17%
Multicollision
17%
Encryption
16%
Linear Size
15%
Encryption Scheme
15%
Ciphertext
14%
Non-signaling
14%
Multi-prover Interactive Proofs
14%
Derandomization
14%
Cryptographic Assumptions
13%
Public Key
13%
Fiat-Shamir Transform
13%
Zero-knowledge Arguments
13%
Homomorphic Encryption
13%
Untrusted
13%
Bounded Space
12%
Circuit Lower Bounds
12%
One-way Function
12%
Argument Systems
12%
Exponential Time Hypothesis
12%
Collision Resistance
11%
Non-interactive Proofs
11%
Non-deterministic
11%
Exponential Separation
11%
Relaxed Locally Correctable Codes
11%
Designated Verifier
11%
Codeword
11%
Computer Science
Proof System
82%
Knowledge Proof
70%
Soundness
57%
Communication Complexity
49%
Hash Function
42%
Polynomial Time
41%
Learning with Errors
33%
Encryption Scheme
23%
Boolean Circuit
22%
Homomorphic Encryption
19%
Information Retrieval
17%
Ciphertext
14%
Obfuscation
13%
public key
12%
context-free language
11%
Space Overhead
11%
Data Dependency
11%
Local Correction
11%
Single Message
11%
Polynomial Space
10%
Integration Technology
9%
Individual Bit
9%
Protocol Verification
9%
public-key encryption
8%
Approximation (Algorithm)
8%
Hamming Distance
8%
Arithmetic Circuit
8%
Cryptographic Primitive
7%
Dynamic Environment
7%
Fully Homomorphic Encryption
6%
Knowledge Protocol
6%
Modified Version
5%
Modern Cryptography
5%
Public-Key Cryptography
5%
Linear Polynomial
5%
Cryptology
5%
Good Approximation
5%
Monitoring System
5%
random oracle model
5%
Constant Value
5%
Compression Scheme
5%
Distributed Computing
5%
Simulation Technique
5%
Strongest Result
5%
secure multiparty computation
5%
And Gate
5%
Error Polynomial
5%
Broadcast Protocol
5%
Reconfiguration
5%
Circuit Complexity
5%
