Struct AuditLog 

pub struct AuditLog { /* private fields */ }

Audit log: maintains the Merkle tree of event hashes and generates C2SP-compatible checkpoints and proofs using Google’s tlog algorithm.

Implementations

impl AuditLog

pub fn new(pool: SqlitePool, origin: impl Into<String>) -> Self

pub async fn append_leaf( &self, log_index: u64, leaf_hash_hex: &str, ) -> Result<(), AuditError>

Appends the leaf hash to the Merkle tree within an internal transaction.

log_index is 0-based. leaf_hash_hex is the 64-char hex event_hash.

pub async fn append_leaf_in_tx( &self, tx: &mut Transaction<'_, Sqlite>, log_index: u64, leaf_hash_hex: &str, ) -> Result<(), AuditError>

Appends the leaf hash to the Merkle tree within a caller-provided transaction.

pub async fn make_checkpoint( &self, tree_size: u64, ) -> Result<AuditCheckpoint, AuditError>

Generates and persists a checkpoint within an internal transaction. tree_size = log_index + 1 (number of events committed so far).

pub async fn make_checkpoint_in_tx( &self, tx: &mut Transaction<'_, Sqlite>, tree_size: u64, ) -> Result<AuditCheckpoint, AuditError>

Generates and persists a checkpoint within a caller-provided transaction.

pub async fn latest_checkpoint(&self) -> Result<AuditCheckpoint, AuditError>

Returns the latest checkpoint, if any.

pub async fn inclusion_proof( &self, log_index: u64, tree_size: u64, ) -> Result<Vec<String>, AuditError>

Generates an inclusion proof showing that the event at log_index is contained in the tree of size tree_size.

Returns proof hashes as hex strings (RFC 6962 Merkle audit path).

pub async fn consistency_proof( &self, old_size: u64, new_size: u64, ) -> Result<Vec<String>, AuditError>

Generates a consistency proof showing that the tree of size new_size is an append-only extension of the tree of size old_size.

Returns proof hashes as hex strings (RFC 6962 consistency proof).

pub async fn tree_size(&self) -> Result<u64, AuditError>

Returns the current tree size (number of leaves stored).

pub async fn ensure_checkpoint( &self, event_count: u64, ) -> Result<(), AuditError>

Ensure the checkpoint is up-to-date with the given event count. If the latest checkpoint is stale, generates a new one. Called lazily on read operations that need a current checkpoint.

Trait Implementations

impl Clone for AuditLog

fn clone(&self) -> AuditLog

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.