Specular: Towards Trust-minimized Blockchain Execution Scalability with EVM-native Fraud Proofs.

Zhe Ye Ujval Misra Dawn Song

Published in: CoRR (2022)

Keyphrases

trust model
online banking
fraud detection
storage manager
anomaly detection
trust evaluation
data mining techniques
fault tolerance
specular reflection
social network analysis
light source
theorem proving
virtual communities
multithreading
health insurance
equational theories