tasm-object: Add more tests of size-verification snippet

More tests added by declaring more types used in neptune-core.

tasm-lib/src/neptune/neptune_like_types_for_tests.rs

@@ -164,3 +164,42 @@ pub(crate) struct UpdateWitnessLookalike {
     outputs_hash: Digest,
     public_announcements_hash: Digest,
 }
+
+#[derive(Debug, Clone, BFieldCodec, TasmObject, Arbitrary)]
+pub(crate) struct LockScriptAndWitnessLookalike {
+    nd_memory: Vec<(BFieldElement, BFieldElement)>,
+    nd_tokens: Vec<BFieldElement>,
+    nd_digests: Vec<Digest>,
+}
+
+#[derive(Debug, Clone, BFieldCodec, TasmObject, Arbitrary)]
+struct TypeScriptAndWitnessLookalike {
+    nd_tokens: Vec<BFieldElement>,
+    nd_memory: Vec<(BFieldElement, BFieldElement)>,
+    nd_digests: Vec<Digest>,
+}
+
+#[derive(Debug, Clone, BFieldCodec, TasmObject, Arbitrary)]
+struct ActiveWindowLookalike {
+    sbf: Vec<u32>,
+}
+
+#[derive(Debug, Clone, BFieldCodec, TasmObject, Arbitrary)]
+pub(crate) struct MutatorSetAccumulatorLookalike {
+    pub aocl: MmrAccumulator,
+    pub swbf_inactive: MmrAccumulator,
+    pub swbf_active: ActiveWindowLookalike,
+}
+
+#[derive(Debug, Clone, BFieldCodec, TasmObject, Arbitrary)]
+pub(crate) struct PrimitiveWitnessLookalike {
+    pub input_utxos: SaltedUtxosLookalike,
+    pub input_membership_proofs: Vec<MsMembershipProofLookalike>,
+    pub lock_scripts_and_witnesses: Vec<LockScriptAndWitnessLookalike>,
+    pub type_scripts_and_witnesses: Vec<TypeScriptAndWitnessLookalike>,
+    pub output_utxos: SaltedUtxosLookalike,
+    pub output_sender_randomnesses: Vec<Digest>,
+    pub output_receiver_digests: Vec<Digest>,
+    pub mutator_set_accumulator: MutatorSetAccumulatorLookalike,
+    pub kernel: TransactionKernelLookalike,
+}

tasm-lib/src/structure/verify_nd_si_integrity.rs

@@ -359,6 +359,30 @@ mod tests {
         ShadowedAccessor::new(snippet).test();
     }
 
+    #[test]
+    fn test_lock_script_and_witness_lookalike() {
+        let snippet: VerifyNdSiIntegrity<LockScriptAndWitnessLookalike> = VerifyNdSiIntegrity {
+            _phantom_data: PhantomData,
+        };
+        ShadowedAccessor::new(snippet).test();
+    }
+
+    #[test]
+    fn test_mutator_set_accumulator_lookalike() {
+        let snippet: VerifyNdSiIntegrity<MutatorSetAccumulatorLookalike> = VerifyNdSiIntegrity {
+            _phantom_data: PhantomData,
+        };
+        ShadowedAccessor::new(snippet).test();
+    }
+
+    #[test]
+    fn test_primitive_witness_lookalike() {
+        let snippet: VerifyNdSiIntegrity<PrimitiveWitnessLookalike> = VerifyNdSiIntegrity {
+            _phantom_data: PhantomData,
+        };
+        ShadowedAccessor::new(snippet).test();
+    }
+
     #[test]
     fn test_mmr_successor_proof_auto_derived_code() {
         // TODO: