AICert

AICert is an open-source cryptographic tool developed by Mithril Security, a Paris-based security startup founded in 2021, designed to provide verifiable proof of AI model provenance and integrity.

Reviewed by 7wData

On this page

Publisher review

AICert is an open-source cryptographic tool developed by Mithril Security, a Paris-based security startup founded in 2021, designed to provide verifiable proof of AI model provenance and integrity. It targets AI developers, compliance officers, and organizations that need to demonstrate the trustworthiness of their AI models to regulators, auditors, or end-users. By creating tamper-proof digital identity cards for AI models, AICert addresses growing concerns around model backdoors, unauthorized modifications, and supply chain attacks, such as the PoisonGPT scenario Mithril Security previously exposed. The tool is particularly relevant for enterprises deploying AI in regulated industries like finance, healthcare, or legal, where model provenance and transparency are critical for compliance with emerging AI governance frameworks.

AICert works by generating cryptographic attestations that link a model to its training procedure, using secure hardware like Trusted Platform Modules (TPMs) to create unforgeable ID cards. These attestations are rooted in hardware-based trust, ensuring that the model's identity cannot be spoofed or altered without detection. The tool supports traceability from training through deployment, allowing users to verify that a model hasn't been tampered with after its creation. AICert is primarily compatible with CPU-based environments, leveraging Intel SGX and similar enclave technologies, and a fine-tuning demo is available on GitHub to showcase its capabilities. The cryptographic proofs are designed to be lightweight and verifiable without exposing sensitive model weights or training data, preserving data privacy during interactions.

As the first AI provenance solution to provide cryptographic proof of model origin, AICert occupies a unique niche in the AI security market, distinct from traditional model registries or watermarking approaches. It competes indirectly with tools like ModelCard (Google) for documentation, but offers stronger technical guarantees through hardware-backed attestation. Unlike commercial solutions such as IBM's AI FactSheets or Microsoft's Azure confidential computing integrations, AICert is fully open-source and free, lowering the barrier for adoption. Mithril Security also offers BlindChat and BlindLlama for private AI inference, but AICert focuses specifically on provenance. Its integration with Azure confidential computing, as noted on Microsoft Learn, positions it as a complementary tool for cloud deployments requiring verifiable model integrity.

Key trade-offs include AICert's limited GPU support, as it relies on CPU-based secure enclaves like Intel SGX, which may not suit large-scale model training or inference workloads that require GPU acceleration. The tool is also narrowly scoped to cryptographic proofs of provenance, meaning it does not address other AI safety concerns like bias detection, robustness testing, or explainability. Being open-source, it lacks dedicated commercial support or SLAs, which may deter enterprise adoption without internal expertise. Additionally, the reliance on specific hardware (TPMs) means not all deployment environments are compatible, potentially limiting its use in legacy or heterogeneous infrastructure. Despite these limitations, AICert provides a foundational layer for AI transparency that is technically rigorous and freely accessible.

Get the AI & data signal, daily.

335k+ subscribers read this every morning. One email, both newsletters. Unsubscribe anytime.

How it works

  1. Cryptographic provenance proof

    Generates hardware-backed attestations that cryptographically link an AI model to its training procedure, ensuring unforgeable identity.

  2. Tamper-proof model ID cards

    Creates digital identity cards for AI models using secure hardware like TPMs, detecting any unauthorized modifications post-creation.

  3. Secure hardware integration

    Leverages Trusted Platform Modules (TPMs) and Intel SGX enclaves to root trust in hardware, preventing spoofing of model provenance.

  4. Training traceability

    Enables verification that a model originated from a specific training process, helping prevent backdoors and supply chain attacks.

  5. Privacy-preserving verification

    Allows model provenance checks without exposing sensitive weights or training data, maintaining confidentiality during interactions.

  6. Open-source availability

    Fully open-source under Mithril Security's GitHub, with a fine-tuning demo for hands-on evaluation of its capabilities.

  7. Azure confidential computing integration

    Listed as a partner solution on Microsoft Learn, enabling verifiable model provenance within Azure's confidential computing ecosystem.

Strengths and trade-offs

Strengths

  • Provides the first cryptographic proof of AI model provenance, offering stronger technical guarantees than documentation-based approaches like ModelCard.
  • Uses secure hardware (TPMs and Intel SGX) to create unforgeable ID cards, ensuring that model identity cannot be spoofed or altered without detection.
  • Includes a fine-tuning demo on GitHub, allowing developers to test provenance verification in a practical, hands-on scenario.
  • Designed for easy AI compliance by linking models to their training procedures, helping organizations meet regulatory requirements for transparency.

Trade-offs

  • Primarily compatible with CPU-based secure enclaves (e.g., Intel SGX), not GPUs, limiting its use for large-scale model training or inference workloads.
  • Limited to cryptographic proofs of model provenance, so it does not address other AI safety concerns like bias detection, robustness, or explainability.
  • As an open-source tool, it lacks dedicated commercial support or service-level agreements, which may deter enterprise adoption without internal expertise.
  • Relies on specific hardware (TPMs) that may not be available in all deployment environments, potentially restricting compatibility with legacy or heterogeneous infrastructure.

Pricing context

Open-source and free to use under the MIT license on GitHub.

Getting started with AICert

  1. Clone the AICert repository

    Open a terminal and run 'git clone https://github.com/mithril-security/aicert.git' to download the open-source tool. Navigate into the cloned directory with 'cd aicert' to prepare for installation.

  2. Install dependencies

    Run 'pip install -r requirements.txt' to install Python dependencies. Ensure your system has Intel SGX drivers and a TPM-enabled environment, as AICert relies on these for hardware-backed attestation.

  3. Configure your AI model

    Place your trained model file (e.g., a PyTorch or TensorFlow model) in the 'models' directory. Edit the configuration file to specify the model path and training metadata, such as dataset name and hyperparameters.

  4. Generate a model ID card

    Execute 'python generate_attestation.py --model my_model.pth' to create a cryptographic attestation. This command uses your TPM to produce a tamper-proof digital identity card linking the model to its training procedure.

  5. Verify provenance on deployment

    Run 'python verify_attestation.py --attestation my_model.attest' before deploying the model. This checks the cryptographic proof against the hardware root of trust, ensuring the model hasn't been tampered with since creation.

Frequently Asked Questions

What is AICert and what does it do?

AICert is an open-source cryptographic tool by Mithril Security that creates tamper-proof digital identity cards for AI models. It uses secure hardware like Trusted Platform Modules to generate verifiable proof of model provenance and integrity, helping prevent unauthorized modifications or supply chain attacks.

How does AICert prove an AI model's origin?

AICert generates cryptographic attestations that link a model to its training procedure, rooted in hardware-based trust via TPMs or Intel SGX enclaves. These unforgeable ID cards ensure the model's identity cannot be spoofed or altered without detection, enabling traceability from training through deployment.

Is AICert free to use and where can I get it?

Yes, AICert is fully open-source and free to use under the MIT license. It is available on Mithril Security's GitHub, which also includes a fine-tuning demo for hands-on evaluation of its provenance verification capabilities.

What hardware does AICert require to work?

AICert relies on CPU-based secure enclaves like Intel SGX and Trusted Platform Modules (TPMs). It does not support GPUs, which may limit its use for large-scale model training or inference workloads that require GPU acceleration.

How does AICert compare to other AI provenance tools?

AICert offers stronger technical guarantees than documentation-based approaches like Google's ModelCard by providing hardware-backed cryptographic proof. Unlike commercial solutions such as IBM's AI FactSheets, it is fully open-source and free, but lacks dedicated support or SLAs.

What are the main limitations of AICert?

AICert is limited to cryptographic provenance proofs and does not address bias detection, robustness, or explainability. It requires specific hardware like TPMs, lacks commercial support, and is incompatible with GPU environments, which may restrict adoption in some enterprise settings.

Alternatives

How AICert compares

Direct head-to-head against 3 competitors. Picked by 7wData.

This tool

AICert

Pricing
Open-source and free to use under the MIT license on GitHub.
Target
AICert is an open-source cryptographic tool developed by Mithril Security, a Paris-based security startup founded in 2021, designed to provide verifiable proof of AI model
Strength
Provides the first cryptographic proof of AI model provenance, offering stronger technical guarantees than documentation-based approaches like ModelCard.
Watch for
Primarily compatible with CPU-based secure enclaves (e.g., Intel SGX), not GPUs, limiting its use for large-scale model training or inference workloads.

EXIN AI Compliance Professional

Pricing
$390 exam cost
Target
AI governance professionals
Deployment
Online exam
Strength
Early mover in AI compliance
Watch for
Niche focus may limit versatility

ISACA Auditing AI Certificate

Pricing
$459-$549 exam cost
Target
IT/IS auditors
Deployment
Online exam
Strength
Technical depth for AI auditing
Watch for
Requires CISA/CIA/CPA prerequisites

IAPP AI Governance Professional

Pricing
$550 exam cost
Target
Privacy officers
Deployment
Online exam
Strength
Aligns with global AI regulations
Watch for
Policy-heavy, less technical

User reviews

No user reviews yet. Be the first to write one.

Sources

Reporting on this tool draws on these publicly available sources.

  1. blog.mithrilsecurity.io
  2. learn.microsoft.com
  3. github.com
  4. www.mithrilsecurity.io