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 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.