Hjem
Studentsider
Masteremne

Blokkjede-teknologi og formelle metoder

Hovedinnhold

Studiepoeng, omfang

15 ECTS

Studienivå (studiesyklus)

Master

Undervisningssemester

Autumn

Mål og innhald

The course aims at providing students with knowledge of the state-of-the-art blockchain technology. Moreover, students will learn how to use the tools and techniques of formal logic and theoretical computer science to analyse and reason about various blockchain aspects and properties. As a result of the course, students will have an in-depth understanding of formal methods for blockchain and be able to carry out research in the area.

As blockchain technology becomes more and more ubiquitous, there is a growing demand for rigorous and formal understanding of its key aspects. The course will provide an advanced overview of blockchain theory and models with detailed analyses of some of its implementations. A special focus will be set on various notions of consensus, like proof-of-work and proof-of-stake. Both the blockchain itself and consensus will be then formally analysed using the notions and techniques of theoretical computer science, e.g. Merkle trees and modal logic. We will also cover one of the most prominent applications of blockchains ¿ smart contracts. The focus will be on Ethereum smart contracts, and their implementation in Solidity programming language. The course will also include a detailed overview of cryptographic methods used to ensure the safety on a blockchain.

The course material will include selected chapters from textbooks and research papers.

Læringsutbyte

By the end of the course a participating student will have the following knowledge, skills, and general competence.

Knowledge

The student has rigorous and advanced understanding of blockchains and formal methods for them.

Skills

The student is able to discuss and present state-of-the-art research papers on formal aspects of blockchain that allows them to conduct a research project in the area. Moreover, the student has a firm grasp on smart contracts and is able to prototype them in Solidity programming language. 

General competence

The student is able to read advanced research papers on formal methods for blockchain and verification of smart contracts.

Krav til forkunnskapar

INFO104 or equivalent and INFO132 or equivalent.

Tilrådde forkunnskapar

Any background in logic or formal methods would be useful.

Studiepoengsreduksjon

None

Krav til studierett

Master's programme in Information Science. Other master students are allowed to apply for admission.

Arbeids- og undervisningsformer

Lectures and seminars.

Obligatorisk undervisningsaktivitet

Attendance of 80% of course sessions is required. There will be compulsory assignments in the course.

Vurderingsformer

Written exam (70%)

Three graded assignments (30%)

Hjelpemiddel til eksamen

None

Karakterskala

A-F

Vurderingssemester

Assessment in teaching semester

Litteraturliste

Vitenskapelige artikler.

Emneevaluering

All courses are evaluated according to UiB's system for quality assurance of education.

Programansvarleg

The Information Science Programme Committee at the Department of Information Science and Media Studies

Administrativt ansvarleg

The Department of Information Science and Media Studies at the Faculty of Social Sciences has the administrative responsibility for the course

Kontakt

studieveileder@ifi.uib.no

Tlf 55 58 91 00 / 55 58 41 17

Eksamensinformasjon

  • Klokkeslett for oppstart av skriftlig eksamen kan endre seg fra kl 09.00 til 15.00 eller vice versa inntil 14 dager før eksamen.

  • Vurderingsordning: Skuleeksamen og mappe med tre oppgåver

    Trekkfrist
    08.12.2022
    • Eksamensdel: Skuleeksamen

      Dato
      22.12.2022, 15:00
      Varigheit
      3 timer
      Eksamenssystem
      Inspera
      Digital eksamen
    • Eksamensdel: Mappe med tre oppgaver

      Eksamenssystem
      Inspera
      Digital eksamen