RGB formal specifciation

Hello all,

Maybe some of you had followed the development of RGB - smart contracts made with client-side validation, which are able to add programmability and privacy to Bitcoin without any soft fork requirements or an onchain footprint. Recently we had announced the release of RGB to production: https://groups.google.com/g/bitcoindev/c/LzMGclBdaUc/m/H0czU15wBwAJ

Now, we'd like to present the formal specification for the consensus part of the RGB protocol, which can be found at - https://yellowpaper.rgb.com; - IACR preprint: https://eprint.iacr.org/2025/1400 - the source code: https://github.com/RGB-WG/yellowpaper

Kind regards, Maxim Orlovsky RGB Mantainer LNP/BP Labs, Institute for Distributed and Cognitive Systems & Pandora Prime SA