Podcast:Rustacean Station Published On: Fri Jun 20 2025 Description: Allen Wyma talks with Adi Seredinschi, creator of 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 Discord: Rustacean Station Github: @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 [@9:26] - Technical challenges of the original Go codebase [@16:56] - Why Rust was chosen for the rewrite [@22:23] - Quint: A developer-friendly language for formal methods [@33:48] - Performance gains from the Rust rewrites [@40:42] - Closing thoughts Credits Intro Theme: Aerocity Audio Editing: Plangora Hosting Infrastructure: Jon Gjengset Show Notes: Plangora Hosts: Allen Wyma