In this talk I will present the design of the networking layer which has been developed for the Ouroboros family of consensus protocols.
I will present some of the main components of the design: a session type framework and multiplexer that the networking team developed (or is developing).
The work has been carried by IOHK networking team with a close co-operation with Well-Typed and Predictable Network Solutions.
BIO
Marcin is a mathematician and a functional programmer. He did research in Abstract Algebra and Category theory in the crossroads of Galois theory. He also did research in Game Theory. He has been programming in various languages and paradigms: from C and Python, to PureScript and Haskell, and logic programming. Currently he is working for IOHK on the blockchain technology.
For more information, visit his personal website: http://coot.me/
