different delegations

src/main.rs

@@ -31,12 +31,12 @@ mod trusted {
         }
     }
 
+    // opaque representation of secure data
     #[derive(Debug)]
     pub struct Sec<T> {
         data: T,
     }
 
-    // opaque representation of secure data
     impl<T> Sec<T> {
         pub unsafe fn new(d: T) -> Self {
             Sec { data: d }
@@ -51,7 +51,7 @@ mod trusted {
         unsafe { Sec::new(s1.get() + s2.get()) }
     }
 
-    // cipher by a closure
+    // in place transformation by a cipher closure f
     fn cipher<T, F>(s: &mut T, mut f: F)
     where
         T: Sized,
@@ -64,6 +64,7 @@ mod trusted {
         }
     }
 
+    // opaque representation of encrypted data
     #[derive(Debug)]
     pub struct Enc<T> {
         data: T,
@@ -89,8 +90,6 @@ mod trusted {
             unsafe { self.get_unsafe() }
         }
     }
-
-
 }
 
 use trusted::*;
@@ -106,13 +105,23 @@ fn main() {
 // user code in `safe` Rust
 fn user1(d: &Sec<u32>, e: &Enc<u32>) {
     println!("user1 {:?}, {:?}", d, e);
-    user2(&sec_add_u32(d, &e.get(auth("abc").unwrap())));
+    let a = auth("abc").unwrap();
+    user2(&sec_add_u32(d, &e.get(a)));
+    user3(d, &e.get(a));
+    user4(d, e, a);
 }
 
 fn user2(d: &Sec<u32>) {
     println!("user2 {:?}", d);
 }
 
+fn user3(d1: &Sec<u32>, d2: &Sec<u32>) {
+    println!("user3 {:?}", sec_add_u32(d1, d2));
+}
+
+fn user4(d: &Sec<u32>, e: &Enc<u32>, a: &Auth) {
+    println!("user3 {:?}", sec_add_u32(d, &e.get(a)));
+}
 
 /*
 #![feature(const_fn)]