FHE toolkits for private onchain compute

Search: "verifiable encrypted outputs"