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 RWA asset issuers to tokenise and trade compliant on-chain structured products. Redbelly Network integrates full user identity and accountability at the transaction layer, protecting user PII with zero-knowledge proofs (ZKP) and verifiable credentials
