EntrapNet: a Blockchain-Based Verification Protocol for Trustless Computing
Chong Li, Lei Zhang, Serbiao Fang

TL;DR
EntrapNet is a blockchain-based protocol designed to ensure secure and efficient distributed computing in IoT networks by reducing incorrect results through an entrapment-inspired verification mechanism, optimized for security and efficiency.
Contribution
We introduce EntrapNet, a novel blockchain-based verification protocol that enhances trustless distributed computing with an entrapment-inspired approach and mathematical optimization.
Findings
EntrapNet effectively reduces incorrect results in trustless networks.
The protocol achieves an asymptotic optimal balance between security and efficiency.
EntrapNet can be integrated as a low-cost layer over existing trustless networks.
Abstract
In this paper, we propose a blockchain-based computing verification protocol, called EntrapNet, for distributed shared computing networks, an emerging underlying network for many internet of things (IoT) applications. EntrapNet borrows the idea from the practice of entrapment in criminal law to reduce the possibility of receiving incorrect computing results from trustless service providers who have offered the computing resources. Furthermore, we mathematically optimize EntrapNet to deal with the fundamental tradeoff of a network: security and efficiency. We present an asymptotic optimal solution to this optimization. It will be seen that EntrapNet can be performed as an independent and low-cost layer atop any trustless network that requires outsourced computing, thus making secure computing affordable and practical.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBlockchain Technology Applications and Security · Distributed systems and fault tolerance · Security and Verification in Computing
