Applied blockchain engineering lab. Building core smart contract primitives and infrastructure for Stellar