feat(mmr): root from auth struct snippet

Add stub for calculating a Merkle root from an authentication struct.
Also adds code to generate the witness.

Cf. Neptune-Crypto/twenty-first#228

Author: Sword-Smith

tasm-lib/src/lib.rs

@@ -183,8 +183,9 @@ pub(crate) fn execute_test(
     terminal_state
 }
 
-/// If the environment variable TASMLIB_TRITON_TUI is set, write the initial VM state
-/// to file `vm_state.json`.
+/// If the environment variable TASMLIB_TRITON_TUI is set, write
+/// 1. the program to file `program.tasm`, and
+/// 2. the VM state to file `vm_state.json`.
 ///
 /// This file can be used to debug the program using the [Triton TUI]:
 /// ```sh

tasm-lib/src/mmr.rs

@@ -1,7 +1,9 @@
+pub mod authentication_struct;
 pub mod bag_peaks;
 pub mod calculate_new_peaks_from_append;
 pub mod calculate_new_peaks_from_leaf_mutation;
 pub mod leaf_index_to_mt_index_and_peak_index;
+pub mod root_from_authentication_struct;
 pub mod verify_from_memory;
 pub mod verify_from_secret_in_leaf_index_on_stack;
 pub mod verify_from_secret_in_secret_leaf_index;

tasm-lib/src/mmr/authentication_struct.rs

@@ -0,0 +1 @@
+pub mod shared;