TENET: Sublogarithmic Proof and Sublinear Verifier Inner Product Argument without a Trusted Setup.

Hyeonbum Lee Jae Hong Seo

Published in: IWSEC (2023)

Keyphrases

theorem prover
argumentation schemes
vector space
hilbert space
legal knowledge
legal cases
data sets
theorem proving
graphical representation
linear logic
hypothetical reasoning
logical rules
abstract argumentation
network connection
mathematical proofs