Styx is a novel SFaaS runtime executing serializable transactions across functions with exactly-once guarantees, outperforming existing approaches.