Nuno Neto's Projects
An All pairs shortest path implementation using Message Passing Interface. This is an assignment for the course Parallel Computing.
2ΒΊ Trabalho ASW
A TLS implementation over AsyncRead and AsyncWrite
An efficient, modular BFT framework to allow for quick development of BFT protocols and their respective fair comparison.
The module that provides the proto files and the necessary build logic to provide capnp support for the Atlas framework's serialization process. This is currently not supported
The atlas Client module, made to communicate with the Atlas replicas. Works in a RPC like style. Capable of basically unlimited concurrent requests. Very lightweight.
A byte level networking protocol, implemented utilizing MIO (Epoll) for maximum performance.
The atlas common module, defining various needed utilities for the Atlas Framework
The atlas communication module, defining the networking layer for the Atlas framework
The Atlas Core Module
Decision log implementation for the BFT framework Atlas.
Examples of how to utilize the framework Atlas to build various types of applications.
The Log Transfer module for the Atlas framework. Responsible for transferring the ordering protocol log of stateful order protocols between nodes.
Atlas crate containing abstractions to handle logged ordering protocols, for any application.
The Atlas metrics module, defining the utilities for facilitating metrics in the Atlas framework
The persistent log module for Atlas. Capable of persisting messages from Stateful Order protocols, Monolithic and Divisible state transfer protocols.
The dynamic reconfiguration protocol for the Atlas framework. Capable of interacting with reconfigurable order protocols. Able to dynamically add nodes to the network (leaving is a WIP).
The atlas SMR application layer. Defines the necessary traits the application developer should implement in order to utilize this framework for developing BFT SMR applications
The atlas core abstractions for SMR abstractions
The Atlas SMR execution layer. Responsible for receiving decisions from the ordering protocol and executing them on the application defined by the developer
The atlas BFT SMR Replica module, combines all the necessary abstractions in order to make a replica that can participate in a BFT quorum and execute an application.
Various tools that are used by atlas.
The view transfer protocol for the Atlas Framework. Made to be used in combination with permissioned ordering protocols
Altered version of BFT-Smart
The central hub that handles inputs from arduinos and also handles android client requests.
Ceph is a distributed object, block, and file storage platform
A website defacement monitoring tool written in rust that utilizes chromium headless to obtain fully rendered DOMs and page pdfs.
A Block chain implementation (With PoW and Proof of stake proposal) with a full kademlia implementation supporting Broadcasting, individual message sending, resistance to sybil attacks and eclipse through trust mechanisms and CRC requests for node validation. Also has auction support but it was not fully implemented.
Dolphin: a DSL for autonomous vehicle networks