ブログ > 2024 > October

DIDComm gets formal

2024年 10月 16日 IO Research 10 分で読めます

DIDComm gets formal

Input | Output takes the setting of solid work foundations very seriously. A recent example of this is the research on Decentralized Identifier Communication (DIDComm) through the paper ‘What did come out of it? Analysis and improvements of DIDComm messaging.' which is being presented at this week’s CCS’24, ACM’s flagship conference for computer and communications security. The…

Ouroboros Peras: the next step in the journey of Cardano’s protocol

2024年 10月 14日 Fernando Sanchez 12 分で読めます

Ouroboros Peras: the next step in the journey of Cardano’s protocol

Ouroboros Peras (henceforth, Peras) is an extension of the Ouroboros Praos protocol that addresses the problem of transactions’ settlement horizon, that is, the point in time when the probability of a transaction being reverted becomes negligible. Shorter settlement times improve security, usability and efficiency in blockchain systems.

The key concept behind Peras is the use…

The 11 blockchain tenets: towards a blockchain bill of rights

2024年 10月 11日 Prof Aggelos Kiayias 8 分で読めます

The 11 blockchain tenets: towards a blockchain bill of rights

Designing blockchain systems is a challenging endeavor. It is also a continuous process, as these systems are long-lived and aim to capture requirements that evolve during their lifetime. It follows that a blockchain project’s community often faces difficult decisions that ‘fork’ the future of a blockchain system in different ways, with consequences that are hard to fully…