Document Mina Account verifier

Author: gabrielbosio

operator/mina_account/lib/src/lib.rs

@@ -50,6 +50,14 @@ fn inner_verify_account_inclusion_ffi(
     verify_account_inclusion(proof_bytes, pub_input_bytes)
 }
 
+/// Verifies a Mina account inclusion.
+/// Verifies that exists a Merkle path composed of:
+///
+/// - The hash of the Mina account as the leaf
+/// - The ledger hash as the root
+/// - Some intermediate nodes
+///
+/// Returns `true` if the Mina account is included in the ledger hash. `false` otherwise.
 pub fn verify_account_inclusion(proof_bytes: &[u8], pub_input_bytes: &[u8]) -> bool {
     let MinaAccountProof {
         merkle_path,

operator/mina_account/lib/src/merkle_verifier.rs

@@ -4,6 +4,12 @@ use mina_curves::pasta::Fp;
 use mina_p2p_messages::v2::hash_with_kimchi;
 use std::fmt::Write;
 
+/// Verifies a Merkle Proof.
+/// This means that `merkle_leaf`, `merkle_path` and `merkle_root` conform one of the paths of a Merkle tree
+/// where `merkle_leaf` is the first node of the path, `merkle_root` is the last one and `merkle_path` is a
+/// vector of all the intermediate nodes.
+/// Returns `true` if the Merkle proof is valid. `false` otherwise.
+///
 /// Based on OpenMina's implementation
 /// https://github.com/openmina/openmina/blob/d790af59a8bd815893f7773f659351b79ed87648/ledger/src/account/account.rs#L1444
 pub fn verify_merkle_proof(merkle_leaf: Fp, merkle_path: Vec<MerkleNode>, merkle_root: Fp) -> bool {