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 2/ A couple of months ago we unveiled Hermes to the world:
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
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?
@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.