Open source

Open-source toolkit (12 repositories): YubiKey PIV and FIDO2 credentials backing HashiCorp Vault SSH certificates and dynamic database credentials, FROST threshold-signed API keys with OPA, Terraform state protection, and credential rotation across AWS, OCI, GCP, and Azure.

Two open-source research prototypes. zk-Autograd proves each optimizer step of PyTorch training with EZKL (Halo2) zk-SNARK proofs generated inside AWS Nitro Enclaves or OCI Confidential VMs. Mimir lets mutually distrustful parties run transformer inference together using SPDZ-style multi-party computation behind attested enclaves.