most citedFrom Permissioned to Proof-of-Stake Consensus

1 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

2 papers

cs.LO2025

Properties of UTxO Ledgers and Programs Implemented on Them

Polina Vinogradova, Alexey Sorokin

Trace-based properties are the gold standard for program behaviour analysis. One of the domains of application of this type of analysis is cryptocurrency ledgers, both for the purp…

cs.CR2025★ 1 cited

From Permissioned to Proof-of-Stake Consensus

Jovan Komatovic, Andrew Lewis-Pye, Joachim Neu +2

This paper presents the first generic compiler that transforms any permissioned consensus protocol into a proof-of-stake permissionless consensus protocol. For each of the followin…