2018-annual-report

72
Projects to Start in 2019
annual report
20
BLOQUES-CM
Contratos inteligentes y blockchains escalables y seguros mediante
verificación y análisis
Funding: Regional Government of Madrid
Duration: 2019–2022
Project Coordinator: Assoc. Res. Prof. Juan Caballero
The BLOQUES-CM project addresses the growing importance of blockchainbased
technology, which, by using techniques from distributed systems and
cryptography, and within the framework of a distributed database that registers
transactions, allows participants to agree on which of these transactions
are valid. Once transactions are accepted, the blockchain ensures that these
cannot be modified. Likewise, it is practically impossible to present as valid a
non-existent transaction.
In particular, BLOQUES-CM will advance the state of the art in: anonymity
and integrity properties of distributed ledgers; verification of infrastructures for
distributed ledgers; proofs of correction and resource usage of smart contracts;
the application of testing to distributed ledgers; and the availability and development
of tools to support the previous goals.
BLOQUES-CM is a consortium involving groups from Universidad Complutense
de Madrid, Universidad Politécnica de Madrid, and the IMDEA Software Institute,
which is the project coordinator.