Redbelly Network is the world’s first formally verified blockchain, developed at the University of Sydney in collaboration with CSIRO, the Australian National Science Agency. Redbelly enables asset issuers to build digital registries, creating a single source of truth for entire asset classes on-chain and facilitating the creation of new structured financial products from tokenized assets. We work with challenger-brand asset issuers who have established network effects and assets, reducing issuer risk by promoting accountability and ensuring clean liquidity by default.