Functional Commitments for Circuits from Falsifiable Assumptions.

David Balbás Dario Catalano Dario Fiore Russell W. F. Lai

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

Keyphrases

delay insensitive
simplifying assumptions
circuit design
multiagent systems
infrared
functional properties
logic circuits
digital circuits
database
mobile robot
evolutionary algorithm
multiscale
information systems
artificial intelligence
machine learning
functional analysis
data sets