Groundhog: Linearly-Scalable Smart Contracting via Commutative Transaction Semantics.

Geoffrey Ramseyer David Mazières

Published in: CoRR (2024)

Keyphrases

concurrency control
special case
formal semantics
highly scalable
business transactions
database
logic programming
semantic information
smart environments
web scale
query processing
ambient intelligence
transaction processing
nested transactions