From fc540395f9e0a1d1d63be997d9f4015902b86dc2 Mon Sep 17 00:00:00 2001 From: Greg Fitzgerald Date: Mon, 2 Apr 2018 11:51:56 -0600 Subject: [PATCH] Update docs --- doc/historian.md | 6 +++--- doc/historian.msc | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/historian.md b/doc/historian.md index 0064d7f64b..f2cb23c581 100644 --- a/doc/historian.md +++ b/doc/historian.md @@ -11,7 +11,7 @@ with by verifying each entry's hash can be generated from the hash in the previo extern crate solana; use solana::historian::Historian; -use solana::ledger::{verify_slice, Entry, Hash}; +use solana::ledger::{Block, Entry, Hash}; use solana::event::{generate_keypair, get_pubkey, sign_claim_data, Event}; use std::thread::sleep; use std::time::Duration; @@ -38,7 +38,7 @@ fn main() { } // Proof-of-History: Verify the historian learned about the events // in the same order they appear in the vector. - assert!(verify_slice(&entries, &seed)); + assert!(entries[..].verify(&seed)); } ``` @@ -56,7 +56,7 @@ Proof-of-History Take note of the last line: ```rust -assert!(verify_slice(&entries, &seed)); +assert!(entries[..].verify(&seed)); ``` [It's a proof!](https://en.wikipedia.org/wiki/Curry–Howard_correspondence) For each entry returned by the diff --git a/doc/historian.msc b/doc/historian.msc index ace614b40c..b9bc84bd49 100644 --- a/doc/historian.msc +++ b/doc/historian.msc @@ -14,5 +14,5 @@ msc { recorder=>historian [ label = "e2 = Entry{id: h6, n: 3, event: Tick}" ] ; client=>historian [ label = "collect()" ] ; historian=>client [ label = "entries = [e0, e1, e2]" ] ; - client=>client [ label = "verify_slice(entries, h0)" ] ; + client=>client [ label = "entries.verify(h0)" ] ; }