Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations.

Alvaro Alonso Domenech Jonathan Heiss Stefan Tai

Published in: CoRR (2024)

Keyphrases

pac learning
black box
data sets
database systems
sufficient conditions
learning theory
machine learning
learning algorithm
active learning
learning problems
execution model