Crate lazarus_receipts 

Lazarus Receipts SDK - Cryptographic receipt verification.

This crate provides Merkle proof verification using the positional v1.0.1 rule, which is the auditor-grade standard for Lazarus Receipts.

Example

use lazarus_receipts::{hash256, verify_merkle_proof_directional, ProofNode};

let leaf_a = hash256(b"leaf_a");
let leaf_b = hash256(b"leaf_b");

// Build root: H(leaf_a || leaf_b)
let mut combined = Vec::new();
combined.extend_from_slice(&leaf_a);
combined.extend_from_slice(&leaf_b);
let root = hash256(&combined);

// Proof for leaf_a: sibling (leaf_b) is on RIGHT
let proof = vec![ProofNode { side: 'R', hash: leaf_b }];

assert!(verify_merkle_proof_directional(leaf_a, root, &proof));

Re-exports

pub use hash::hash256;

pub use hash::hex_to_bytes;

pub use hash::bytes_to_hex;

pub use hash::receipt_hash_from_json_bytes;

pub use merkle::ProofNode;

pub use merkle::verify_merkle_proof_directional;

pub use merkle::verify_merkle_proof_legacy_sorted;Deprecated

Modules

hash

Hash utilities for Lazarus Receipts.

merkle

Merkle proof verification for Lazarus Receipts.