Constraint-Packing and the Sum-Check Protocol over Binary Tower Fields.

Quang Dao Justin Thaler

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

Keyphrases

lightweight
binary valued
computer vision
linear constraints
square error
data sets
packing problem
formal analysis
coloured petri nets
neural network
digital libraries
sensor networks
non binary
security protocols
tcp ip
cryptographic protocols