Struct ProofLedger 

pub struct ProofLedger { /* private fields */ }

The ProofLedger - manages immutable citations

Implementations

impl ProofLedger

pub fn new<P: AsRef<Path>>(ledger_path: P) -> Result<Self>

Create a new ProofLedger with the specified ledger path

Arguments

• ledger_path - Path to the SQLite database file

Examples

use reasonkit::verification::ProofLedger;

let ledger = ProofLedger::new("./proof_ledger.db")?;

pub fn in_memory() -> Result<Self>

Create an in-memory ProofLedger (for testing)

Examples

use reasonkit::verification::ProofLedger;

let ledger = ProofLedger::in_memory()?;

pub fn anchor( &self, content: &str, url: &str, metadata: Option<String>, ) -> Result<String>

Anchor content to the ledger

Creates an immutable anchor for the given content and URL. Returns the hash ID which can be used for citations.

Arguments

• content - The full content to anchor
• url - Source URL
• metadata - Optional JSON metadata

Examples

use reasonkit::verification::ProofLedger;

let ledger = ProofLedger::in_memory()?;
let hash = ledger.anchor(
    "The global AI market size was valued at USD 196.63 billion in 2023.",
    "https://example.com/ai-market",
    None,
)?;
println!("Citation hash: {}", hash);

pub fn get_anchor(&self, hash: &str) -> Result<Anchor>

Retrieve an anchor by hash

Arguments

• hash - The SHA-256 hash to look up

Examples

use reasonkit::verification::ProofLedger;

let ledger = ProofLedger::in_memory()?;
let hash = ledger.anchor("test content", "https://example.com", None)?;
let anchor = ledger.get_anchor(&hash)?;
assert_eq!(anchor.url, "https://example.com");

pub fn verify( &self, hash: &str, current_content: &str, ) -> Result<VerificationResult>

Verify current content against anchored hash

Detects if the content has drifted from the original anchored version.

Arguments

• hash - The original hash from the citation
• current_content - The current content to verify

Examples

use reasonkit::verification::ProofLedger;

let ledger = ProofLedger::in_memory()?;
let original = "Original content";
let hash = ledger.anchor(original, "https://example.com", None)?;

// Verify with same content
let result = ledger.verify(&hash, original)?;
assert!(result.verified);

// Verify with different content (drift)
let result = ledger.verify(&hash, "Modified content")?;
assert!(!result.verified);

pub fn check_drift( &self, hash: &str, refetched_content: &str, ) -> Result<VerificationResult>

Check for content drift by re-fetching and verifying

This is a higher-level function that would typically:

1. Re-fetch content from the URL
2. Verify against the anchor
3. Return drift status

Note: This function requires external fetch capability. For now, it just verifies the provided content.

Arguments

• hash - The original hash
• refetched_content - Content re-fetched from the source

pub fn list_by_url(&self, url: &str) -> Result<Vec<Anchor>>

List all anchors for a given URL

Useful for finding all citations from a particular source.

Arguments

• url - The URL to search for

pub fn count(&self) -> Result<i64>

Count total anchors in the ledger

pub fn ledger_path(&self) -> &Path

Get the ledger database path