Create index.js

KOSASIH · Aug 8, 2024 · 0856a80 · 0856a80
1 parent 63853cf
commit 0856a80
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/blockchain_integration/pi_network/PiShield/formal-verifier/index.js b/blockchain_integration/pi_network/PiShield/formal-verifier/index.js
@@ -0,0 +1,16 @@
+const { ModelChecker } = require('./model_checker');
+const { TheoremProver } = require('./theorem_prover');
+
+class FormalVerifier {
+    async verifyContract(contractAddress, data) {
+        const modelChecker = new ModelChecker();
+        const theoremProver = new TheoremProver();
+
+        const modelCheckingResult = await modelChecker.verify(contractAddress, data);
+        const theoremProvingResult = await theoremProver.verify(contractAddress, data);
+
+        return { modelCheckingResult, theoremProvingResult };
+    }
+}
+
+module.exports = FormalVerifier;