Add example showing declassify needs more authority

apl-cornell · Feb 14, 2022 · d1d6dd2 · d1d6dd2
1 parent 587fbc7
commit d1d6dd2
Show file tree

Hide file tree

Showing 5 changed files with 18 additions and 0 deletions.
diff --git a/examples/inputs/synchronization/Declassify-alice.txt b/examples/inputs/synchronization/Declassify-alice.txt
@@ -0,0 +1 @@
+42
diff --git a/examples/inputs/synchronization/Declassify-bob.txt b/examples/inputs/synchronization/Declassify-bob.txt
@@ -0,0 +1 @@
+43
diff --git a/examples/outputs/synchronization/Declassify-alice.txt b/examples/outputs/synchronization/Declassify-alice.txt
@@ -0,0 +1 @@
+false
diff --git a/examples/outputs/synchronization/Declassify-bob.txt b/examples/outputs/synchronization/Declassify-bob.txt
diff --git a/examples/src/main/viaduct/synchronization/Declassify.via b/examples/src/main/viaduct/synchronization/Declassify.via
@@ -0,0 +1,15 @@
+host alice : {A & B}
+host bob   : {B}
+
+fun main() {
+    let $pick = input int from alice;
+
+    let $guess = input int from bob;
+    let $trusted_guess = endorse $guess from {B};
+
+    let $revealed_pick@Replication(hosts = {alice, bob}) = declassify $pick to {A ⊓ B};
+    let $bob_wins = $revealed_pick == $trusted_guess;
+
+    output $bob_wins to alice;
+    /* output $bob_wins to bob; */
+}