Informal Systems 🌱
@informalinc
Followers
51K
Following
4K
Media
432
Statuses
3K
Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating @cyclesmoney | Supporting early-stage projects @informalvc
Joined December 2019
The world is evolving in 2025 and so are we. We're expanding beyond @cosmos on our mission to foster to trust in software & money. Looking for a partner in protocol design & cross-chain infrastructure? Get in touch. See our latest blog for more:.
5
7
51
.@josef_widder breaks down why security starts with design, not just code review, on @MacrocosmPod ↴.
System Design, Security Threats & Audits with @informalinc 's @josef_widder . 0:00 Intro & Role .1:26 Academic Roots .4:19 Audits Before Crypto .7:07 Nature of Security .9:22 Design vs Build .12:15 Limits of Audits .14:51 Threat Modeling .17:21 Long-Term Security .20:13
1
4
9
Genesis V2 strengthens the security bridge between Bitcoin and Cosmos ecosystems. Collaborative work with @babylonlabs_io shows how protocols evolve without compromising security.
1
0
4
Three repository layers received key upgrades: babylon (core protocol), vigilante (event-driven BTC tracking), and finality-provider (enhanced keyring security). Event-driven monitoring replaces polling for improved performance.
1
0
4
We recently audited @babylonlabs_io Babylon Genesis V2 upgrade, focusing on rewards distribution, delegation tracking, and cross-chain composability. Thread + blog post below 🧵
1
6
15
RT @HydroTeam_: Hydro Governance has officially given @cosmoshub control over all of Hydro’s DAOs. The Hub now has the ability to directly….
0
27
0
RT @gakonst: Next-gen consensus x Frontiers by @paradigm, Aug 6-8th SF!. - Michael Chen of @category_xyz: MonadBFT. - @B_Chou of @commonwar….
0
43
0
RT @nillionnetwork: Introducing Nillion's 2025 Product Roadmap. We're aiming to take privacy from niche to necessary. Nillion’s Blind Com….
0
101
0
The audit report for @Celestia 's High Throughput Recovery is now live. We reviewed the protocol implementation and catchup mechanisms. Full report below.
1
2
9
Fresh off the press ☕️ We're sharing insights from our @EspressoSys HotShot audit in a new blog post.
1
4
7
We completed our audit of @EspressoSys's HotShot epoch transition protocol. The report below covers validator set rotations, three-view consensus mechanisms, and edge case handling. Blog post coming soon.
3
4
28
How do you make Rust consensus developer-friendly? @AdiSeredinschi discusses Malachite's design philosophy on the @rustaceanfm podcast 🦀.
1
4
10
RT @injective: Injective Validator Spotlight 🔦. @informalinc, founded by Cosmos co-creator @buchmanster, has been a core validator on Injec….
0
86
0
5/ The future belongs to teams delivering decentralized solutions with centralized UX quality. That's exactly what we're building toward. Full insights from Protocolberg in our latest blog post:
0
1
5
4/ These insights validate our approach at @informalinc. Protocol teams need tools like Quint and Malachite that deliver immediate impact. They need security partners who understand both technical excellence and practical development constraints.
1
0
3