We’re launching a BTC vault 🌊 The timing couldn’t be better as Neutron’s Bitcoin Summer campaign just kicked off. Our vault will take full advantage of their exciting yield opportunities for BTC!

Excited to see Hydro tackle a real problem with their new BTC vault. Moving Bitcoin across chains for yield often costs 0.5%+ in fees - taking weeks just to break even. Their automated approach handles all the complexity behind the scenes. This is the kind of infrastructure

$XAN is live.

Respect the Graph In this episode of Deeply Intents, I chat with Shoaib Ahmed from Cycles Informal Systems. [sponsored by Anoma] In this episode we discuss: - Cycles - Intents & Settlement - TEEs - One-shot signatures - Cosmos - Product vs. Protocol Timestamps 0:00 -

Honored to join Deeply Intents! We talked Cycles, Quartz, QuanTEEum (one-shot signatures) & more. First pod for me - nervous + fun 😅. Thanks @apriori for hosting & Anoma for sponsoring; love to Cycles Informal Systems. 🎧 If you listen, I’d love any feedback. 🙏

Informal season is loading...

''Thinking Hard Is Not Enough'' ivangavran, Research Engineer at Informal Systems, will take the stage at #Cosmoverse25 for an AI Track keynote exploring the challenges of building reliable blockchain and distributed systems. Ivan will share insights from his work with formal

Informal Systems is returning to Cosmoverse | Cosmos Conference 💫 Featuring: ivangavran Philip Offtermatt Hydro We can't wait to see you there!

We are hiring Sales Lead to help us scale our security (audit, Quint, engineering) offering. If you are passionate about bringing highest security and reliability guarantees, provided by mix of formal verification (Quint), sophisticated protocol design and LLM tools, to high

Our latest blog analyzes Anoma's recently launched governance technology and its technical innovations. We break down their dual governance mechanism and Merkle-proof distribution protocol powering the ecosystem. Congratulations to the team on the successful launch!

As AI-generated code grows, ambiguity becomes an attack surface. At DSS, Gabriela Moreira | Devconnect 🇦🇷 from Informal Systems argues that correctness should come from executable specifications and verifiable properties, not natural language, to make AI-assisted development secure and auditable.

Catch me in Buenos Aires at Defi Security Summit 🇦🇷. Reliable software is my passion, and I'll be telling you how I believe the (near) future of reliable software will look like 🚀

x.com/i/article/1988…

Exciting times ahead for Cosmos. We’re proud to have been able to contribute to build the best sovereign, interoperable infrastructure for institutions.

Great writeup on the Cosmos Labs roadmap - looking forward to seeing if we can contribute to an active DeFi ecosystem on the Hub!

Quint is going on tour at #Devconnect Experience Gabriela Moreira | Devconnect 🇦🇷's talks on building reliable software systems in the AI age or say hi at industry events. Check the full schedule below:

The challenge isn’t code generation. It’s validation. While LLMs excel at producing code, Quint excels at validating systems. See how we’re solving the real bottleneck in AI-assisted development in our newest blog post below ↓

My blog piece about some really exciting experiment using Quint is now out!

We have recently worked on a protocol we call Fast Tendermint, for people familiar with BFT consensus literature, "a la Fast Byzantine Consensus", cs.utexas.edu/~lorenzo/paper…. We believe that this version of Tendermint will be a very interesting choice for PoA setups needing low

Anoma is live on Ethereum. Here’s what it means and why it changes the game for dapp development. Anoma is the distributed operating system (DOS) bringing native intents, programmable privacy, and seamless interoperability to existing chains. It abstracts away the complexity