From a877ffca4339b09ae0b674074aa3186e6508230c Mon Sep 17 00:00:00 2001
From: Jannik Dreier <research@jannikdreier.net>
Date: Wed, 24 Jul 2024 17:21:01 +0200
Subject: [PATCH] two scripts

---
 run-all-E1.sh |  78 ++++++++++++++++++++++++++++++++++++
 run-all-E2.sh |  42 +++++++++++++++++++
 run-all.sh    | 109 +-------------------------------------------------
 3 files changed, 122 insertions(+), 107 deletions(-)
 create mode 100755 run-all-E1.sh
 create mode 100755 run-all-E2.sh
 mode change 100644 => 100755 run-all.sh

diff --git a/run-all-E1.sh b/run-all-E1.sh
new file mode 100755
index 0000000..3fc525c
--- /dev/null
+++ b/run-all-E1.sh
@@ -0,0 +1,78 @@
+#!/bin/bash
+
+echo "==="
+echo "E1: Weak-ZKP and Without-ZKP"
+echo "==="
+echo ""
+
+echo "==="
+echo "Crypto-Santa_Anonymous-Shuffling_Weak-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Crypto-Santa_Anonymous-Shuffling_Weak-ZKP.pv	 > Crypto-Santa_Anonymous-Shuffling_Weak-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Crypto-Santa_Anonymous-Shuffling_Weak-ZKP.pv.out
+
+echo "==="
+echo "Exp-MixNets_Anonymous-Shuffling_Weak-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Exp-MixNets_Anonymous-Shuffling_Weak-ZKP.pv	> Exp-MixNets_Anonymous-Shuffling_Weak-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Exp-MixNets_Anonymous-Shuffling_Weak-ZKP.pv.out
+
+echo "==="
+echo "Exp-MixNets_Anonymous-Shuffling_Without-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Exp-MixNets_Anonymous-Shuffling_Without-ZKP.pv	> Exp-MixNets_Anonymous-Shuffling_Without-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Exp-MixNets_Anonymous-Shuffling_Without-ZKP.pv.out
+
+echo "==="
+echo "Haenni-Protocol_Vote-Privacy_Weak-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Haenni-Protocol_Vote-Privacy_Weak-ZKP.pv	> Haenni-Protocol_Vote-Privacy_Weak-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Haenni-Protocol_Vote-Privacy_Weak-ZKP.pv.out
+
+echo "==="
+echo "Remark_Anonymous-Examiner_Weak-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Remark_Anonymous-Examiner_Weak-ZKP.pv > Remark_Anonymous-Examiner_Weak-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Examiner_Weak-ZKP.pv.out
+
+echo "==="
+echo "IVXV-Protocol_Vote-Privacy_Weak-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif IVXV-Protocol_Vote-Privacy_Weak-ZKP.pv	> IVXV-Protocol_Vote-Privacy_Weak-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" IVXV-Protocol_Vote-Privacy_Weak-ZKP.pv.out
+
+echo "==="
+echo "Remark_Anonymous-Examiner_Without-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Remark_Anonymous-Examiner_Without-ZKP.pv > Remark_Anonymous-Examiner_Without-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Examiner_Without-ZKP.pv.out
+
+echo "==="
+echo "IVXV-Protocol_Vote-Privacy_Without-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif IVXV-Protocol_Vote-Privacy_Without-ZKP.pv > IVXV-Protocol_Vote-Privacy_Without-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" IVXV-Protocol_Vote-Privacy_Without-ZKP.pv.out
+
+echo "==="
+echo "Remark_Anonymous-Marking_Weak-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Remark_Anonymous-Marking_Weak-ZKP.pv > Remark_Anonymous-Marking_Weak-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Marking_Weak-ZKP.pv.out
+
+echo "==="
+echo "Remark_Anonymous-Marking_Without-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Remark_Anonymous-Marking_Without-ZKP.pv > Remark_Anonymous-Marking_Without-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Marking_Without-ZKP.pv.out
+
+echo "==="
+echo "ReEncryption-MixNets_Anonymous-Shuffling_Weak-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif ReEncryption-MixNets_Anonymous-Shuffling_Weak-ZKP.pv > ReEncryption-MixNets_Anonymous-Shuffling_Weak-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" ReEncryption-MixNets_Anonymous-Shuffling_Weak-ZKP.pv.out
+
+echo "==="
+echo "ReEncryption-MixNets_Anonymous-Shuffling_Without-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif ReEncryption-MixNets_Anonymous-Shuffling_Without-ZKP.pv > ReEncryption-MixNets_Anonymous-Shuffling_Without-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" ReEncryption-MixNets_Anonymous-Shuffling_Without-ZKP.pv.out
diff --git a/run-all-E2.sh b/run-all-E2.sh
new file mode 100755
index 0000000..ccd8c71
--- /dev/null
+++ b/run-all-E2.sh
@@ -0,0 +1,42 @@
+#!/bin/bash
+
+echo "==="
+echo "E2: Strong-ZKP"
+echo "==="
+echo ""
+
+echo "==="
+echo "Crypto-Santa_Anonymous-Shuffling_Strong-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Crypto-Santa_Anonymous-Shuffling_Strong-ZKP.pv > Crypto-Santa_Anonymous-Shuffling_Strong-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Crypto-Santa_Anonymous-Shuffling_Strong-ZKP.pv.out
+
+echo "==="
+echo "Exp-MixNets_Anonymous-Shuffling_Strong-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Exp-MixNets_Anonymous-Shuffling_Strong-ZKP.pv > Exp-MixNets_Anonymous-Shuffling_Strong-ZKP.pv.out		I
+grep -A 4 -B 1 "Verification summary" Exp-MixNets_Anonymous-Shuffling_Strong-ZKP.pv.out	
+
+echo "==="
+echo "Haenni-Protocol_Vote-Privacy_Strong-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Haenni-Protocol_Vote-Privacy_Strong-ZKP.pv	> Haenni-Protocol_Vote-Privacy_Strong-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Haenni-Protocol_Vote-Privacy_Strong-ZKP.pv.out
+
+echo "==="
+echo "IVXV-Protocol_Vote-Privacy_Strong-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif IVXV-Protocol_Vote-Privacy_Strong-ZKP.pv > IVXV-Protocol_Vote-Privacy_Strong-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" IVXV-Protocol_Vote-Privacy_Strong-ZKP.pv.out
+
+echo "==="
+echo "Remark_Anonymous-Marking_Strong-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif Remark_Anonymous-Marking_Strong-ZKP.pv > Remark_Anonymous-Marking_Strong-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Marking_Strong-ZKP.pv.out
+
+echo "==="
+echo "ReEncryption-MixNets_Anonymous-Shuffling_Strong-ZKP.pv:"
+echo "==="
+time ./proverif2.05/proverif ReEncryption-MixNets_Anonymous-Shuffling_Strong-ZKP.pv > ReEncryption-MixNets_Anonymous-Shuffling_Strong-ZKP.pv.out
+grep -A 4 -B 1 "Verification summary" ReEncryption-MixNets_Anonymous-Shuffling_Strong-ZKP.pv.out
diff --git a/run-all.sh b/run-all.sh
old mode 100644
new mode 100755
index f3be8cd..16f0c48
--- a/run-all.sh
+++ b/run-all.sh
@@ -1,109 +1,4 @@
 #!/bin/bash
 
-echo "==="
-echo "Crypto-Santa_Anonymous-Shuffling_Strong-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Crypto-Santa_Anonymous-Shuffling_Strong-ZKP.pv > Crypto-Santa_Anonymous-Shuffling_Strong-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Crypto-Santa_Anonymous-Shuffling_Strong-ZKP.pv.out
-
-echo "==="
-echo "Crypto-Santa_Anonymous-Shuffling_Weak-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Crypto-Santa_Anonymous-Shuffling_Weak-ZKP.pv	 > Crypto-Santa_Anonymous-Shuffling_Weak-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Crypto-Santa_Anonymous-Shuffling_Weak-ZKP.pv.out
-
-echo "==="
-echo "Exp-MixNets_Anonymous-Shuffling_Strong-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Exp-MixNets_Anonymous-Shuffling_Strong-ZKP.pv > Exp-MixNets_Anonymous-Shuffling_Strong-ZKP.pv.out		I
-grep -A 4 -B 1 "Verification summary" Exp-MixNets_Anonymous-Shuffling_Strong-ZKP.pv.out	
-
-echo "==="
-echo "Exp-MixNets_Anonymous-Shuffling_Weak-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Exp-MixNets_Anonymous-Shuffling_Weak-ZKP.pv	> Exp-MixNets_Anonymous-Shuffling_Weak-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Exp-MixNets_Anonymous-Shuffling_Weak-ZKP.pv.out
-
-echo "==="
-echo "Exp-MixNets_Anonymous-Shuffling_Without-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Exp-MixNets_Anonymous-Shuffling_Without-ZKP.pv	> Exp-MixNets_Anonymous-Shuffling_Without-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Exp-MixNets_Anonymous-Shuffling_Without-ZKP.pv.out
-
-echo "==="
-echo "Haenni-Protocol_Vote-Privacy_Strong-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Haenni-Protocol_Vote-Privacy_Strong-ZKP.pv	> Haenni-Protocol_Vote-Privacy_Strong-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Haenni-Protocol_Vote-Privacy_Strong-ZKP.pv.out
-
-echo "==="
-echo "Haenni-Protocol_Vote-Privacy_Weak-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Haenni-Protocol_Vote-Privacy_Weak-ZKP.pv	> Haenni-Protocol_Vote-Privacy_Weak-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Haenni-Protocol_Vote-Privacy_Weak-ZKP.pv.out
-
-echo "==="
-echo "IVXV-Protocol_Vote-Privacy_Strong-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif IVXV-Protocol_Vote-Privacy_Strong-ZKP.pv > IVXV-Protocol_Vote-Privacy_Strong-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" IVXV-Protocol_Vote-Privacy_Strong-ZKP.pv.out
-
-echo "==="
-echo "Remark_Anonymous-Examiner_Weak-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Remark_Anonymous-Examiner_Weak-ZKP.pv > Remark_Anonymous-Examiner_Weak-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Examiner_Weak-ZKP.pv.out
-
-echo "==="
-echo "IVXV-Protocol_Vote-Privacy_Weak-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif IVXV-Protocol_Vote-Privacy_Weak-ZKP.pv	> IVXV-Protocol_Vote-Privacy_Weak-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" IVXV-Protocol_Vote-Privacy_Weak-ZKP.pv.out
-
-echo "==="
-echo "Remark_Anonymous-Examiner_Without-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Remark_Anonymous-Examiner_Without-ZKP.pv > Remark_Anonymous-Examiner_Without-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Examiner_Without-ZKP.pv.out
-
-echo "==="
-echo "IVXV-Protocol_Vote-Privacy_Without-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif IVXV-Protocol_Vote-Privacy_Without-ZKP.pv > IVXV-Protocol_Vote-Privacy_Without-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" IVXV-Protocol_Vote-Privacy_Without-ZKP.pv.out
-
-echo "==="
-echo "Remark_Anonymous-Marking_Strong-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Remark_Anonymous-Marking_Strong-ZKP.pv > Remark_Anonymous-Marking_Strong-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Marking_Strong-ZKP.pv.out
-
-echo "==="
-echo "Remark_Anonymous-Marking_Weak-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Remark_Anonymous-Marking_Weak-ZKP.pv > Remark_Anonymous-Marking_Weak-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Marking_Weak-ZKP.pv.out
-
-echo "==="
-echo "ReEncryption-MixNets_Anonymous-Shuffling_Strong-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif ReEncryption-MixNets_Anonymous-Shuffling_Strong-ZKP.pv > ReEncryption-MixNets_Anonymous-Shuffling_Strong-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" ReEncryption-MixNets_Anonymous-Shuffling_Strong-ZKP.pv.out
-
-echo "==="
-echo "Remark_Anonymous-Marking_Without-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif Remark_Anonymous-Marking_Without-ZKP.pv > Remark_Anonymous-Marking_Without-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" Remark_Anonymous-Marking_Without-ZKP.pv.out
-
-echo "==="
-echo "ReEncryption-MixNets_Anonymous-Shuffling_Weak-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif ReEncryption-MixNets_Anonymous-Shuffling_Weak-ZKP.pv > ReEncryption-MixNets_Anonymous-Shuffling_Weak-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" ReEncryption-MixNets_Anonymous-Shuffling_Weak-ZKP.pv.out
-
-echo "==="
-echo "ReEncryption-MixNets_Anonymous-Shuffling_Without-ZKP.pv:"
-echo "==="
-time ./proverif2.05/proverif ReEncryption-MixNets_Anonymous-Shuffling_Without-ZKP.pv > ReEncryption-MixNets_Anonymous-Shuffling_Without-ZKP.pv.out
-grep -A 4 -B 1 "Verification summary" ReEncryption-MixNets_Anonymous-Shuffling_Without-ZKP.pv.out
+./run-all-E1.sh
+./run-all-E2.sh
-- 
GitLab