Tweet

Informal Systems

15 Apr, 6 tweets, 2 min read

@rustlang

1/ v0.2 of Hermes, our @rustlang relayer built for IBC connected blockchains is out - now with experimental support for relaying on multiple channels and multiple chains! github.com/informalsystem…

@rustlang

@rustlang 2/ A couple of months ago we unveiled Hermes to the world:

https://twitter.com/informalinc/status/1358900949570514944

3/ Since then, we’ve worked on improving the features around Hermes to ensure that managing IBC connections is a seamless and delightful experience. hermes.informal.systems

4/ This release includes:
- Support for relaying over multiple paths from a single instance
- Support for relayer restart (pending packets cleared)
- Support for: ordered channels, packet delay, misbehaviour detection & evidence submission, client upgrades

5/ This release brings significant improvements to the relayer UX!
- New and updated commands for keys, client, connection & channel management
- Simplified configuration and integration with the light client

6/ Try Hermes today and let us know what you think! hermes.informal.systems /end

• • •

Missing some Tweet in this thread? You can try to force a refresh

This Thread may be Removed Anytime!

Twitter may remove this content at anytime! Save it as PDF for later use!

More from @informalinc

Informal Systems

@informalinc

19 Apr

1/ Apalache is Informal’s symbolic checker for #tlaplus that checks your specifications by solving constraints instead of enumerating states. informal.systems/2021/03/08/apa…

2/ How does it work? Apalache translates TLA+ specs using SMT solvers to reason about states & transitions in terms of logic, rather than in terms of individual states & transitions. apalache.informal.systems

3/ Our main goal has been to improve the usability of the model checker by testing the tool with internal customers, which saw 3 issues come up consistently:
- How do I write TLA+?
- Why is Apalache complaining about types?
- Why is Apalache complaining about assignments?

Read 10 tweets

Informal Systems

@informalinc

17 Feb

@cosmos

1/ Shared security is coming to the @cosmos Hub in 2021. What does this mean? github.com/informalsystem…

https://twitter.com/sunnya97/status/1360260658193969153

@cosmos

@cosmos 2/ On Feb18 #IBC will land on the Hub which will enable communication between independent chains & support new kinds of cross chain functionality to be rolled out over the coming months and years.

3/ We’re developing a form of shared security called cross-chain validation, or interchain staking, as an IBC-packet protocol that will empower staked ATOM on the Hub to opt-in to providing security for other chains.

Read 11 tweets

Support us! We are indie developers!

This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!