6 papers
Setchain Algorithms for Blockchain Scalability
Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto +3
Setchain has been proposed to increase blockchain scalability by relaxing the strict total order requirement among transactions. Setchain organizes elements into a sequence of sets…
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta +2
Blockchains face a scalability limitation, partly due to the throughput limitations of consensus protocols, especially when aiming to obtain a high degree of decentralization. Laye…
A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta +2
Blockchains face a scalability challenge due to the intrinsic throughput limitations of consensus protocols and the limitation in block sizes due to decentralization. An alternativ…
Fast and Secure Decentralized Optimistic Rollups Using Setchain
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta +2
Modern blockchains face a scalability challenge due to the intrinsic throughput limitations of consensus protocols. Layer 2 optimistic rollups (L2) are a faster alternative that of…
Monitoring the Future of Smart Contracts
Margarita Capretto, Martin Ceresa, Cesar Sanchez
Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains…
Declarative Stream Runtime Verification (hLola)
Martin Ceresa, Felipe Gorostiaga, Cesar Sanchez
Stream Runtime Verification is a formal dynamic analysis technique that generalizes runtime verification algorithms from temporal logics like LTL to stream monitoring, allowing to…