nexusfs.

      

      
src/proof.rs · inclusion proof
    
 1use nexusfs::{Store, ProofInclusion, OpId};
 2
 3// 1. write — returns a proof of inclusion.
 4let store = Store::open("./nexus.dat")?;
 5let id: OpId = store.put("docs/handbook.md", payload)?;
 6let proof: ProofInclusion = store.prove(id)?;
 7
 8// 2. proof is bytes — pass it around like any other.
 9let bytes = proof.to_bytes();   // avg 17 B
10post_to_auditor(bytes).await?;
11
12// 3. anyone can verify offline.
13use nexusfs_verify::{Verifier, Root};
14
15let root: Root = latest_signed_root(&writer_pk)?;
16let v = Verifier::new(&writer_pk, root);
17
18match v.check(&proof, &payload_hash) {
19    Ok(()) => println!("✓ included at {}", proof.idx),
20    Err(e) => println!("✗ tamper: {e}"),
21}
22
23// $ nexusfs verify ./bundle.nfs
24// ◆ 1.2M ops · 0 forks · 0 unsigned
25// ◆ root: 9f1a..c204 (signed: pinkysworld)
26// ◆ verified · 82k ops/s · 14.6s total