Keyphrases
ANSI-C
19%
Arithmetic Circuits
11%
Arithmetic Representation
8%
Blowing
9%
Boolean
15%
Boolean Circuits
29%
C Program
13%
Circuit Model
9%
Circuit-based
16%
Commodity Hardware
9%
Compiler
9%
Conditional Branch
19%
Constrained Horn Clauses
9%
Disjoint
9%
Disjunction
9%
Efficient Arithmetic
24%
Execution Path
14%
Function Evaluation
9%
Garbled Circuits
100%
Garbled RAM
23%
Garbling Schemes
14%
Instruction Set Architecture
9%
K-out-of-n System
9%
Knowledge Processor
26%
Linear MPC
9%
MPC-in-the-head
9%
Multiplication Triple
9%
Nave
9%
Non-interactive
13%
Oblivious Computation
9%
Oblivious Linear Evaluation
22%
Oblivious RAM
29%
Oblivious Transfer
17%
One-hot
9%
Proof System
8%
Prover
9%
Relational Verification
9%
Robin
16%
Scalar multiplication
9%
Secure multi-party Computation
9%
Security Parameters
20%
Snippets
9%
Symphony
9%
Synchronization Point
9%
Tight
9%
Tri-state
9%
Wall Clock Time
11%
Zero-knowledge
62%
Zero-knowledge Proof
40%
ZK Proofs
13%
Computer Science
And Gate
18%
Arithmetic Circuit
19%
Arithmetic Operation
6%
Blockchain
9%
Blog
9%
Boolean Circuit
61%
Boolean Operation
9%
Branching Factor
24%
C Program
13%
Circuit Evaluation
23%
Classic Approach
9%
Commodity Hardware
9%
Communication Cost
6%
Computation Cost
8%
Computational Effort
9%
Computer Architecture
9%
Computer Hardware
8%
Conditional Branch
29%
Control Flow
18%
Control-Flow Graph
9%
Execution Path
44%
Formalization
9%
Function Evaluation
9%
Garbage Collection
9%
High-Level Language
8%
Information Retrieval
9%
Invariant
7%
Knowledge Processor
26%
Knowledge Proof
75%
Knowledge Protocol
18%
Knowledge-Based System
9%
Local Area Network
26%
Matrix Multiplication
9%
Model of Computation
9%
Multiplexer
9%
Performance Improvement
9%
Program Execution
24%
Proof System
19%
random oracle model
9%
Read Only Memory
13%
Research Knowledge
9%
Scalar Multiplication
9%
secure multiparty computation
9%
Security Parameter
51%
Single Instruction Multiple Data
9%
Synchronization Point
9%
Table Lookup
19%
Truth Table
8%
Underlying Assumption
9%
Wide Area Network
14%
