Malachite with Adi Seredinschi

Allen Wyma talks with Adi Seredinschi (adi.monster), creator of Malachite (github.com/informalsystems/malachite), a Byzantine-fault tolerant (BFT) consensus engine implemented in Rust.

Contributing to Rustacean Station

Rustacean Station is a community project; get in touch with us if you’d like to suggest an idea for an episode or offer your services as a host or audio editor!

• Twitter: @rustaceanfm (twitter.com/rustaceanfm)

• Discord: Rustacean Station (discord.gg/cHc3Gyc)

• Github: @rustacean-station (github.com/rustacean-station)

• Email: hello@rustacean-station.org

Timestamps

• [@0:00] - Meet Adi Seredinsky, Director of Product at Informal Systems

• [@5:23] - From Go to Rust: The Malachite rewrite of Tendermint (tendermint.com)

• [@9:26] - Technical challenges of the original Go codebase

• [@16:56] - Why Rust was chosen for the rewrite

• [@22:23] - Quint (quint-lang.org): A developer-friendly language for formal methods

• [@33:48] - Performance gains from the Rust rewrites

• [@40:42] - Closing thoughts

Credits

Intro Theme: twitter.com/AerocityMusic

Audio Editing: Plangora (twitter.com/plangora)

Hosting Infrastructure: Jon Gjengset (thesquareplanet.com)

Show Notes: Plangora (twitter.com/plangora)

Hosts: Allen Wyma (twitter.com/allenwyma)