From c1d9f39f6588dbef0b0edcfafba0e682ba62876e Mon Sep 17 00:00:00 2001
From: Sam Mayo <sammayo888@gmail.com>
Date: Wed, 25 Jul 2018 12:04:09 -0400
Subject: [PATCH] lock verifying key after set

---
 src/ethereum/contracts/Verifier.sol | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ethereum/contracts/Verifier.sol b/src/ethereum/contracts/Verifier.sol
index 7e81a40..d216296 100644
--- a/src/ethereum/contracts/Verifier.sol
+++ b/src/ethereum/contracts/Verifier.sol
@@ -190,6 +190,7 @@ contract Verifier {
             uint[2][2] gamma_beta_2,
             uint[2][2] Z,
             uint[2][] IC) public {
+    	require(!verifyingKeySet);
         require(IC.length <= 5);
         vk.A = Pairing.G2Point([A[0][0], A[0][1]], [A[1][0], A[1][1]]);
         vk.B = Pairing.G1Point(B[0], B[1]);