From ce545dc444b3758f01c45605d8cac7308a840714 Mon Sep 17 00:00:00 2001
From: Edi Sinovcic <edi.sinovcic@gmail.com>
Date: Wed, 18 Sep 2019 11:20:47 +0200
Subject: [PATCH] Adding zokrates plugin

---
 src/remixAppManager.js | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/remixAppManager.js b/src/remixAppManager.js
index 4e7fd94e8b..272eacdac4 100644
--- a/src/remixAppManager.js
+++ b/src/remixAppManager.js
@@ -251,6 +251,17 @@ export class RemixAppManager extends PluginEngine {
       icon: 'https://ethpm.surge.sh/ethpmlogo.png',
       location: 'mainPanel'
     }
+    const zokrates = {
+      name: 'Zokrates',
+      displayName: 'ZoKrates',
+      description: 'ZoKrates will compile your program to an intermediate representation and run a trusted setup protocol to generate proving and verifying keys.',
+      methods: [],
+      events: [],
+      version: '0.1.0-alpha',
+      url: 'https://zokrates.blockchain-it.hr',
+      icon: 'https://zokrates.blockchain-it.hr/zokrates.svg',
+      location: 'sidePanel'
+    }
     return [
       new IframePlugin(pipeline),
       new IframePlugin(vyper),
@@ -265,7 +276,8 @@ export class RemixAppManager extends PluginEngine {
       new IframePlugin(oneClickDapp),
       new IframePlugin(gasProfiler),
       new IframePlugin(flattener),
-      new IframePlugin(ethpm)
+      new IframePlugin(ethpm),
+      new IframePlugin(zokrates)
     ]
   }
 }