feat: provide Fiat-Shamir heuristic related info ProofItemVariants

Also fix intra-doc links.

triton-tui/src/element_type_hint.rs

@@ -24,7 +24,7 @@ pub(crate) struct ElementTypeHint {
     /// Does not apply to types that are not composed of multiple [`BFieldElement`][bfe]s, like `u32` or
     /// [`BFieldElement`][bfe] itself.
     ///
-    /// [bfe]: triton_vm::BFieldElement
+    /// [bfe]: triton_vm::prelude::BFieldElement
     pub index: Option<usize>,
 }
 

triton-vm/src/program.rs

@@ -34,7 +34,7 @@ type Result<T> = std::result::Result<T, VMError>;
 /// [`profiled`](Program::profile),
 /// and its execution can be [`traced`](Program::trace_execution).
 ///
-/// [`Hashing`](Program::hash) a program under [`Tip5`][tip5] yields a [`Digest`] that can be used
+/// [`Hashing`](Program::hash) a program under [`Tip5`] yields a [`Digest`] that can be used
 /// in a [`Claim`](crate::Claim), _i.e._, is consistent with Triton VM's [program attestation].
 ///
 /// A program may contain debug information, such as label names and breakpoints.
@@ -43,7 +43,6 @@ type Result<T> = std::result::Result<T, VMError>;
 /// [BField-encoding](BFieldCodec::encode), discard this debug information.
 ///
 /// [program attestation]: https://triton-vm.org/spec/program-attestation.html
-/// [tip5]: twenty_first::shared_math::tip5::Tip5
 /// [label_for_address]: Program::label_for_address
 /// [is_breakpoint]: Program::is_breakpoint
 #[derive(Debug, Clone, Eq, GetSize, Serialize, Deserialize)]

triton-vm/src/proof_item.rs

@@ -35,7 +35,7 @@ macro_rules! proof_items {
             Arbitrary
         )]
         #[strum_discriminants(name(ProofItemVariant))]
-        #[strum_discriminants(derive(Display, BFieldCodec))]
+        #[strum_discriminants(derive(Display, Arbitrary, BFieldCodec))]
         pub enum ProofItem {
             $( $variant($payload), )+
         }
@@ -74,6 +74,13 @@ macro_rules! proof_items {
                     $( Self::$variant => <$payload>::static_length(), )+
                 }
             }
+
+            /// See [`ProofItem::include_in_fiat_shamir_heuristic`].
+            pub const fn include_in_fiat_shamir_heuristic(&self) -> bool {
+                match self {
+                    $( Self::$variant => $in_fiat_shamir_heuristic, )+
+                }
+            }
         }
     };
 }