2021-01-05 12:40:05 -08:00
|
|
|
//! # `incrementalmerkletree`
|
|
|
|
//!
|
|
|
|
//! Incremental Merkle Trees are fixed-depth Merkle trees with two primary
|
|
|
|
//! capabilities: appending (assigning a value to the next unused leaf and
|
|
|
|
//! advancing the tree) and obtaining the root of the tree. Importantly the tree
|
|
|
|
//! structure attempts to store the least amount of information necessary to
|
|
|
|
//! continue to function; other information should be pruned eagerly to avoid
|
|
|
|
//! waste when the tree state is encoded.
|
|
|
|
//!
|
|
|
|
//! ## Witnessing
|
|
|
|
//!
|
|
|
|
//! Merkle trees are typically used to show that a value exists in the tree via
|
|
|
|
//! an authentication path. We need an API that allows us to identify the
|
|
|
|
//! current leaf as a value we wish to compute authentication paths for even as
|
|
|
|
//! the tree continues to be appended to in the future; this is called
|
|
|
|
//! maintaining a witness. When we're later uninterested in such a leaf, we can
|
|
|
|
//! prune a witness and remove all unnecessary information from the structure as
|
|
|
|
//! a consequence.
|
|
|
|
//!
|
|
|
|
//! ## Checkpoints and Rollbacks
|
|
|
|
//!
|
|
|
|
//! The structure is not append-only in the strict sense. It is possible to
|
|
|
|
//! identify the current state of the tree as a "checkpoint" and to remove older
|
|
|
|
//! checkpoints that we're no longer interested in. It should be possible to
|
|
|
|
//! roll back to any previous checkpoint.
|
|
|
|
|
2021-06-17 18:31:26 -07:00
|
|
|
pub mod bridgetree;
|
2021-06-24 13:12:52 -07:00
|
|
|
mod sample;
|
2021-06-17 18:17:47 -07:00
|
|
|
|
2021-06-17 18:32:50 -07:00
|
|
|
use serde::{Deserialize, Serialize};
|
2021-07-22 10:30:22 -07:00
|
|
|
use std::convert::TryFrom;
|
2021-06-17 18:24:18 -07:00
|
|
|
use std::ops::Add;
|
|
|
|
use std::ops::Sub;
|
2021-01-05 12:40:05 -08:00
|
|
|
|
2021-07-08 09:16:55 -07:00
|
|
|
/// A type-safe wrapper for indexing into "levels" of a binary tree, such that
|
|
|
|
/// nodes at altitude `0` are leaves, nodes at altitude `1` are parents
|
2021-07-22 11:10:42 -07:00
|
|
|
/// of nodes at altitude `0`, and so forth. This type is capable of
|
2021-07-08 09:16:55 -07:00
|
|
|
/// representing altitudes in trees containing up to 2^256 leaves.
|
2021-06-17 18:32:50 -07:00
|
|
|
#[derive(Copy, Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Serialize, Deserialize)]
|
2021-06-17 18:24:18 -07:00
|
|
|
#[repr(transparent)]
|
2021-06-23 13:14:57 -07:00
|
|
|
pub struct Altitude(u8);
|
2021-06-17 18:24:18 -07:00
|
|
|
|
2021-06-19 10:24:33 -07:00
|
|
|
impl Altitude {
|
2021-07-20 08:45:36 -07:00
|
|
|
/// Convenience method for returning the zero altitude.
|
2021-06-17 18:24:18 -07:00
|
|
|
pub fn zero() -> Self {
|
2021-06-19 10:24:33 -07:00
|
|
|
Altitude(0)
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn one() -> Self {
|
2021-06-19 10:24:33 -07:00
|
|
|
Altitude(1)
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
|
2021-06-19 10:24:33 -07:00
|
|
|
pub fn iter_to(self, other: Altitude) -> impl Iterator<Item = Altitude> {
|
|
|
|
(self.0..other.0).into_iter().map(Altitude)
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-06-23 13:14:57 -07:00
|
|
|
impl Add<u8> for Altitude {
|
2021-06-19 10:24:33 -07:00
|
|
|
type Output = Altitude;
|
2021-06-23 13:14:57 -07:00
|
|
|
fn add(self, value: u8) -> Self {
|
2021-06-19 10:24:33 -07:00
|
|
|
Altitude(self.0 + value)
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-06-23 13:14:57 -07:00
|
|
|
impl Sub<u8> for Altitude {
|
2021-06-19 10:24:33 -07:00
|
|
|
type Output = Altitude;
|
2021-06-23 13:14:57 -07:00
|
|
|
fn sub(self, value: u8) -> Self {
|
2021-06-19 10:24:33 -07:00
|
|
|
Altitude(self.0 - value)
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-06-23 13:14:57 -07:00
|
|
|
impl From<u8> for Altitude {
|
|
|
|
fn from(value: u8) -> Self {
|
2021-06-19 10:24:33 -07:00
|
|
|
Altitude(value)
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
|
2021-06-23 13:14:57 -07:00
|
|
|
impl From<Altitude> for u8 {
|
|
|
|
fn from(level: Altitude) -> u8 {
|
|
|
|
level.0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-06-19 10:24:33 -07:00
|
|
|
impl From<Altitude> for usize {
|
|
|
|
fn from(level: Altitude) -> usize {
|
2021-06-17 18:24:18 -07:00
|
|
|
level.0 as usize
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-07-22 10:30:22 -07:00
|
|
|
/// A type representing the position of a leaf in a Merkle tree.
|
2022-02-16 15:37:19 -08:00
|
|
|
#[derive(Copy, Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize)]
|
2021-07-22 10:30:22 -07:00
|
|
|
#[repr(transparent)]
|
|
|
|
pub struct Position(u64);
|
|
|
|
|
|
|
|
impl Position {
|
|
|
|
/// Returns the position of the first leaf in the tree.
|
|
|
|
pub fn zero() -> Self {
|
|
|
|
Position(0)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Mutably increment the position value.
|
|
|
|
pub fn increment(&mut self) {
|
|
|
|
self.0 += 1
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the altitude of the top of a binary tree containing
|
|
|
|
/// a number of nodes equal to the next power of two greater than
|
|
|
|
/// or equal to `self + 1`.
|
|
|
|
fn max_altitude(&self) -> Altitude {
|
|
|
|
Altitude(if self.0 == 0 {
|
|
|
|
0
|
|
|
|
} else {
|
|
|
|
63 - self.0.leading_zeros() as u8
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the altitude of each populated ommer.
|
|
|
|
pub fn ommer_altitudes(&self) -> impl Iterator<Item = Altitude> + '_ {
|
|
|
|
(0..=self.max_altitude().0)
|
|
|
|
.into_iter()
|
|
|
|
.filter_map(move |i| {
|
|
|
|
if i != 0 && self.0 & (1 << i) != 0 {
|
|
|
|
Some(Altitude(i))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the altitude of each cousin and/or ommer required to construct
|
|
|
|
/// an authentication path to the root of a merkle tree that has `self + 1`
|
|
|
|
/// nodes.
|
|
|
|
pub fn altitudes_required(&self) -> impl Iterator<Item = Altitude> + '_ {
|
|
|
|
(0..=self.max_altitude().0)
|
|
|
|
.into_iter()
|
|
|
|
.filter_map(move |i| {
|
|
|
|
if self.0 == 0 || self.0 & (1 << i) == 0 {
|
|
|
|
Some(Altitude(i))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the altitude of each cousin and/or ommer required to construct
|
|
|
|
/// an authentication path to the root of a merkle tree containing 2^64
|
|
|
|
/// nodes.
|
|
|
|
pub fn all_altitudes_required(&self) -> impl Iterator<Item = Altitude> + '_ {
|
|
|
|
(0..64).into_iter().filter_map(move |i| {
|
|
|
|
if self.0 == 0 || self.0 & (1 << i) == 0 {
|
|
|
|
Some(Altitude(i))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns whether the binary tree having `self` as the position of the
|
|
|
|
/// rightmost leaf contains a perfect balanced tree of height
|
|
|
|
/// `to_altitude + 1` that contains the aforesaid leaf, without requiring
|
|
|
|
/// any empty leaves or internal nodes.
|
|
|
|
pub fn is_complete(&self, to_altitude: Altitude) -> bool {
|
|
|
|
for i in 0..(to_altitude.0) {
|
|
|
|
if self.0 & (1 << i) == 0 {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl TryFrom<Position> for usize {
|
|
|
|
type Error = std::num::TryFromIntError;
|
|
|
|
fn try_from(p: Position) -> Result<usize, Self::Error> {
|
|
|
|
<usize>::try_from(p.0)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl From<Position> for u64 {
|
|
|
|
fn from(p: Position) -> Self {
|
|
|
|
p.0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl From<usize> for Position {
|
|
|
|
fn from(sz: usize) -> Self {
|
|
|
|
Position(sz as u64)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-06-18 13:21:03 -07:00
|
|
|
/// A trait describing the operations that make a value suitable for inclusion in
|
|
|
|
/// an incremental merkle tree.
|
2021-06-17 18:24:18 -07:00
|
|
|
pub trait Hashable: Sized {
|
|
|
|
fn empty_leaf() -> Self;
|
|
|
|
|
2021-06-19 10:24:33 -07:00
|
|
|
fn combine(level: Altitude, a: &Self, b: &Self) -> Self;
|
2021-06-17 18:24:18 -07:00
|
|
|
|
2021-06-19 10:24:33 -07:00
|
|
|
fn empty_root(level: Altitude) -> Self {
|
|
|
|
Altitude::zero()
|
2021-06-17 18:24:18 -07:00
|
|
|
.iter_to(level)
|
|
|
|
.fold(Self::empty_leaf(), |v, lvl| Self::combine(lvl, &v, &v))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-06-18 13:21:03 -07:00
|
|
|
/// A possibly-empty incremental Merkle frontier.
|
|
|
|
pub trait Frontier<H> {
|
|
|
|
/// Appends a new value to the frontier at the next available slot.
|
|
|
|
/// Returns true if successful and false if the frontier would exceed
|
|
|
|
/// the maximum allowed depth.
|
2021-06-17 18:24:18 -07:00
|
|
|
fn append(&mut self, value: &H) -> bool;
|
2021-01-05 14:11:17 -08:00
|
|
|
|
2021-06-18 13:21:03 -07:00
|
|
|
/// Obtains the current root of this Merkle frontier by hashing
|
|
|
|
/// against empty nodes up to the maximum height of the pruned
|
|
|
|
/// tree that the frontier represents.
|
2021-06-17 18:24:18 -07:00
|
|
|
fn root(&self) -> H;
|
2021-06-18 13:21:03 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
/// A Merkle tree that supports incremental appends, witnessing of
|
|
|
|
/// leaf nodes, checkpoints and rollbacks.
|
|
|
|
pub trait Tree<H>: Frontier<H> {
|
|
|
|
/// The type of recordings that can be made of the operations of this tree.
|
|
|
|
type Recording: Recording<H>;
|
2021-01-05 14:11:17 -08:00
|
|
|
|
2022-02-18 14:30:47 -08:00
|
|
|
/// Returns the most recently appended leaf value.
|
|
|
|
fn current_leaf(&self) -> Option<&H>;
|
|
|
|
|
|
|
|
/// Returns `true` if the tree can produce an authentication path for
|
|
|
|
/// the specified leaf value.
|
|
|
|
fn is_witnessed(&self, value: &H) -> bool;
|
|
|
|
|
|
|
|
/// Marks the current leaf as one for which we're interested in producing
|
|
|
|
/// an authentication path. Returns true if successful or if the current
|
|
|
|
/// value was already marked, or false if the tree is empty.
|
2021-06-17 18:17:47 -07:00
|
|
|
fn witness(&mut self) -> bool;
|
2021-01-05 14:11:17 -08:00
|
|
|
|
|
|
|
/// Obtains an authentication path to the value specified in the tree.
|
|
|
|
/// Returns `None` if there is no available authentication path to the
|
|
|
|
/// specified value.
|
2021-07-22 10:30:22 -07:00
|
|
|
fn authentication_path(&self, value: &H) -> Option<(Position, Vec<H>)>;
|
2021-01-05 14:11:17 -08:00
|
|
|
|
|
|
|
/// Marks the specified tree state value as a value we're no longer
|
|
|
|
/// interested in maintaining a witness for. Returns true if successful and
|
|
|
|
/// false if the value is not a known witness.
|
2021-06-17 18:24:18 -07:00
|
|
|
fn remove_witness(&mut self, value: &H) -> bool;
|
|
|
|
|
2021-06-18 13:21:03 -07:00
|
|
|
// Future work: add fn remove_witness_deferred(&mut self, value: &H) -> bool;
|
2021-06-17 18:24:18 -07:00
|
|
|
// This will be used to mark witnesses as spent, so that once the point
|
|
|
|
// at which their being spent is is max_checkpoints blocks is the past,
|
|
|
|
// the witness can be discarded.
|
2021-01-05 14:11:17 -08:00
|
|
|
|
2021-12-01 14:41:33 -08:00
|
|
|
/// Creates a new checkpoint for the current tree state. It is valid to
|
|
|
|
/// have multiple checkpoints for the same tree state, and each `rewind`
|
|
|
|
/// call will remove a single checkpoint.
|
2021-06-17 18:17:47 -07:00
|
|
|
fn checkpoint(&mut self);
|
2021-01-05 14:11:17 -08:00
|
|
|
|
2021-12-01 14:41:33 -08:00
|
|
|
/// Rewinds the tree state to the previous checkpoint, and then removes
|
|
|
|
/// that checkpoint record. If there are multiple checkpoints at a given
|
|
|
|
/// tree state, the tree state will not be altered until all checkpoints
|
|
|
|
/// at that tree state have been removed using `rewind`. This function
|
|
|
|
/// will fail and return false if there is no previous checkpoint or in
|
|
|
|
/// the event witness data would be destroyed in the process.
|
|
|
|
///
|
|
|
|
/// In the case that this method returns `false`, the user should have
|
|
|
|
/// explicitly called `remove_witness` for each witnessed leaf marked
|
|
|
|
/// since the last checkpoint.
|
2021-06-17 18:17:47 -07:00
|
|
|
fn rewind(&mut self) -> bool;
|
2021-01-05 14:11:17 -08:00
|
|
|
|
|
|
|
/// Start a recording of append operations performed on a tree.
|
2021-06-17 18:17:47 -07:00
|
|
|
fn recording(&self) -> Self::Recording;
|
2021-01-05 14:11:17 -08:00
|
|
|
|
|
|
|
/// Plays a recording of append operations back. Returns true if successful
|
|
|
|
/// and false if the recording is incompatible with the current tree state.
|
2021-06-17 18:17:47 -07:00
|
|
|
fn play(&mut self, recording: &Self::Recording) -> bool;
|
2021-01-05 14:11:17 -08:00
|
|
|
}
|
|
|
|
|
2021-06-18 13:21:03 -07:00
|
|
|
pub trait Recording<H> {
|
2021-06-17 18:17:47 -07:00
|
|
|
/// Appends a new value to the tree at the next available slot. Returns true
|
|
|
|
/// if successful and false if the tree is full.
|
2021-06-17 18:24:18 -07:00
|
|
|
fn append(&mut self, value: &H) -> bool;
|
2021-01-05 14:11:17 -08:00
|
|
|
|
|
|
|
/// Plays a recording of append operations back. Returns true if successful
|
2021-06-17 18:17:47 -07:00
|
|
|
/// and false if the provided recording is incompatible with `Self`.
|
|
|
|
fn play(&mut self, recording: &Self) -> bool;
|
2021-01-05 14:11:17 -08:00
|
|
|
}
|
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
#[cfg(test)]
|
2021-06-17 18:24:18 -07:00
|
|
|
pub(crate) mod tests {
|
2021-06-17 18:17:47 -07:00
|
|
|
#![allow(deprecated)]
|
2021-07-22 10:30:22 -07:00
|
|
|
use std::convert::TryFrom;
|
2021-06-17 18:17:47 -07:00
|
|
|
use std::hash::Hasher;
|
2021-06-17 18:24:18 -07:00
|
|
|
use std::hash::SipHasher;
|
|
|
|
|
2021-06-17 18:32:50 -07:00
|
|
|
use super::bridgetree::{BridgeRecording, BridgeTree};
|
2021-06-17 18:24:18 -07:00
|
|
|
use super::sample::{lazy_root, CompleteRecording, CompleteTree};
|
2021-07-22 10:30:22 -07:00
|
|
|
use super::{Altitude, Frontier, Hashable, Position, Recording, Tree};
|
2021-01-05 14:11:17 -08:00
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
#[derive(Clone)]
|
2022-02-16 11:48:30 -08:00
|
|
|
pub struct CombinedTree<H: Hashable + Ord + Eq, const DEPTH: u8> {
|
2021-06-17 18:17:47 -07:00
|
|
|
inefficient: CompleteTree<H>,
|
2021-06-23 13:14:57 -07:00
|
|
|
efficient: BridgeTree<H, DEPTH>,
|
2021-01-05 14:11:17 -08:00
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
|
2022-02-16 11:48:30 -08:00
|
|
|
impl<H: Hashable + Ord + Eq + Clone, const DEPTH: u8> CombinedTree<H, DEPTH> {
|
2021-06-23 13:14:57 -07:00
|
|
|
pub fn new() -> Self {
|
2021-06-17 18:17:47 -07:00
|
|
|
CombinedTree {
|
2021-06-23 13:14:57 -07:00
|
|
|
inefficient: CompleteTree::new(DEPTH.into(), 100),
|
|
|
|
efficient: BridgeTree::new(100),
|
2021-06-17 18:17:47 -07:00
|
|
|
}
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
|
2022-02-16 11:48:30 -08:00
|
|
|
impl<H: Hashable + Ord + Eq + Clone + std::fmt::Debug, const DEPTH: u8> Frontier<H>
|
2021-06-23 13:14:57 -07:00
|
|
|
for CombinedTree<H, DEPTH>
|
|
|
|
{
|
2021-06-17 18:24:18 -07:00
|
|
|
fn append(&mut self, value: &H) -> bool {
|
2021-06-17 18:17:47 -07:00
|
|
|
let a = self.inefficient.append(value);
|
2021-06-17 18:32:50 -07:00
|
|
|
let b = self.efficient.append(value);
|
2021-06-17 18:17:47 -07:00
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
/// Obtains the current root of this Merkle tree.
|
2021-06-17 18:24:18 -07:00
|
|
|
fn root(&self) -> H {
|
2021-06-17 18:17:47 -07:00
|
|
|
let a = self.inefficient.root();
|
2021-06-17 18:32:50 -07:00
|
|
|
let b = self.efficient.root();
|
2021-06-17 18:17:47 -07:00
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
2021-06-18 13:21:03 -07:00
|
|
|
}
|
|
|
|
|
2022-02-16 11:48:30 -08:00
|
|
|
impl<H: Hashable + Ord + Eq + Clone + std::fmt::Debug, const DEPTH: u8> Tree<H>
|
2021-06-23 13:14:57 -07:00
|
|
|
for CombinedTree<H, DEPTH>
|
|
|
|
{
|
|
|
|
type Recording = CombinedRecording<H, DEPTH>;
|
2015-12-19 17:37:23 -08:00
|
|
|
|
2022-02-18 14:30:47 -08:00
|
|
|
/// Returns the most recently appended leaf value.
|
|
|
|
fn current_leaf(&self) -> Option<&H> {
|
|
|
|
let a = self.inefficient.current_leaf();
|
|
|
|
let b = self.efficient.current_leaf();
|
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns `true` if the tree can produce an authentication path for
|
|
|
|
/// the specified leaf value.
|
|
|
|
fn is_witnessed(&self, value: &H) -> bool {
|
|
|
|
let a = self.inefficient.is_witnessed(value);
|
|
|
|
let b = self.efficient.is_witnessed(value);
|
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
|
|
|
}
|
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
/// Marks the current tree state leaf as a value that we're interested in
|
|
|
|
/// witnessing. Returns true if successful and false if the tree is empty.
|
2021-06-17 18:24:18 -07:00
|
|
|
fn witness(&mut self) -> bool {
|
2021-06-17 18:17:47 -07:00
|
|
|
let a = self.inefficient.witness();
|
2021-06-17 18:32:50 -07:00
|
|
|
let b = self.efficient.witness();
|
2021-06-17 18:17:47 -07:00
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
/// Obtains an authentication path to the value specified in the tree.
|
|
|
|
/// Returns `None` if there is no available authentication path to the
|
|
|
|
/// specified value.
|
2021-07-22 10:30:22 -07:00
|
|
|
fn authentication_path(&self, value: &H) -> Option<(Position, Vec<H>)> {
|
2021-06-17 18:17:47 -07:00
|
|
|
let a = self.inefficient.authentication_path(value);
|
2021-06-17 18:32:50 -07:00
|
|
|
let b = self.efficient.authentication_path(value);
|
2021-06-17 18:17:47 -07:00
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
/// Marks the specified tree state value as a value we're no longer
|
|
|
|
/// interested in maintaining a witness for. Returns true if successful and
|
|
|
|
/// false if the value is not a known witness.
|
2021-06-17 18:24:18 -07:00
|
|
|
fn remove_witness(&mut self, value: &H) -> bool {
|
2021-06-17 18:17:47 -07:00
|
|
|
let a = self.inefficient.remove_witness(value);
|
2021-06-17 18:32:50 -07:00
|
|
|
let b = self.efficient.remove_witness(value);
|
2021-06-17 18:17:47 -07:00
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
/// Marks the current tree state as a checkpoint if it is not already a
|
|
|
|
/// checkpoint.
|
2021-06-17 18:24:18 -07:00
|
|
|
fn checkpoint(&mut self) {
|
2021-06-17 18:17:47 -07:00
|
|
|
self.inefficient.checkpoint();
|
2021-06-17 18:32:50 -07:00
|
|
|
self.efficient.checkpoint();
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
/// Rewinds the tree state to the previous checkpoint. This function will
|
|
|
|
/// fail and return false if there is no previous checkpoint or in the event
|
|
|
|
/// witness data would be destroyed in the process.
|
2021-06-17 18:24:18 -07:00
|
|
|
fn rewind(&mut self) -> bool {
|
2021-06-17 18:17:47 -07:00
|
|
|
let a = self.inefficient.rewind();
|
2021-06-17 18:32:50 -07:00
|
|
|
let b = self.efficient.rewind();
|
2021-06-17 18:17:47 -07:00
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
/// Start a recording of append operations performed on a tree.
|
2021-06-23 13:14:57 -07:00
|
|
|
fn recording(&self) -> CombinedRecording<H, DEPTH> {
|
2021-06-17 18:17:47 -07:00
|
|
|
CombinedRecording {
|
|
|
|
inefficient: self.inefficient.recording(),
|
2021-06-17 18:32:50 -07:00
|
|
|
efficient: self.efficient.recording(),
|
2021-06-17 18:17:47 -07:00
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
/// Plays a recording of append operations back. Returns true if successful
|
|
|
|
/// and false if the recording is incompatible with the current tree state.
|
2021-06-23 13:14:57 -07:00
|
|
|
fn play(&mut self, recording: &CombinedRecording<H, DEPTH>) -> bool {
|
2021-06-17 18:17:47 -07:00
|
|
|
let a = self.inefficient.play(&recording.inefficient);
|
2021-06-17 18:32:50 -07:00
|
|
|
let b = self.efficient.play(&recording.efficient);
|
2021-06-17 18:17:47 -07:00
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
|
2021-06-17 18:17:47 -07:00
|
|
|
#[derive(Clone)]
|
2021-06-23 13:14:57 -07:00
|
|
|
pub struct CombinedRecording<H: Hashable, const DEPTH: u8> {
|
2021-06-17 18:17:47 -07:00
|
|
|
inefficient: CompleteRecording<H>,
|
2021-06-23 13:14:57 -07:00
|
|
|
efficient: BridgeRecording<H, DEPTH>,
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
|
2021-06-23 13:14:57 -07:00
|
|
|
impl<H: Hashable + Clone + PartialEq, const DEPTH: u8> Recording<H>
|
|
|
|
for CombinedRecording<H, DEPTH>
|
|
|
|
{
|
2021-06-17 18:24:18 -07:00
|
|
|
fn append(&mut self, value: &H) -> bool {
|
2021-06-17 18:17:47 -07:00
|
|
|
let a = self.inefficient.append(value);
|
2021-06-17 18:32:50 -07:00
|
|
|
let b = self.efficient.append(value);
|
2021-06-17 18:17:47 -07:00
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
|
2021-06-17 18:24:18 -07:00
|
|
|
fn play(&mut self, recording: &Self) -> bool {
|
2021-06-17 18:17:47 -07:00
|
|
|
let a = self.inefficient.play(&recording.inefficient);
|
2021-06-17 18:32:50 -07:00
|
|
|
let b = self.efficient.play(&recording.efficient);
|
2021-06-17 18:17:47 -07:00
|
|
|
assert_eq!(a, b);
|
|
|
|
a
|
|
|
|
}
|
|
|
|
}
|
2021-01-05 12:40:05 -08:00
|
|
|
|
2022-02-16 11:48:30 -08:00
|
|
|
#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord)]
|
2021-06-17 18:24:18 -07:00
|
|
|
pub(crate) struct SipHashable(pub(crate) u64);
|
|
|
|
|
|
|
|
impl Hashable for SipHashable {
|
|
|
|
fn empty_leaf() -> Self {
|
|
|
|
SipHashable(0)
|
|
|
|
}
|
|
|
|
|
2021-06-19 10:24:33 -07:00
|
|
|
fn combine(_level: Altitude, a: &Self, b: &Self) -> Self {
|
2021-06-17 18:24:18 -07:00
|
|
|
let mut hasher = SipHasher::new();
|
|
|
|
hasher.write_u64(a.0);
|
|
|
|
hasher.write_u64(b.0);
|
|
|
|
SipHashable(hasher.finish())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Hashable for String {
|
|
|
|
fn empty_leaf() -> Self {
|
|
|
|
"_".to_string()
|
|
|
|
}
|
2021-01-05 12:40:05 -08:00
|
|
|
|
2021-06-24 13:12:52 -07:00
|
|
|
fn combine(_: Altitude, a: &Self, b: &Self) -> Self {
|
|
|
|
a.to_string() + b
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Clone, Debug)]
|
|
|
|
pub enum Operation<A> {
|
|
|
|
Append(A),
|
|
|
|
Witness,
|
|
|
|
Unwitness(A),
|
|
|
|
Checkpoint,
|
|
|
|
Rewind,
|
|
|
|
Authpath(A),
|
|
|
|
}
|
|
|
|
|
|
|
|
use Operation::*;
|
|
|
|
|
2022-02-16 11:48:30 -08:00
|
|
|
impl<H: Hashable + Ord + Eq> Operation<H> {
|
2021-07-22 10:30:22 -07:00
|
|
|
pub fn apply<T: Tree<H>>(&self, tree: &mut T) -> Option<(Position, Vec<H>)> {
|
2021-06-17 18:24:18 -07:00
|
|
|
match self {
|
|
|
|
Append(a) => {
|
|
|
|
assert!(tree.append(a), "append failed");
|
|
|
|
None
|
|
|
|
}
|
|
|
|
Witness => {
|
|
|
|
assert!(tree.witness(), "witness failed");
|
|
|
|
None
|
|
|
|
}
|
|
|
|
Unwitness(a) => {
|
|
|
|
assert!(tree.remove_witness(a), "remove witness failed");
|
|
|
|
None
|
|
|
|
}
|
|
|
|
Checkpoint => {
|
|
|
|
tree.checkpoint();
|
|
|
|
None
|
|
|
|
}
|
|
|
|
Rewind => {
|
|
|
|
assert!(tree.rewind(), "rewind failed");
|
|
|
|
None
|
|
|
|
}
|
|
|
|
Authpath(a) => tree.authentication_path(a),
|
|
|
|
}
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
|
|
|
|
pub fn apply_all<T: Tree<H>>(
|
|
|
|
ops: &[Operation<H>],
|
|
|
|
tree: &mut T,
|
2021-07-22 10:30:22 -07:00
|
|
|
) -> Option<(Position, Vec<H>)> {
|
2021-06-17 18:24:18 -07:00
|
|
|
let mut result = None;
|
|
|
|
for op in ops {
|
|
|
|
result = op.apply(tree);
|
|
|
|
}
|
|
|
|
result
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-06-17 18:24:18 -07:00
|
|
|
pub(crate) fn compute_root_from_auth_path<H: Hashable>(
|
|
|
|
value: H,
|
2021-07-22 10:30:22 -07:00
|
|
|
position: Position,
|
2021-06-17 18:24:18 -07:00
|
|
|
path: &[H],
|
|
|
|
) -> H {
|
2021-01-05 12:40:05 -08:00
|
|
|
let mut cur = value;
|
2021-06-19 10:24:33 -07:00
|
|
|
let mut lvl = Altitude::zero();
|
2021-01-05 12:40:05 -08:00
|
|
|
for (i, v) in path
|
|
|
|
.iter()
|
|
|
|
.enumerate()
|
2021-07-22 10:30:22 -07:00
|
|
|
.map(|(i, v)| (((<usize>::try_from(position).unwrap() >> i) & 1) == 1, v))
|
2021-01-05 12:40:05 -08:00
|
|
|
{
|
|
|
|
if i {
|
2021-06-17 18:24:18 -07:00
|
|
|
cur = H::combine(lvl, v, &cur);
|
2021-01-05 12:40:05 -08:00
|
|
|
} else {
|
2021-06-17 18:24:18 -07:00
|
|
|
cur = H::combine(lvl, &cur, v);
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
lvl = lvl + 1;
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
2021-01-05 12:40:05 -08:00
|
|
|
cur
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
|
2021-01-05 12:40:05 -08:00
|
|
|
#[test]
|
|
|
|
fn test_compute_root_from_auth_path() {
|
2021-06-17 18:24:18 -07:00
|
|
|
let expected = SipHashable::combine(
|
2021-06-19 10:24:33 -07:00
|
|
|
<Altitude>::from(2),
|
2021-06-17 18:24:18 -07:00
|
|
|
&SipHashable::combine(
|
2021-06-19 10:24:33 -07:00
|
|
|
Altitude::one(),
|
|
|
|
&SipHashable::combine(Altitude::zero(), &SipHashable(0), &SipHashable(1)),
|
|
|
|
&SipHashable::combine(Altitude::zero(), &SipHashable(2), &SipHashable(3)),
|
2021-06-17 18:24:18 -07:00
|
|
|
),
|
|
|
|
&SipHashable::combine(
|
2021-06-19 10:24:33 -07:00
|
|
|
Altitude::one(),
|
|
|
|
&SipHashable::combine(Altitude::zero(), &SipHashable(4), &SipHashable(5)),
|
|
|
|
&SipHashable::combine(Altitude::zero(), &SipHashable(6), &SipHashable(7)),
|
2021-06-17 18:24:18 -07:00
|
|
|
),
|
2021-01-05 12:40:05 -08:00
|
|
|
);
|
|
|
|
|
|
|
|
assert_eq!(
|
2021-06-17 18:24:18 -07:00
|
|
|
compute_root_from_auth_path::<SipHashable>(
|
|
|
|
SipHashable(0),
|
2021-07-22 10:30:22 -07:00
|
|
|
Position::zero(),
|
2021-01-05 12:40:05 -08:00
|
|
|
&[
|
2021-06-17 18:24:18 -07:00
|
|
|
SipHashable(1),
|
2021-06-19 10:24:33 -07:00
|
|
|
SipHashable::combine(Altitude::zero(), &SipHashable(2), &SipHashable(3)),
|
2021-06-17 18:24:18 -07:00
|
|
|
SipHashable::combine(
|
2021-06-19 10:24:33 -07:00
|
|
|
Altitude::one(),
|
|
|
|
&SipHashable::combine(Altitude::zero(), &SipHashable(4), &SipHashable(5)),
|
|
|
|
&SipHashable::combine(Altitude::zero(), &SipHashable(6), &SipHashable(7))
|
2021-06-17 18:24:18 -07:00
|
|
|
)
|
2021-01-05 12:40:05 -08:00
|
|
|
]
|
|
|
|
),
|
|
|
|
expected
|
|
|
|
);
|
|
|
|
|
|
|
|
assert_eq!(
|
2021-06-17 18:24:18 -07:00
|
|
|
compute_root_from_auth_path(
|
|
|
|
SipHashable(4),
|
2021-07-22 10:30:22 -07:00
|
|
|
<Position>::from(4),
|
2021-01-05 12:40:05 -08:00
|
|
|
&[
|
2021-06-17 18:24:18 -07:00
|
|
|
SipHashable(5),
|
2021-06-19 10:24:33 -07:00
|
|
|
SipHashable::combine(Altitude::zero(), &SipHashable(6), &SipHashable(7)),
|
2021-06-17 18:24:18 -07:00
|
|
|
SipHashable::combine(
|
2021-06-19 10:24:33 -07:00
|
|
|
Altitude::one(),
|
|
|
|
&SipHashable::combine(Altitude::zero(), &SipHashable(0), &SipHashable(1)),
|
|
|
|
&SipHashable::combine(Altitude::zero(), &SipHashable(2), &SipHashable(3))
|
2021-06-17 18:24:18 -07:00
|
|
|
)
|
2021-01-05 12:40:05 -08:00
|
|
|
]
|
|
|
|
),
|
|
|
|
expected
|
|
|
|
);
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
|
2021-01-05 12:40:05 -08:00
|
|
|
use proptest::prelude::*;
|
2021-06-17 18:24:18 -07:00
|
|
|
use proptest::sample::select;
|
|
|
|
|
|
|
|
fn arb_operation<G: Strategy>(item_gen: G) -> impl Strategy<Value = Operation<G::Value>>
|
|
|
|
where
|
|
|
|
G::Value: Clone + 'static,
|
|
|
|
{
|
|
|
|
item_gen.prop_flat_map(|item| {
|
|
|
|
select(vec![
|
|
|
|
Append(item.clone()),
|
|
|
|
Witness,
|
|
|
|
Unwitness(item.clone()),
|
|
|
|
Checkpoint,
|
|
|
|
Rewind,
|
|
|
|
Authpath(item),
|
|
|
|
])
|
|
|
|
})
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
|
2021-01-05 12:40:05 -08:00
|
|
|
proptest! {
|
2021-01-05 12:46:01 -08:00
|
|
|
#![proptest_config(ProptestConfig::with_cases(100000))]
|
2021-01-05 12:56:23 -08:00
|
|
|
|
2021-06-17 18:24:18 -07:00
|
|
|
#[test]
|
|
|
|
fn check_randomized_u64_ops(
|
|
|
|
ops in proptest::collection::vec(
|
|
|
|
arb_operation((0..32u64).prop_map(SipHashable)),
|
|
|
|
1..100
|
|
|
|
)
|
|
|
|
) {
|
|
|
|
check_operations(ops)?;
|
|
|
|
}
|
2021-01-05 12:56:23 -08:00
|
|
|
|
2021-06-17 18:24:18 -07:00
|
|
|
#[test]
|
|
|
|
fn check_randomized_str_ops(
|
|
|
|
ops in proptest::collection::vec(
|
|
|
|
arb_operation((97u8..123).prop_map(|c| char::from(c).to_string())),
|
|
|
|
1..100
|
|
|
|
)
|
|
|
|
) {
|
|
|
|
check_operations::<String>(ops)?;
|
|
|
|
}
|
|
|
|
}
|
2021-01-05 12:40:05 -08:00
|
|
|
|
2022-02-16 11:48:30 -08:00
|
|
|
fn check_operations<H: Hashable + Clone + std::fmt::Debug + Eq + Ord>(
|
2021-06-17 18:24:18 -07:00
|
|
|
ops: Vec<Operation<H>>,
|
|
|
|
) -> Result<(), TestCaseError> {
|
2021-06-23 13:14:57 -07:00
|
|
|
const DEPTH: u8 = 4;
|
|
|
|
let mut tree = CombinedTree::<H, DEPTH>::new();
|
2021-06-17 18:24:18 -07:00
|
|
|
|
|
|
|
let mut prevtrees = vec![];
|
|
|
|
|
|
|
|
let mut tree_size = 0;
|
|
|
|
let mut tree_values = vec![];
|
|
|
|
let mut tree_checkpoints = vec![];
|
|
|
|
let mut tree_witnesses: Vec<(usize, H)> = vec![];
|
|
|
|
|
|
|
|
for op in ops {
|
|
|
|
prop_assert_eq!(tree_size, tree_values.len());
|
|
|
|
match op {
|
|
|
|
Append(value) => {
|
|
|
|
prevtrees.push((tree.clone(), tree.recording()));
|
|
|
|
if tree.append(&value) {
|
|
|
|
prop_assert!(tree_size < (1 << DEPTH));
|
|
|
|
tree_size += 1;
|
|
|
|
tree_values.push(value.clone());
|
|
|
|
|
|
|
|
for &mut (_, ref mut recording) in &mut prevtrees {
|
|
|
|
prop_assert!(recording.append(&value));
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
} else {
|
|
|
|
prop_assert_eq!(tree_size, 1 << DEPTH);
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
Witness => {
|
|
|
|
if tree.witness() {
|
|
|
|
prop_assert!(tree_size != 0);
|
|
|
|
if !tree_witnesses
|
|
|
|
.iter()
|
|
|
|
.any(|v| &v.1 == tree_values.last().unwrap())
|
|
|
|
{
|
|
|
|
tree_witnesses
|
|
|
|
.push((tree_size - 1, tree_values.last().unwrap().clone()));
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
} else {
|
|
|
|
prop_assert_eq!(tree_size, 0);
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
Unwitness(value) => {
|
|
|
|
if tree.remove_witness(&value) {
|
|
|
|
if let Some((i, _)) =
|
|
|
|
tree_witnesses.iter().enumerate().find(|v| (v.1).1 == value)
|
|
|
|
{
|
|
|
|
tree_witnesses.remove(i);
|
2021-01-05 12:40:05 -08:00
|
|
|
} else {
|
2021-06-17 18:24:18 -07:00
|
|
|
panic!("witness should not have been removed");
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
} else if tree_witnesses.iter().any(|v| v.1 == value) {
|
|
|
|
panic!("witness should have been removed");
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
Checkpoint => {
|
|
|
|
tree_checkpoints.push(tree_size);
|
|
|
|
tree.checkpoint();
|
|
|
|
}
|
|
|
|
Rewind => {
|
|
|
|
prevtrees.truncate(0);
|
|
|
|
|
|
|
|
if tree.rewind() {
|
|
|
|
prop_assert!(!tree_checkpoints.is_empty());
|
|
|
|
let checkpoint_location = tree_checkpoints.pop().unwrap();
|
|
|
|
//for &(index, _) in tree_witnesses.iter() {
|
|
|
|
// // index is the index in tree_values
|
|
|
|
// // checkpoint_location is the size of the tree
|
|
|
|
// // at the time of the checkpoint
|
|
|
|
// // index should always be strictly smaller or
|
|
|
|
// // else a witness would be erased!
|
|
|
|
// prop_assert!(index < checkpoint_location);
|
|
|
|
//}
|
|
|
|
tree_values.truncate(checkpoint_location);
|
|
|
|
tree_size = checkpoint_location;
|
|
|
|
} else if !tree_checkpoints.is_empty() {
|
|
|
|
let checkpoint_location = *tree_checkpoints.last().unwrap();
|
|
|
|
prop_assert!(tree_witnesses
|
|
|
|
.iter()
|
|
|
|
.any(|&(index, _)| index >= checkpoint_location));
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
|
|
|
Authpath(value) => {
|
|
|
|
if let Some((position, path)) = tree.authentication_path(&value) {
|
|
|
|
// must be the case that value was a witness
|
|
|
|
assert!(tree_witnesses.iter().any(|(_, witness)| witness == &value));
|
|
|
|
|
|
|
|
let mut extended_tree_values = tree_values.clone();
|
|
|
|
extended_tree_values.resize(1 << DEPTH, H::empty_leaf());
|
|
|
|
let expected_root = lazy_root::<H>(extended_tree_values);
|
|
|
|
|
|
|
|
let tree_root = tree.root();
|
|
|
|
prop_assert_eq!(&tree_root, &expected_root);
|
|
|
|
|
|
|
|
prop_assert_eq!(
|
|
|
|
&compute_root_from_auth_path(value, position, &path),
|
|
|
|
&expected_root
|
|
|
|
);
|
|
|
|
} else {
|
|
|
|
// must be the case that value wasn't a witness
|
|
|
|
for (_, witness) in tree_witnesses.iter() {
|
|
|
|
prop_assert!(witness != &value);
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|
|
|
|
}
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
}
|
2021-01-05 12:56:23 -08:00
|
|
|
|
2021-06-17 18:24:18 -07:00
|
|
|
for (mut other_tree, other_recording) in prevtrees {
|
|
|
|
prop_assert!(other_tree.play(&other_recording));
|
|
|
|
prop_assert_eq!(tree.root(), other_tree.root());
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
2021-06-17 18:24:18 -07:00
|
|
|
|
|
|
|
Ok(())
|
2015-12-19 17:37:23 -08:00
|
|
|
}
|
2021-01-05 12:40:05 -08:00
|
|
|
}
|