Seminar

Systematization of knowledge in the field of Post-hoc Concept-Based Explanations.

Ethereum smart contracts are Turing complete programs that operate on money and derived assets. With a market capitalization in the three digit billions, there is an interest in quantifying their usage. Despite blockchain data being public by design, large scale analysis of smart contracts is technically challenging to do on a large scale. We summarize methods to analyze contract usage on the Ethereum blockchain and categorize the most popular contracts by their application domain and behavior. Especially, changes in behavior before and after removing gas refunds on the Ethereum blockchain are analyzed. Furthermore, we quantify the adoption of final Ethereum Requests for Comments (ERCs), that standardize smart contracts for certain applications. According to the used metrics, trading related smart contracts, are the most popular. In that context, we explain, why using just a single metric can be misleading. The removal of gas refunds lead to significant changes in contract lifetime and state cleanup.

Presentation about: Using stainless for Full Coverage Unit Test Generation

Note: Navigate the presentation with n and p keys. There are 2D slides.

Dieser Blogeintrag ist eine Seminararbeit, die ich im Sommersemester 2020 im Rahmen des Seminars Schwachstellensuche am KIT geschrieben habe. Ich habe das LaTeX einmal durch pandoc gejagt, sodass ich es hier auf meinen Blog schmeißen kann. Möglicherweise leidet die Formatierung darunter.

Dieser Blogpost ist meine Proseminararbeit mit dem Titel „Nutzbarkeit von Rollenbasierter Modellierung im Domain-driven Design“ aus dem Sommersemester 2020. Während das KIT noch einiges an der Vergabe der Proseminare verbessern sollte, habe ich im Nachhinein viel über wissenschaftliches Schreiben und Software-Entwurf gelernt. (Trotz kompliziertem und intransparentem Vergabesystem ist es letztendlich gefühlter Zufall, ob und welches Thema man bekommt.) Es gab ein Peer-Review durch zwei andere Teilnehmende des Seminars, allerdings lagen die Themengebiete sehr weit auseinander. Die nicht optimale Formatierung dieses Blogposts liegt daran, dass ich die Quelldateien in zwei Schritten mit pandoc umgewandelt habe.