Login / Signup
Linear-Time Arguments with Sublinear Verification from Tensor Codes.
Jonathan Bootle
Alessandro Chiesa
Jens Groth
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
high order
model checking
error correction
worst case
formal verification
higher order
face verification
verification method
diffusion tensor
tensor space
legal argument
error correcting codes
error correcting
tensor field
linear space
data sets
upper bound