REVIEW 1 cited by
Smart Contracts for Machine-to-Machine Communication: Possibilities and Limitations
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
Blockchain technologies, such as smart contracts, present a unique interface for machine-to-machine communication that provides a secure, append-only record that can be shared without trust and without a central administrator. We study the possibilities and limitations of using smart contracts for machine-to-machine communication by designing, implementing, and evaluating AGasP, an application for automated gasoline purchases. We find that using smart contracts allows us to directly address the challenges of transparency, longevity, and trust in IoT applications. However, real-world applications using smart contracts must address their important trade-offs, such as performance, privacy, and the challenge of ensuring they are written correctly.
Forward citations
Cited by 1 Pith paper
-
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
A CEGIS-style verifier that automatically discovers transaction invariants achieves high recall and low false positives for arithmetic safety of Ethereum smart contracts.
Discussion (0). Continue with ORCID to comment.