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. Patent #12093247 granted in the United States. Redbelly enables asset issuers to tokenise assets into compliant on-chain str...See more