glacis 0.1.0__py3-none-any.whl

glacis/__init__.py

@@ -0,0 +1,88 @@
+"""
+GLACIS SDK for Python
+
+AI Compliance Attestation - hash locally, prove globally.
+
+Example (online):
+    >>> from glacis import Glacis
+    >>> glacis = Glacis(api_key="glsk_live_xxx")
+    >>> receipt = glacis.attest(
+    ...     service_id="my-ai-service",
+    ...     operation_type="inference",
+    ...     input={"prompt": "Hello, world!"},
+    ...     output={"response": "Hi there!"},
+    ... )
+    >>> print(f"Verified at: {receipt.verify_url}")
+
+Example (offline):
+    >>> from glacis import Glacis
+    >>> import os
+    >>> glacis = Glacis(mode="offline", signing_seed=os.urandom(32))
+    >>> receipt = glacis.attest(...)  # Returns OfflineAttestReceipt
+    >>> result = glacis.verify(receipt)  # witness_status="UNVERIFIED"
+
+Async Example:
+    >>> from glacis import AsyncGlacis
+    >>> glacis = AsyncGlacis(api_key="glsk_live_xxx")
+    >>> receipt = await glacis.attest(...)
+
+Streaming Example:
+    >>> from glacis import Glacis
+    >>> from glacis.streaming import StreamingSession
+    >>> glacis = Glacis(api_key="glsk_live_xxx")
+    >>> session = await StreamingSession.start(glacis, {
+    ...     "service_id": "voice-assistant",
+    ...     "operation_type": "completion",
+    ...     "session_do_url": "https://session-do.glacis.dev",
+    ... })
+    >>> await session.attest_chunk(input=audio_chunk, output=transcript)
+    >>> receipt = await session.end(metadata={"duration": "00:05:23"})
+"""
+
+from glacis.client import AsyncGlacis, Glacis, GlacisMode
+from glacis.crypto import canonical_json, hash_payload
+from glacis.models import (
+    AttestInput,
+    AttestReceipt,
+    GlacisConfig,
+    LogEntry,
+    LogQueryParams,
+    LogQueryResult,
+    MerkleInclusionProof,
+    OfflineAttestReceipt,
+    OfflineVerifyResult,
+    SignedTreeHead,
+    VerifyResult,
+)
+from glacis.storage import ReceiptStorage
+from glacis.streaming import SessionContext, SessionReceipt, StreamingSession
+
+__version__ = "0.2.0"
+
+__all__ = [
+    # Main classes
+    "Glacis",
+    "AsyncGlacis",
+    "GlacisMode",
+    # Streaming
+    "StreamingSession",
+    "SessionContext",
+    "SessionReceipt",
+    # Storage (offline mode)
+    "ReceiptStorage",
+    # Models
+    "GlacisConfig",
+    "AttestInput",
+    "AttestReceipt",
+    "OfflineAttestReceipt",
+    "VerifyResult",
+    "OfflineVerifyResult",
+    "LogQueryParams",
+    "LogQueryResult",
+    "LogEntry",
+    "MerkleInclusionProof",
+    "SignedTreeHead",
+    # Crypto utilities
+    "canonical_json",
+    "hash_payload",
+]

glacis/__main__.py

@@ -0,0 +1,76 @@
+"""
+Glacis CLI
+
+Usage:
+    python -m glacis verify <receipt.json>
+"""
+
+import argparse
+import json
+import sys
+from pathlib import Path
+
+from glacis import Glacis
+from glacis.models import AttestReceipt, OfflineAttestReceipt
+
+
+def verify_command(args):
+    """Verify a receipt file."""
+    receipt_path = Path(args.receipt)
+
+    if not receipt_path.exists():
+        print(f"Error: File not found: {receipt_path}", file=sys.stderr)
+        sys.exit(1)
+
+    try:
+        with open(receipt_path) as f:
+            data = json.load(f)
+    except json.JSONDecodeError as e:
+        print(f"Error: Invalid JSON: {e}", file=sys.stderr)
+        sys.exit(1)
+
+    # Determine receipt type
+    if data.get("attestation_id", "").startswith("oatt_"):
+        receipt = OfflineAttestReceipt(**data)
+        glacis = Glacis(mode="offline")
+    else:
+        receipt = AttestReceipt(**data)
+        glacis = Glacis(mode="online")
+
+    # Verify
+    result = glacis.verify(receipt)
+
+    # Output
+    print(f"Receipt: {receipt.attestation_id}")
+    print(f"Type: {'Offline' if isinstance(receipt, OfflineAttestReceipt) else 'Online'}")
+    print()
+
+    if result.valid:
+        print("Status: VALID")
+        print(f"  Signature: {'PASS' if result.signature_valid else 'FAIL'}")
+        if hasattr(result, "proof_valid") and result.proof_valid is not None:
+            print(f"  Merkle proof: {'PASS' if result.proof_valid else 'FAIL'}")
+    else:
+        print("Status: INVALID")
+        if hasattr(result, "error"):
+            print(f"  Error: {result.error}")
+        sys.exit(1)
+
+
+def main():
+    parser = argparse.ArgumentParser(
+        prog="glacis", description="Glacis CLI - Cryptographic attestation for AI systems"
+    )
+    subparsers = parser.add_subparsers(dest="command", required=True)
+
+    # verify command
+    verify_parser = subparsers.add_parser("verify", help="Verify a receipt")
+    verify_parser.add_argument("receipt", help="Path to receipt JSON file")
+    verify_parser.set_defaults(func=verify_command)
+
+    args = parser.parse_args()
+    args.func(args)
+
+
+if __name__ == "__main__":
+    main()