Added ProofVerifier (#133)

* Added ProofVerifier

Signed-off-by: artyom-yurin <[email protected]>

Author: ortyomka

core/CMakeLists.txt

@@ -11,8 +11,9 @@ add_subdirectory(codec)
 add_subdirectory(common)
 add_subdirectory(crypto)
 add_subdirectory(primitives)
+add_subdirectory(proofs)
+add_subdirectory(sectorbuilder)
 add_subdirectory(storage)
 add_subdirectory(fslock)
 add_subdirectory(power)
 add_subdirectory(vm)
-add_subdirectory(proofs)

core/sectorbuilder/CMakeLists.txt

@@ -0,0 +1,14 @@
+#
+# Copyright Soramitsu Co., Ltd. All Rights Reserved.
+# SPDX-License-Identifier: Apache-2.0
+#
+
+add_library(proof_verifier
+        impl/proof_verifier_impl.cpp
+        )
+
+target_link_libraries(proof_verifier
+        outcome
+        sector
+        proofs
+        )

core/sectorbuilder/impl/proof_verifier_impl.cpp

@@ -0,0 +1,33 @@
+/**
+ * Copyright Soramitsu Co., Ltd. All Rights Reserved.
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+#include "sectorbuilder/impl/proof_verifier_impl.hpp"
+
+#include "proofs/proofs.hpp"
+
+namespace fc::sectorbuilder {
+
+  outcome::result<bool> ProofVerifierImpl::verifySeal(
+      const primitives::sector::SealVerifyInfo &info) const {
+    return proofs::Proofs::verifySeal(info);
+  }
+
+  outcome::result<bool> ProofVerifierImpl::verifyElectionPost(
+      const primitives::sector::PoStVerifyInfo &info) const {
+    return verifyPost(info);
+  }
+
+  outcome::result<bool> ProofVerifierImpl::verifyFallbackPost(
+      const primitives::sector::PoStVerifyInfo &info) const {
+    return verifyPost(info);
+  }
+
+  outcome::result<bool> ProofVerifierImpl::verifyPost(
+      primitives::sector::PoStVerifyInfo info) const {
+    info.randomness[31] = 0;
+
+    return proofs::Proofs::verifyPoSt(info);
+  }
+}  // namespace fc::sectorbuilder

core/sectorbuilder/impl/proof_verifier_impl.hpp

@@ -0,0 +1,30 @@
+/**
+ * Copyright Soramitsu Co., Ltd. All Rights Reserved.
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+#ifndef CPP_FILECOIN_CORE_PROOF_VERIFIER_IMPL_HPP
+#define CPP_FILECOIN_CORE_PROOF_VERIFIER_IMPL_HPP
+
+#include "sectorbuilder/proof_verifier.hpp"
+
+namespace fc::sectorbuilder {
+  class ProofVerifierImpl : public ProofVerifier {
+   public:
+    outcome::result<bool> verifySeal(
+        const primitives::sector::SealVerifyInfo &info) const override;
+
+    outcome::result<bool> verifyElectionPost(
+        const primitives::sector::PoStVerifyInfo &info) const override;
+
+    outcome::result<bool> verifyFallbackPost(
+        const primitives::sector::PoStVerifyInfo &info) const override;
+
+   private:
+    outcome::result<bool> verifyPost(
+        primitives::sector::PoStVerifyInfo info) const;
+  };
+
+}  // namespace fc::sectorbuilder
+
+#endif  // CPP_FILECOIN_CORE_PROOF_VERIFIER_IMPL_HPP

core/sectorbuilder/proof_verifier.hpp

@@ -0,0 +1,27 @@
+/**
+ * Copyright Soramitsu Co., Ltd. All Rights Reserved.
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+#ifndef CPP_FILECOIN_CORE_PROOF_VERIFIER_HPP
+#define CPP_FILECOIN_CORE_PROOF_VERIFIER_HPP
+
+#include "primitives/sector/sector.hpp"
+
+namespace fc::sectorbuilder {
+  class ProofVerifier {
+   public:
+    virtual ~ProofVerifier() = default;
+
+    virtual outcome::result<bool> verifySeal(
+        const primitives::sector::SealVerifyInfo &info) const = 0;
+
+    virtual outcome::result<bool> verifyElectionPost(
+        const primitives::sector::PoStVerifyInfo &info) const = 0;
+
+    virtual outcome::result<bool> verifyFallbackPost(
+        const primitives::sector::PoStVerifyInfo &info) const = 0;
+  };
+}  // namespace fc::sectorbuilder
+
+#endif  // CPP_FILECOIN_CORE_PROOF_VERIFIER_HPP