Mockup account verifier

lambdaclass · Aug 19, 2024 · 7b3fda4 · 7b3fda4
1 parent 19d2783
commit 7b3fda4
Show file tree

Hide file tree

Showing 11 changed files with 71 additions and 1,542 deletions.
diff --git a/operator/mina_account/lib/Cargo.lock b/operator/mina_account/lib/Cargo.lock
diff --git a/operator/mina_account/lib/Cargo.toml b/operator/mina_account/lib/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "mina-state-verifier-ffi"
+name = "mina-account-verifier-ffi"
 version = "0.1.0"
 edition = "2021"
 

diff --git a/operator/mina_account/lib/mina_account_verifier.h b/operator/mina_account/lib/mina_account_verifier.h
@@ -0,0 +1,6 @@
+#include <stdbool.h>
+
+bool verify_account_inclusion_ffi(unsigned char *proof_buffer,
+                                  unsigned int proof_len,
+                                  unsigned char *public_input_buffer,
+                                  unsigned int public_input_len);
diff --git a/operator/mina_account/lib/mina_verifier.h b/operator/mina_account/lib/mina_verifier.h
diff --git a/operator/mina_account/lib/src/consensus_state.rs b/operator/mina_account/lib/src/consensus_state.rs