Miner actor methods (#117)

Signed-off-by: turuslan <[email protected]>

Author: turuslan

core/primitives/sector/sector.hpp

@@ -117,12 +117,13 @@ namespace fc::primitives::sector {
 
   struct PoStVerifyInfo {
     PoStRandomness randomness;
-    /// CommR
-    CID sealed_cid;
     /// From OnChainPoStVerifyInfo
     std::vector<PoStCandidate> candidates;
     std::vector<PoStProof> proofs;
     std::vector<SectorInfo> eligible_sectors;
+    /// used to derive 32-byte prover ID
+    ActorId prover;
+    uint64_t challenge_count;
   };
 
   CBOR_TUPLE(SectorId, miner, sector)

core/vm/actor/builtin/miner/miner_actor.cpp

@@ -24,13 +24,14 @@ namespace fc::vm::actor::builtin::miner {
   constexpr MethodNumber kExtendSectorExpirationMethodNumber{9};
   constexpr MethodNumber kTerminateSectorsMethodNumber{10};
   constexpr MethodNumber kDeclareTemporaryFaultsMethodNumber{11};
-  constexpr MethodNumber kOnDeferredCronEventMethodNumber{11};
+  constexpr MethodNumber kOnDeferredCronEventMethodNumber{12};
+  constexpr MethodNumber kCheckSectorProvenMethodNumber{13};
 
   constexpr MethodNumber kSubmitElectionPoStMethodNumber{20};
 
   ACTOR_METHOD(constructor);
 
-  ACTOR_METHOD(controlAdresses);
+  ACTOR_METHOD(controlAddresses);
 
   ACTOR_METHOD(changeWorkerAddress);
 
@@ -52,6 +53,8 @@ namespace fc::vm::actor::builtin::miner {
 
   ACTOR_METHOD(onDeferredCronEvent);
 
+  ACTOR_METHOD(checkSectorProven);
+
   extern const ActorExports exports;
 
 }  // namespace fc::vm::actor::builtin::miner

core/vm/actor/builtin/miner/miner_actor.hpp

@@ -37,6 +37,9 @@ namespace fc::vm::actor::builtin::miner {
 
   constexpr EpochDuration kDeclaredFaultEffectiveDelay{20};
 
+  constexpr uint64_t kWindowedPoStSampleRateNumer{1};
+  constexpr uint64_t kWindowedPoStSampleRateDenum{25};
+
   inline TokenAmount precommitDeposit(SectorSize sector_size,
                                       ChainEpoch duration) {
     return 0;

core/vm/actor/builtin/miner/policy.hpp

@@ -180,6 +180,10 @@ namespace fc::vm::actor::builtin::miner {
     Buffer callback_payload;
   };
 
+  struct CheckSectorProvenParams {
+    SectorNumber sector;
+  };
+
   CBOR_TUPLE(PoStState, proving_period_start, num_consecutive_failures)
 
   CBOR_TUPLE(
@@ -229,6 +233,8 @@ namespace fc::vm::actor::builtin::miner {
   CBOR_TUPLE(DeclareTemporaryFaultsParams, sectors, duration)
 
   CBOR_TUPLE(OnDeferredCronEventParams, callback_payload)
+
+  CBOR_TUPLE(CheckSectorProvenParams, sector)
 }  // namespace fc::vm::actor::builtin::miner
 
 #endif  // CPP_FILECOIN_CORE_VM_ACTOR_BUILTIN_MINER_TYPES_HPP

core/vm/actor/builtin/miner/types.hpp

@@ -81,7 +81,7 @@ namespace fc::vm::actor::builtin::storage_power {
     TokenAmount pledge;
   };
 
-  struct OnSectorTemporaryFaultEffectiveEndParams {
+  struct OnSectorTemporaryFaultEffectiveEndParameters {
     std::vector<SectorStorageWeightDesc> weights;
     TokenAmount pledge;
   };
@@ -164,6 +164,8 @@ namespace fc::vm::actor::builtin::storage_power {
 
   CBOR_TUPLE(OnSectorTemporaryFaultEffectiveBeginParameters, weights, pledge)
 
+  CBOR_TUPLE(OnSectorTemporaryFaultEffectiveEndParameters, weights, pledge)
+
   CBOR_TUPLE(OnSectorModifyWeightDescParams,
              prev_weight,
              prev_pledge,

core/vm/actor/builtin/storage_power/storage_power_actor_export.hpp

@@ -30,7 +30,9 @@ namespace fc::vm {
     MINER_ACTOR_MINER_NOT_ACCOUNT,
     MINER_ACTOR_MINER_NOT_BLS,
     MINER_ACTOR_ILLEGAL_ARGUMENT,
+    MINER_ACTOR_NOT_FOUND,
     MINER_ACTOR_WRONG_CALLER,
+    MINER_ACTOR_WRONG_EPOCH,
     MINER_ACTOR_POST_TOO_LATE,
     MINER_ACTOR_POST_TOO_EARLY,
     MINER_ACTOR_INSUFFICIENT_FUNDS,

core/vm/exit_code/exit_code.hpp

@@ -43,7 +43,10 @@ namespace fc::vm {
       case E::MINER_ACTOR_MINER_NOT_BLS:
       case E::MINER_ACTOR_ILLEGAL_ARGUMENT:
         return 16;  // ErrIllegalArgument in actor-specs
+      case E::MINER_ACTOR_NOT_FOUND:
+        return 17;  // ErrNotFound in actor-specs
       case E::MINER_ACTOR_WRONG_CALLER:
+      case E::MINER_ACTOR_WRONG_EPOCH:
         return 18;  // ErrForbidden in actor-specs
       case E::MINER_ACTOR_POST_TOO_LATE:
       case E::MINER_ACTOR_POST_TOO_EARLY: