Ada toolchain for importing packages and producing .ctp bundles and OCI images, with registry clients, cryptographic verification, and a partially implemented provenance chain.
security cryptography spark debian container supply-chain oci ada post-quantum-cryptography package-management reproducible-builds container-registry digital-signatures container-image sbom software-provenance supply-chain-security sigstore signed-artifacts container-packaging
-
Updated
Oct 17, 2026 - Ada