PUNTEGGIO REVISORE 1: 97/100 1. Qualità del progetto di ricerca The project aims at developing analysis techniques and software tools for private blockchains. In particular, it will focus on the properties of non-interference and reversibility. The project makes a very good job of explaining the pertinence of studying these properties for private blockchains and justifying the interest of the latter as well as their scientific and societal impacts. But it is less convincing on the reasons why these two particular properties should be studied together rather separately, apart from having a holistic approach and using a common formalism. That said, if the pertinence of this combination is accepted, the project is clear, well-structured, and innovative. 1.a) Chiarezza e pertinenza degli obiettivi del progetto 9 - Molto buono / molto convincente, punti deboli minori 1.b) Rilevanza ed originalità del progetto proposto nella specifica area scientifica 10 - Outstanding / pienamente convincente, nessun punto debole 1.c) Metodologia adottata, organicità del progetto, anche rispetto allo specifico contributo delle unità locali (se previste) 10 - Outstanding / pienamente convincente, nessun punto debole 1.d) Posizionamento del progetto rispetto allo stato dell’arte nella specifica area scientifica 10 - Outstanding / pienamente convincente, nessun punto debole 2. Composizione del gruppo di ricerca, fattibilità e congruità del progetto The composition of the consortium is excellent with the right and complementary expertise for each problem tackled. The only risk is a weak cross-competence that might lead to scarce collaboration, each group working separately on their domain of expertise. However, the work—in particular the work-packages—is structured so as to minimize this risk. The structuration and distribution of the work give good confidence that the objectives will be reached in the proposed time frames. The financial requests are reasonable (minor point: the cost of equipment seems slightly overstated for a project of a mostly theoretical nature). I do not know what "item E" of costs refers to, so I cannot judge. 2.a) Eccellenza del Principal Investigator, dei responsabili delle unità locali (se previste) e dell’intera compagine di ricerca 9 - Molto buono / molto convincente, punti deboli minori 2.b) Capacità di realizzare il progetto proposto (qualificazione, composizione e complementarietà dell’intera compagine proposta) 10 - Outstanding / pienamente convincente, nessun punto debole 2.c) Organizzazione del progetto riguardo agli obiettivi proposti, ai tempi ritenuti necessari per il completamento del progetto e alle risorse richieste (strumentazione, dimensioni della compagine di ricerca, management) 10 - Outstanding / pienamente convincente, nessun punto debole 2.d) Coerenza degli impegni temporali dei componenti della compagine di ricerca, congruenza e pertinenza del piano di spesa con gli obiettivi e l'articolazione delle attività 10 - Outstanding / pienamente convincente, nessun punto debole 3. Impatto sociale del progetto As I said the project makes a very good job of explaining the societal impact of the research and why it is important to study permissioned private (rather than public) block-chains and why the properties the project will focus on are pertinent for the latter. This is nicely framed in the current objectives and legislation constraints of the EU. Actually, the technological and economical challenges and issues and the possible impact and the (long) list of stakeholders of research aiming at enhancing the security and reversibility of transactions on private blockchains seems pretty evident and self-explanatory. The presence of an industrial partner would be a plus (is it possible in Prin?) 3.a) Sfide che la ricerca affronta sotto il profilo dell’incidenza sull'innovazione tecnologica, sulle applicazioni industriali, sulla crescita economica ovvero sulla soluzione di problemi sociali, sulla protezione dell’eredità culturale o dell’ambiente anche con approcci interdisciplinari 10 - Outstanding / pienamente convincente, nessun punto debole 3.b) Efficacia delle azioni di divulgazione del progetto di ricerca e dei relativi risultati; impatto del progetto sulla comunità scientifica e sulla società alla luce degli obiettivi definiti dal programma quadro di ricerca ed innovazione dell'UE 9 - Molto buono / molto convincente, punti deboli minori ============================================================================================================ PUNTEGGIO REVISORE 2: 93/100 1. Qualità del progetto di ricerca Goal: modelling and verifying private blockchains for CBDCs. Enhancements in non-intereference for security and reversible computation for transaction revision, in the context of quantitative stochastic modelling. Goals for the formal model part are very clear/motivated/detailed/original, improve state of the art. Perhaps, applications to blockchains could have been clarified in more detail - e.g. reversibility vs consensus/non-interference verification for CBDC/which new blockchain? Structure and methodology solid, well-integrated and detailed for modelling, more high-level for blockchain+CBDCs. Tool development much relevant (why MIRACLE? opportunity/risk/other resources ?). 1.a) Chiarezza e pertinenza degli obiettivi del progetto 8 - Buono / alcuni punti deboli di moderata importanza 1.b) Rilevanza ed originalità del progetto proposto nella specifica area scientifica 9 - Molto buono / molto convincente, punti deboli minori 1.c) Metodologia adottata, organicità del progetto, anche rispetto allo specifico contributo delle unità locali (se previste) 9 - Molto buono / molto convincente, punti deboli minori 1.d) Posizionamento del progetto rispetto allo stato dell’arte nella specifica area scientifica 9 - Molto buono / molto convincente, punti deboli minori 2. Composizione del gruppo di ricerca, fattibilità e congruità del progetto Very convincing PI and team, all with strong scientific track record and suitable experience in their field. Expertise of all units well-integrated and clearly supports NiRvAna, with strong focus on stochastic modelling. Blockchain/CBDCs WP is presented more as a use-case/application (to be further scoped in due course). Overall, a time and cost viable project - defining and experimenting with a newly designed blockchain might add on to workload. Work is collaboratively shared among units + recruited researchers (who may further contribute blockchain expertise). Costs and man months, overall, coherent with goals. 2.a) Eccellenza del Principal Investigator, dei responsabili delle unità locali (se previste) e dell’intera compagine di ricerca 10 - Outstanding / pienamente convincente, nessun punto debole 2.b) Capacità di realizzare il progetto proposto (qualificazione, composizione e complementarietà dell’intera compagine proposta) 10 - Outstanding / pienamente convincente, nessun punto debole 2.c) Organizzazione del progetto riguardo agli obiettivi proposti, ai tempi ritenuti necessari per il completamento del progetto e alle risorse richieste (strumentazione, dimensioni della compagine di ricerca, management) 9 - Molto buono / molto convincente, punti deboli minori 2.d) Coerenza degli impegni temporali dei componenti della compagine di ricerca, congruenza e pertinenza del piano di spesa con gli obiettivi e l'articolazione delle attività 10 - Outstanding / pienamente convincente, nessun punto debole 3. Impatto sociale del progetto Trade-off between decentralised and private blockchains is a relevant open problem with several applications to innovation, industry and socio-economic growth, CBDC a clear example. Impact by the proposed modelling theories and techniques highly potential - pathways to impact in the specific sector of blockchain/CBDCs might need to be drafted in more detail in due course (on gathered evidence). Scientific dissemination will follow a consolidate academic plan, open to industry. Production of software contributes to (industrial) dissemination. Application for a (generic) EU fund planned. 3.a) Sfide che la ricerca affronta sotto il profilo dell’incidenza sull'innovazione tecnologica, sulle applicazioni industriali, sulla crescita economica ovvero sulla soluzione di problemi sociali, sulla protezione dell’eredità culturale o dell’ambiente anche con approcci interdisciplinari 10 - Outstanding / pienamente convincente, nessun punto debole 3.b) Efficacia delle azioni di divulgazione del progetto di ricerca e dei relativi risultati; impatto del progetto sulla comunità scientifica e sulla società alla luce degli obiettivi definiti dal programma quadro di ricerca ed innovazione dell'UE 9 - Molto buono / molto convincente, punti deboli minori ============================================================================================================ PUNTEGGIO REVISORE 3: 100/100 1. Qualità del progetto di ricerca The objectives are explained clearly and at a sufficient level of detail. The use of PEPA is novel and promising, and it yields a common language for all tasks of the project. PEPA is a mature formalism with a well-understood theory and a rich toolset, so it provides the ideal basis for studying quantitative aspects of the system such as time channels. The notion of lumpability will play a central role, and the approximate version that the proponents plan to develop is important for efficiency and proper modeling of the properties, and will significantly advance the state of the art. 1.a) Chiarezza e pertinenza degli obiettivi del progetto 10 - Outstanding / pienamente convincente, nessun punto debole 1.b) Rilevanza ed originalità del progetto proposto nella specifica area scientifica 10 - Outstanding / pienamente convincente, nessun punto debole 1.c) Metodologia adottata, organicità del progetto, anche rispetto allo specifico contributo delle unità locali (se previste) 10 - Outstanding / pienamente convincente, nessun punto debole 1.d) Posizionamento del progetto rispetto allo stato dell’arte nella specifica area scientifica 10 - Outstanding / pienamente convincente, nessun punto debole 2. Composizione del gruppo di ricerca, fattibilità e congruità del progetto The three investigators are top-level scientists with a strong reputation and consolidated experience in the topics of the project. They are constantly publishing in high-profile international conferences and journals in the domain of the project. The three investigators complement each other in their respective expertise, and together they cover all the expertise needed for the project. The work plan is well structured, and the objectives seem feasible. The resources requested consist mainly of a postdoc for each of the investigators, which is appropriate for the objectives of the project. 2.a) Eccellenza del Principal Investigator, dei responsabili delle unità locali (se previste) e dell’intera compagine di ricerca 10 - Outstanding / pienamente convincente, nessun punto debole 2.b) Capacità di realizzare il progetto proposto (qualificazione, composizione e complementarietà dell’intera compagine proposta) 10 - Outstanding / pienamente convincente, nessun punto debole 2.c) Organizzazione del progetto riguardo agli obiettivi proposti, ai tempi ritenuti necessari per il completamento del progetto e alle risorse richieste (strumentazione, dimensioni della compagine di ricerca, management) 10 - Outstanding / pienamente convincente, nessun punto debole 2.d) Coerenza degli impegni temporali dei componenti della compagine di ricerca, congruenza e pertinenza del piano di spesa con gli obiettivi e l'articolazione delle attività 10 - Outstanding / pienamente convincente, nessun punto debole 3. Impatto sociale del progetto The problems addressed by the project are timely and important. Blockchain is becoming more and more used, and it is crucial to ensure the absence of leakage and proper functioning. The proponents plan to publish the results in scientific conferences and journals in the domain, which is the best way to ensure diffusion. The proponents plan to reach out to enterprises possibly interested in the project, using the research infrastructure of the MIRACLE project, which involves various small and medium enterprises. Together with the ICT company BAX, they will implement a prototype of the verified model of private blockchain in the server farm made available within the MIRACLE project. 3.a) Sfide che la ricerca affronta sotto il profilo dell’incidenza sull'innovazione tecnologica, sulle applicazioni industriali, sulla crescita economica ovvero sulla soluzione di problemi sociali, sulla protezione dell’eredità culturale o dell’ambiente anche con approcci interdisciplinari 10 - Outstanding / pienamente convincente, nessun punto debole 3.b) Efficacia delle azioni di divulgazione del progetto di ricerca e dei relativi risultati; impatto del progetto sulla comunità scientifica e sulla società alla luce degli obiettivi definiti dal programma quadro di ricerca ed innovazione dell'UE 10 - Outstanding / pienamente convincente, nessun punto debole