Cycles is the culmination of years of research into the nature of money. Excited to bring this to Cosmos - The Interchain ⚛️ and to the Atom Economic Zone.

Thanks Vladimir POSTHUMAN Understanding for the great discussions we had at PBW and see you again soon ☺️

Last year’s #AwesomWasm hackathon was truly awesome, and it looks like this year will be another memorable event ☺️ Security is paramount, so we’re thrilled that Ivan will be sharing our latest advances with Quint for #CosmWasm ! Can’t wait for the insights !

Quint team from Informal Systems was one of the winners @AwesomWasm hackathon last year. So happy to see them coming back as a speaker this time 🔥🔥🔥

We're committed to making Quint the world’s best tool for writing specs, writing invariants, and doing model based testing. It probably already is, but we're continuing to improve it 🧵

Hydro is a big piece of the ATOM wars It's also a great way to deploy the hundreds of millions of dollars sitting idle in community pools and help improve the state of Cosmos liquidity So Informal Systems is hiring to staff Hydro top to bottom!

Today is a happy day for me: the cosmwasm-to-quint project is finally public! Check it out: github.com/informalsystem… From any CosmWasm contract, you can: 🔸Generate Quint model stubs 🔸Generate model-based test files (in Rust) And with that: 🔸Find bugs and inconsistencies in

Huge step forward for formally verifying CosmWasm contracts! What does that mean you say? Formal verification is the process of mathematically verifying the behavior of a system. It started as a way to verify hardware circuits and now used for mission critical software.

If you want a glimpse on how to find bugs in CosmWasm contracts with Quint, I wrote a detailed walk-through of the whole process to find the bug in the first Capture the Flag challenge by Oak Security. It uses our currently available tools and should be completely reproducible.

The video of the workshop I held at @AwesomWasm in Berlin is now public! Have a look, hope you find it useful or interesting! (The audio dramatically improves around 2:50, once I figured out how to put the mic :) ) youtu.be/gUhSK1u7oME?si…

Bonne continuation Router team !

Stop staring at your code! Learn Quint! Tired of having a staring contest with your code before deploying? Gabriela Moreira, Research Engineer at Informal has got you covered. Stop by @NebularBuilders on July 12 for an epic Quint workshop. Links 👇

Excited to speak at @NebularBuilders in Brussels on July 12-13! Talking about Interchain Security 2.0 (aka Partial Set Security) and how we're working on making the Cosmos Hub ⚛️ the best place to launch a chain.

The team at Informal is touching down in 🇧🇪 for EthCC - Ethereum Community Conference! We're kicking off the week strong w/ the Cosmos Hub ⚛️ @ EthCC event where we'll be dropping some alpha on ICS. Follow us to stay up to date on where we'll be throughout the week, schedule to be updated soon!

In Brussels for EthCC - Ethereum Community Conference? I’ll be speaking on an intents panel tomorrow at Intents Discussions, a day dedicated to intents hosted by Anoma. It’s going to be #intents. Come check it out: anoma.net/events/intents… #intentsforethereum

Our Tendermint in Rust project is codenamed 'Malachite'. We plan to open-source before EOY.

🤩

Informal Security has completed a formal specification of Duality's codebase using Quint. We're pleased to report that no critical vulnerabilities were found! Duality is a trading platform on @Neutron_org that aims to offer the best execution for traders and LPs. Check out our

A fresh horizon for Cosmos 🚀

Duality is LIVE ⚡️ Duality combines the advantages of orderbooks and AMMs into a single trading venue to offer the best execution for traders & LPs. Duality will serve as the base layer of spot liquidity to enable maximally profitable & capital-efficient DeFi on Neutron 🧵⤵️