diff --git a/documentation/Documentation.pdf b/documentation/Documentation.pdf
new file mode 100644
index 0000000..7c148fd
Binary files /dev/null and b/documentation/Documentation.pdf differ
diff --git a/nexus/src/main.rs b/nexus/src/main.rs
index 16ee15c..9cc892f 100644
--- a/nexus/src/main.rs
+++ b/nexus/src/main.rs
@@ -1,4 +1,6 @@
 #![cfg_attr(target_arch = "riscv32", no_std, no_main)]
+extern crate alloc;
+use alloc::vec::Vec;
 use starknet_crypto::{PoseidonHasher};
 use starknet_types_core::felt::Felt;