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.