9-15 Oct 2023

This week I have continued to work on the key criteria and the related optimization problems for the prover design. As agreed the previous week all of us have created our individual prover designs and a selection of criteria for modelling. I have further fine-tuned the details and assumptions of my design.

We had a great brainstorming session with Nilu and Rachit, where we presented our models and discussed the underlying rationale. We are further aligning our models and the criteria to use in the agent-based modelling. I have incorporated some take-aways in my model already. Besides I have also started compiling a detailed description of our prover design. This could be part of our project output.

We have met Barnabé, our mentor, Thursday morning, presented our progress on the above, and had a great discussion on what to focus on when building the model in Python. Barnabé provided us with a great material related to the mathematical model and functions for certain core criteria, such as liveness, cost, decentralization.

Now our key focus is on the actual Python code for the modelling. We are starting off with a simple model, and iterating gradually as we go. Nilu and Rachit have been working on this in the past days already. I am much less experienced in coding then they are so this will be a great opportunity for me to learn and practise. We will be working on the model in the coming weeks.