Batching non-membership proofs with bilinear accumulators.
Steve ThakurPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- theorem prover
- fuzzy membership
- natural deduction
- scheduling problem
- single machine
- theorem proving
- formal proofs
- formal proof
- singular value decomposition
- mathematical proofs
- equational theories
- least squares
- knowledge representation
- decision making
- release dates
- artificial neural networks
- clustering algorithm
- artificial intelligence