SearcharxivSearch

arXiv subjects

Mathias Bourgoin

Publications and source records attributed to Mathias Bourgoin.

3 recordsLinked to original sources

Canonical LST: A Protocol-Native Liquid Staking Solution for Tezos

Canonical LST (sTEZ) is an enshrined, protocol-native mechanism designed to mitigate the centralization risks associated with liquid staking intermediaries. Intended to complement direct staking rather than replace it, Canonical LST provides a neutral, public alternative managed directly by the Tezos protocol. It allows any tez holder to participate in aggregated staking without reliance on third-party operators. sTEZ follows an accrual-based design: all slashing events and rewards are reflected in the token's exchange rate to tez, keeping balances fungible while exposing holders to the precise economics of staking. This approach ensures that liquid staking functions as fundamental network infrastructure--with deterministic lifecycle rules, transparent on-chain data, and governance anchored in the amendment process--rather than as a discretionary commercial product. This white paper summarises the motivation for enshrining liquid staking, the core mechanics, exchange-rate model, regulatory touchpoints, risk posture, and forward-looking roadmap for Canonical LST.

cs.DC

Objective Caml for Multicore Architectures

Objective Caml is a famous dialect of the ML family languages. It is well-known for its performance as a compiled programming language, notably thanks to its incremental generational automatic memory collection. However, for historical reasons, the latter was built for monocore processors. One consequence is the runtime library assumes there is effectively no more than one thread running at a time, which allows many optimisations for monocore architectures: very few thread mutexes are sufficient to prevent more than a single thread to run at a time. This makes memory allocation and collection quite easier. The way it was built makes it not possible to take advantage of now widespread multicore CPU architectures. This paper presents our feedback on removing Objective Caml's garbage collector and designing a "Stop-The-World Stop&Copy" garbage collector to permit threads to take advantage of multicore architectures.

cs.PL

Introduction to the Tezos Blockchain

Tezos is an innovative blockchain that improves on several aspects compared to more established blockchains. It offers an original proof-of-stake consensus algorithm and can be used as a decentralized smart contract platform. It has the capacity to amend its own economic protocol through a voting mechanism and focuses on formal methods to improve safety.

cs.DC