Twitxy Saved

Redbelly Network

Verified account This account is verified because it's an official organization on X. Learn more

@RedbellyNetwork

Open Capital Markets Infrastructure |
97.5k TPS L1 | Formally Verified Consensus | Compliant RWA Tokenization | Backed by CSIRO, Sydney University, ARC.
Sydney, Australia linktr.ee/redbelly.netwo… Joined April 2022
807 Following 113K Followers 10K Posts

Latest posts 5

Redbelly Network Verified account @RedbellyNetwork
Infrastructure for regulated assets has to assume the worst case, including a majority that colludes.

This is the research behind how Redbelly thinks about security.
Vincent Gramoli Verified account @VincentGramoli 6d
Do you know what STAKE stands for in the context of blockchain? Secure and Tolerant Algorithm through (K,t)-robust Equilibrium (STAKE), a new blockchain algorithm that does not suffer double spending attacks despite a coalition of 2n/3 hackers.
View quoted post on X
1 replies 12 reposts 65 likes 2.9K views View on X
Redbelly Network Verified account @RedbellyNetwork
Redbelly is at @EFDevcon 8 this week 🇮🇳

Two things from the opening sessions: formal verification is becoming the baseline for Web3, and Ethereum’s roadmap is a multi-year path to faster finality.

Both are where Redbelly started: a formally verified DBFT consensus with deterministic finality, in production since 2024.
4 replies 14 reposts 74 likes 3.4K views View on X
Redbelly Network Verified account @RedbellyNetwork
❌ A blocklist is a defence that arrives after the money has moved

✅ On Redbelly the identity check happens before the first transaction, at the protocol level. An address nobody has verified never reaches the mempool.
Vincent Gramoli Verified account @VincentGramoli Nov 2
None of the 608 Ethereum wallets listed by the FBI as responsible of the $6B hack on @binance exist on @RedbellyNetwork simply because the hackers don't go through identity checks.
View quoted post on X