Smarta kontrakt är program som kör autonomt på blockkedjor. Deras huvudsakliga användningsområden (t.ex. Finansiella instrument) kräver att de konsumerar data från utanför blockkedjan (t.ex. börsnoteringar). Tillförlitliga dataflöden som stöder ett brett spektrum av dataförfrågningar kommer därför att vara avgörande för smarta kontraktsekosystem. Vi presenterar en autentiserad data feed system som kallas Town Crier (TC). TC fungerar som en bro mellan smarta kontrakt och befintliga webbplatser, som redan är allmänt betrodda för icke-blockkedjeapplikationer. Den kombinerar en blockchain front end med en betrodd hårdvara back end för att skrapa HTTPSenabled webbplatser och tjäna käll-autenticated data att förlita sig smarta kontrakt. TC stöder också sekretess. Det möjliggör privata dataförfrågningar med krypterade parametrar. Dessutom, i en generalisering som utför smarta kontrakt logik inom TC, systemet tillåter säker användning av användarbehörigheter för att skrapa åtkomst-kontrollerade online datakällor. Vi beskriver TC:s designprinciper och arkitektur och rapporterar om en implementering som använder Intels nyligen införda Software Guard Extensions (SGX) för att tillhandahålla data till Ethereums smarta kontraktssystem. Vi modellerar formellt TC och definierar och bevisar dess grundläggande säkerhetsegenskaper inom ramen för Universal Composibility (UC). Våra resultat inkluderar definitioner och tekniker av allmänt intresse relaterade till resursförbrukning (Ethereums "gas"-avgiftssystem) och TCB-minimering. Vi rapporterar också om experiment med tre exempeltillämpningar. Vi planerar att lansera TC snart som en online public service.
TOWN CRIER REF syftar till att ge tillförlitliga data till smarta kontrakt eftersom många tillämpningar av smarta kontrakt behöver data från utanför blockkedjan.
Town Crier: An Authenticated Data Feed for Smart Contracts
{'venue': "CCS '16", 'journal': None, 'mag_field_of_study': ['Computer Science']}