Onboarding

Aegis

8 cards ~ 44 min Foundational

Foundational walk through the aegis project. Read top to bottom if you're new; no prior context assumed.

  1. aegis intermediate 5 min

    AegisSystem Architecture Overview

    Use when: onboarding onto the TimeChain access-control layer; debugging an unexpected AccessDenied error from AegisSystem; deciding which AEGIS subsystem owns a new security feature

  2. aegis beginner 4 min

    AccessControl & Permission Model

    Use when: granting or revoking a user's access to a document; diagnosing why check_permission returns false for a seemingly valid user; sizing the access control table for a deployment

  3. aegis advanced 7 min

    ZKProof & ZKEngine

    Use when: tracing why a ZK proof fails verify_structure but not verify_zk_proof; sizing in-memory proof storage before enabling batched proof generation; understanding what public_inputs to supply when constructing a ZKProof

  4. aegis intermediate 5 min

    Commitment Scheme & CommitmentTypes

    Use when: designing a new AEGIS commitment for a previously untracked attribute; debugging a commitment verification mismatch in CommitmentManager; understanding why a nonce is generated with blake3 rather than a CSPRNG

  5. aegis advanced 6 min

    Verifier & Verification Protocol

    Use when: diagnosing why verify_zk_proof returns Ok(false) for a proof that appears structurally valid; measuring verification throughput from VerificationStats; understanding the commitment-component relationship checked during verification

  6. aegis intermediate 5 min

    AuditTrail & Selective Disclosure

    Use when: implementing a compliance export that must only reveal disclosed audit entries; diagnosing why verify_trail returns false after out-of-order entry insertion; understanding what AuditEntry.entry_id encodes

  7. aegis advanced 6 min

    ConsistencyProof & VEST Integration

    Use when: anchoring an AEGIS proof batch to the VEST audit chain; debugging why ConsistencyProofManager.verify_proof returns false on a freshly created proof; reviewing the XOR consistency check used as a placeholder for Merkle linking

  8. aegis intermediate 6 min

    AEGISProof Wire Format

    Use when: implementing a gRPC client that must construct or decode an AEGISProof message; choosing between ZK proof systems (Halo2 vs Groth16 vs STARK) for a new AEGIS deployment; understanding how the VEST reference embeds into an AEGISProof