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

Hyeonbum Lee Jae Hong Seo

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

vector space
argumentation schemes
neural network
distributed environment
theorem prover
network connection
learning algorithm
theorem proving
linear logic
probability measure
proof theory