EtherTrust
EtherTrust - Trustworthy smart contracts

EtherTrust

Förderjahr 2017 / Project Call #12 / ProjectID: 2158

EtherTrust ist ein Analysetool für Ethereum smart contracts. Smart contracts sind Programme, die in der Kryptowährung Ethereum Finanzflüsse steuern. Fehlerhafte oder bösartige contracts können den Nutzer viel Geld kosten – im Vorfeld ist das jedoch kaum zu erkennen. Hier hilft EtherTrust: Auf einer intuitiven Website können Nutzer contracts, die sie verwenden wollen, analysieren. So können sie mit Sicherheit ausschließen, dass ein contract bestimmte gefährliche Eigenschaften hat – dafür gibt es eine bewiesene Garantie.

EtherTrust is an analysis tool for Ethereum smart contracts. Smart contracts are programs that control money flows in the crypto currency Ethereum. Faulty or malicious smart contracts can make users loose a lot of money - spotting such contracts in advance however is a delicate task. Here EtherTrust comes into play: On an intuitive website, users can analyse those contracts that they want to use. In this way they can make sure that a contract does not show malicious behaviour - EtherTrust provides a reliable guarantee for that.

Summary

summary.pdf
(18.02 KB )

Themengebiet

Blockchain

Zielgruppe

Start-ups
,
thematische Community

Gesamtklassifikation

Client Server Applikation
,
SW-Framework

Technologie

blockchain
,
Java
,
Javascript

Uni | FH [Universität]

Technische Universität Wien

Projektergebnisse

Summary CC-BY

Kurzzusammenfassung des Projektes (Short project summary)

Website

Website von EtherTrust (website of EtherTrust)

Anwenderdoku CC-BY

Anwenderdokumentation von EtherTrust (user guide)

Einführung in die Funktionsweise der Website für Anwender (Introduction to using the website)

Code GPL 3.0

Github Repository von EtherTrust (GitHub repository of EtherTrust)

Entwicklerdoku CC-BY

Entwicklerdokumentation von EtherTrust (developer guide)

Übersicht für Dritte, die EtherTrust weiterentwickeln wollen. (Overview for everyone willing to develop EtherTrust further)

Paper CC-BY

EtherTrust: Sound Static Analysis of Ethereum bytecode

Technischer Report zur statischen Analyse von Ethereum smart contracts. (Technical report for the static analysis of Ethereum smart contracts)

Paper CC-BY

A Semantic Framework for the Security Analysis of Ethereum smart contracts

Technischer Report für die formale Semantik und Sicherheitseigenschaften von Ethereum smart contracts. (Technical report for the formal semantics and security properties of Ethereum smart contracts.)

Paper CC-BY

Foundations and Tools for the Static Analysis of Ethereum smart contracts

Tutoriums- und Übersichtspapier zur statischen Analyse von Ethereum smart contracts. (Tutorial and survey paper on the static analysis for Ethereum smart contracts.)

Präsentation CC-BY

Tutorial: Foundations and Tools for the Static Analysis of Ethereum smart contracts

Tutorium zur statischen Analyse von Ethereum smart contracts (gehalten auf CAV 2018). Tutorial on the static analysis for Ethereum smart contracts (given at CAV 2018)

Code GPL 3.0

FStar Implementierung der Small-Step Semantic (FStar implementation of the small-step semantics)

Zwischenbericht CC-BY

Zwischenbericht des Projektes (midterm report)

Endbericht CC-BY

Endbericht (final report)

Endbericht zum Projekt EtherTrust (final report for the EtherTrust project)

Studie | Bericht | Konzept CC-BY

Dokumentation der Externkommunikation (documentation of external communication)

Client-SW GPL 3.0

EtherTrust Prototype (Binaries)

Erster Prototyp für das Analysetool EtherTrust (Binaries), veraltet. (First prototype of the analysis tool EtherTrust, outdated)

Code GPL 3.0

EtherTrust Prototype (Sources)

Erster Prototyp für das Analysetool EtherTrust (Sources), veraltet. (First prototype of the analysis tool EtherTrust, outdated)

Blogbeiträge

Datenschutzinformation
Der datenschutzrechtliche Verantwortliche (Internet Privatstiftung Austria - Internet Foundation Austria, Österreich) würde gerne mit folgenden Diensten Ihre personenbezogenen Daten verarbeiten. Dies ist für die Nutzung der Website nicht notwendig, ermöglicht aber eine noch engere Interaktion mit Ihnen. Falls gewünscht, treffen Sie bitte eine Auswahl: