Fides: A System for Verifiable Computation Using Smart Contracts.

Mahmudun Nabi Sepideh Avizheh Reihaneh Safavi-Naini

Published in: Financial Cryptography Workshops (2022)

Keyphrases

efficient computation
supply chain
sufficient conditions
knowledge base
special case
neural network
image processing
three dimensional
multiscale
data structure
learning environment
data streams
computational complexity
mobile robot
medical images
efficiently computing