diff --git a/Commitment3.circuit b/Commitment3.circuit deleted file mode 100644 index c7ba1e1ef4..0000000000 --- a/Commitment3.circuit +++ /dev/null @@ -1,21 +0,0 @@ -host alice -host bob -host chuck -host david - -circuit fun <> move@Local(host = alice)(a: int[]) -> b: int[] { - return a -} - -circuit fun <> move2@Replication(hosts = {bob, david})(a: int[]) -> b: int[] { - return a -} - -fun <> main() -> { - val a@Local(host = alice) = alice.input() - val c@Commitment(sender = alice, receivers = {bob, chuck}) = move<>(a) - val d@Replication(hosts = {bob, david}) = move2<>(c) - val = bob.output(d) - val = david.output(d) - return -}