Login / Signup
Off-chain Execution and Verification of Computationally Intensive Smart Contracts.
Emrah Sariboz
Kartick Kolachala
Gaurav Panwar
Roopa Vishwanathan
Satyajayant Misra
Published in:
CoRR (2021)
Keyphrases
</>
computationally intensive
symbolic execution
model checking
supply chain
execution model
neural network
smart environments
database
learning algorithm
data flow
electronic commerce
face verification
active databases
image quality
verification method
moral hazard
concurrent execution
ubiquitous environments