Informal Systems 🌱
@informalinc
Followers
51K
Following
4K
Media
440
Statuses
3K
Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating @cyclesmoney | Supporting early-stage projects @informalvc
Joined December 2019
Big milestone for Informal! Malachite is joining Circle to build Arc, a new Layer-1 for stablecoin finance. Proud to see our high-performance BFT consensus engine moving from incubation to real-world impact.
Introducing Arc, the home for stablecoin finance. @Arc is an open Layer-1 blockchain purpose-built to drive the next chapter of financial innovation powered by stablecoins. Designed to provide an enterprise-grade foundation for payments, FX, and capital markets, Arc delivers
26
36
197
Blazing-fast image creation – using just your voice. Try Grok Imagine.
15
15
134
RT @buchmanster: Malachite being acquired by @circle was a huge validation of what we’re up to at @informalinc: fostering trust in software….
0
13
0
RT @ArianneFlemming: Super proud of the @informalinc team and the talent we’ve nurtured. The Malachite acquisition by @circle is exactly wh….
0
10
0
RT @jerallaire: Welcome to @circle! The team and IP behind Malachite are joining @arc to deliver a state-of-the-art Layer-1 that's ready f….
0
37
0
RT @bugarela: Malachite is the biggest use-case of Quint: the project leveraged Quint from day one with MBT testing. During in-person retre….
0
5
0
RT @CosmoverseHQ: Introducing our next speaker. We are excited to welcome @buchmanster, Co-Founder of Cosmos and CEO of Informal Systems,….
0
17
0
Works well for Byzantine scenarios too. Pre-populate the soup with potential Byzantine messages, skip the combinatorial explosion. We’ve shared all our specs and methodology:
quint-lang.org
A modern and executable specification language
0
0
6
Instead of tracking every message arrival, model the quorum moments. We tried this with MonadBFT - same scenario went from 500+ steps to 37. Much easier to see what’s happening without getting lost in the sauce. MonadBFT Spec:
github.com
MonadBFT formal specification in Quint. Contribute to informalsystems/monad-spec development by creating an account on GitHub.
1
1
5
Over years of working with consensus specs, the “message soup” pattern is one of our favorites for cutting through implementation noise to show what actually matters in your algorithm 🍲
1
5
14
The audit report for @Celestia's Hana Library is now live. We audited the library that handles OP Stack state reconstruction from Celestia data during optimistic rollup challenges. Linked below ↓
2
2
12
The audit report for @Neutron_org's DEX Fractional Banking upgrade is now live. We conducted a security review of the high-precision calculation system. Full report below ↓
2
10
22
Catch @AdiSeredinschi at SBC and @Paradigm's Frontiers Conference in SF this week. He's presenting about Malachite Consensus Engine.this Friday, Aug 8th at Frontiers, 3PM.
0
3
13
In today's blog, we show the step-by-step process with reliable broadcast, starting general and letting Quint refine our thinking until we got it right. Learn how:
quint-lang.org
A modern and executable specification language
0
2
7
Defining "correct state" is surprisingly hard. Quint's newest feature makes it approachable with interactive feedback that teaches you what you missed.
1
0
4