Redbelly Network is an extremely fast, secure, and the first formally verified blockchain developed at the University of Sydney in collaboration with CSIRO, the Australian government's research arm. It has instant finality and zero transaction loss.

Our network integrates full user identity and accountability at the transaction layer, protecting user PII with zero knowledge proofs (ZKP) and verifiable credentials. This ensures proper licensing, jurisdictional compliance, and eliminates the need for repetitive KYC processes. Compliance is automatically enforced and customisable by asset class and jurisdiction, removing the need for offline registries and paper-based checks.