4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.DC2026
Canonical LST: A Protocol-Native Liquid Staking Solution for Tezos
Mathias Bourgoin, Arthur Breitman, Pierrick Couderc +5
Canonical LST (sTEZ) is an enshrined, protocol-native mechanism designed to mitigate the centralization risks associated with liquid staking intermediaries. Intended to complement…
cs.PL2016★ 4 cited
Beginner's Luck: A Language for Property-Based Generators
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu +3
Property-based random testing a la QuickCheck requires building efficient generators for well-distributed random data satisfying complex logical predicates, but writing these gener…