Code Monkey home page Code Monkey logo

gabulhas / protocol-live-testing-tool Goto Github PK

View Code? Open in Web Editor NEW
0.0 0.0 0.0 132.96 MB

Live Protocol Tester built for Tezos. Also includes Proof of Work and Proof of Authority.

Home Page: https://gitlab.com/Gabulhas/tezos

License: MIT License

Makefile 0.03% Dockerfile 0.01% OCaml 84.31% Shell 0.17% Emacs Lisp 0.04% Python 1.84% Nix 0.01% Perl 0.02% C 0.01% JavaScript 2.41% Standard ML 0.08% HTML 0.01% SourcePawn 0.01% WebAssembly 10.91% CSS 0.01% C++ 0.01% Batchfile 0.01% LigoLANG 0.14%
proof-of-authority proof-of-work test tezos

protocol-live-testing-tool's Introduction

Cliché "About Me" thing

I'm a MSc Computer Science student from the University of Beira Interior, Portugal, with a keen interest in Blockchain, Distributed Systems, and Functional Programming.

Recently interned at Nethermind, diving deep into Blockchain Consensus Protocols and Layer 2s.

🎓 Education

  • BSc and MSc in Computer Science from the University of Beira Interior

💼 Work Experience

  • Intern, Nethermind (June 2023 - August 2023)
    • Teams: Starknet.go
  • Junior Researcher, Release Lab, University of Beira Interior (Sep 2022 - Present)
    • Master’s Thesis Research with a focus on Blockchain Consensus Algorithms
  • Freelancer Software Developer (Oct 2019 - Present)
    • Delivered various software solutions including management tools, bots, and database management

🛠️ Languages (not in any particular order)

Go, OCaml, Rust, Elixir, Solidity, Python, C, Java, JavaScript, Bash, SQL, HTML, CSS, X86_64 ASM, and much more (Why get do we care about specific languages when the real skill is in the art of programming itself?)

📦 Relevant Repos

  • Thesis: My written thesis on ways and tools to live test Blockchain Consensus Protocol.

  • Tezos PoW, PoA and Live Testing Tool: Implementation of the Proof of Work and Proof of Authority Blockchain Consensus protocols, alongside a Protocol Bootstrapper and Live Tester for Tezos Blockchain Node - a significant part of my Master Degree Research.

  • Arrow Distributed Directory Protocol: A robust implementation of the Arrow Distributed Directory Protocol enabling Queued Mutually Exclusive Access to shared objects in a Graph network. Also includes a live visualization of the network. Explore the original article for a deeper understanding.

  • Garbage Lisp: Discover the power of Lisp with Garbage Lisp, a Turing complete Lisp Implementation crafted in Go.

  • Pascal Compiler: Traverse the journey from Pascal to X86 with this compiler, coded in OCaml.

  • Advent of Code solutions: Solutions for the Advent of Code in programming languages selected at random.

  • Key Value Database: Your typical Key Value Database that writes to disk. Built in C with BTrees.

  • CFL: Golang Concurrent and Functional Library. Implementation of your typical Functional stuff with a touch of concurrency!

📚 Projects

  • Research on Blockchain Consensus Algorithms (Master's Thesis, 2023)
    • Implementation of a new protocol/consensus algorithm for the Tezos Blockchain.
    • Implementaiton of tools to develop and test consensus protocols in real scenarios.
  • Pascal Compiler (2022)
    • Developed a Pascal Compiler generating x86_64 assembly code
  • Research on Distributed Algorithms (Bachelor's Thesis, 2021)
    • Implementation and visualization of the Arrow Distributed Directory Protocol in Go

🌐 Find me on

🏆 Achievements

  • Solana Breakpoint Conference 2023: Received Student Fellowship Ticket Again!
  • SWERC 2023: South Eastern Europe Programming Competition
  • Solana Breakpoint Conference 2022: Received Student Fellowship Ticket
  • MIUP 2022: National Programming Competition

🎣 Hobbies

  • Fishing, Beekeeping, Farming, Cycling, solving the Rubik's cube, and Drinking. Basically touching grass.

protocol-live-testing-tool's People

Contributors

abate avatar acerone-trilitech avatar acoquereau avatar arvidj avatar chambart avatar clarus avatar dannywillems avatar g-b-fefe avatar gabulhas avatar hnrgrgr avatar iguernl avatar klakplok avatar lthms avatar mbouaziz avatar mebsout avatar nicnomadic avatar paracetamolo avatar picdc avatar raphael-proust avatar remyzorg avatar saroupille avatar sheremetyev avatar smelc avatar smondet avatar sribst avatar sventimir avatar vapourismo avatar vbmithr avatar vch9 avatar vect0r-vicall avatar

Watchers

 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.