From a487c8a2d8f629fb20d9d015ee3e4f690d507e9d Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Tue, 9 Aug 2016 00:39:50 -0600
Subject: [PATCH] Add additional alignment assertions.

---
 snark/src/lib.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/snark/src/lib.rs b/snark/src/lib.rs
index cf7d559..eac5acd 100644
--- a/snark/src/lib.rs
+++ b/snark/src/lib.rs
@@ -52,8 +52,14 @@ lazy_static! {
 
 /// This must be called before anything in this module is used.
 pub fn initialize() {
+    use std::mem::align_of;
     let mut l = INIT_LOCK.lock().unwrap();
 
+    assert_eq!(align_of::<Fr>(), align_of::<libc::uint64_t>());
+    assert_eq!(align_of::<G1>(), align_of::<libc::uint64_t>());
+    assert_eq!(align_of::<G2>(), align_of::<libc::uint64_t>());
+    assert_eq!(align_of::<Gt>(), align_of::<libc::uint64_t>());
+
     if !*l {
         unsafe { libsnarkwrap_init(); }
         *l = true;