Bachelor / Master Thesis

Distributed protocols in DFINITY

DFINITY is a blockchain-based cloud computing company which aims to develop a decentralized “internet computer that will become the cloud 3.0.”. The Internet Computer is formed by an advanced decentralized protocol called ICP (Internet Computer Protocol) that independent data centres around the world run to combine the power of individual computers into an unstoppable seamless universe where internet native software is hosted and run with the same security guarantees as smart contracts [1].

Motoko is a software language being developed by the DFINITY Foundation, with an accompanying SDK, that is designed to create reliable and maintainable websites, enterprise systems and internet services on the Internet Computer [2]. 

The goal of this thesis is to explore distributed applications running on the Internet Computer, to learn Motoko language, and to implement standard distributed-programming protocols in this environment. For instance, these can be protocols such as described in Introduction to Reliable and Secure Distributed Programming [3]. 

References

[1] DFINITY

[2] SDK Difinity

[3] Introduction to Reliable and Secure Distributed Programming

Contact Jovana Micic for more information.

Nature of the project: Theory 20%, Systems 80%.