mirror of
https://github.com/logos-storage/logos-storage-nim.git
synced 2026-02-13 01:53:17 +00:00
72da534856
* Setting up testfixture for proof datasampler * Sets up calculating number of cells in a slot * Sets up tests for bitwise modulo * Implements cell index collection * setting up slot blocks module * Implements getting treeCID from slot * implements getting slot blocks by index * Implements out-of-range check for slot index * cleanup * Sets up getting sample from block * Implements selecting a cell sample from a block * Implements building a minitree for block cells * Adds method to get dataset block index from slot block index * It's running * splits up indexing * almost there * Fixes test. Implementation is now functional * Refactoring to object-oriented * Cleanup * Lining up output type with updated reference code. * setting up * Updates expected samples * Updates proof checking test to match new format * move builder to own dir * move sampler to own dir * fix paths * various changes to add support for the sampler * wip sampler implementation * don't use upraises * wip sampler integration * misc * move tests around * Various fixes to select correct slot and block index * removing old tests * cleanup * misc fix tests that work with correct cell indices * remove unused file * fixup logging * add logscope * truncate entropy to 31 bytes, otherwise it might be > than mod * forwar getCidAndProof to local store * misc * Adds missing test for initial-proving state * reverting back to correct slot/block indexing * fix tests for revert * misc * misc --------- Co-authored-by: benbierens <thatbenbierens@gmail.com>
46 lines
1.4 KiB
Nim
46 lines
1.4 KiB
Nim
import pkg/chronicles
|
|
import pkg/questionable/results
|
|
import ../statemachine
|
|
import ../salesagent
|
|
import ./errorhandling
|
|
import ./filling
|
|
import ./cancelled
|
|
import ./errored
|
|
import ./failed
|
|
|
|
logScope:
|
|
topics = "marketplace sales initial-proving"
|
|
|
|
type
|
|
SaleInitialProving* = ref object of ErrorHandlingState
|
|
|
|
method `$`*(state: SaleInitialProving): string = "SaleInitialProving"
|
|
|
|
method onCancelled*(state: SaleInitialProving, request: StorageRequest): ?State =
|
|
return some State(SaleCancelled())
|
|
|
|
method onFailed*(state: SaleInitialProving, request: StorageRequest): ?State =
|
|
return some State(SaleFailed())
|
|
|
|
method run*(state: SaleInitialProving, machine: Machine): Future[?State] {.async.} =
|
|
let data = SalesAgent(machine).data
|
|
let context = SalesAgent(machine).context
|
|
|
|
without request =? data.request:
|
|
raiseAssert "no sale request"
|
|
|
|
without onProve =? context.onProve:
|
|
raiseAssert "onProve callback not set"
|
|
|
|
debug "Generating initial proof", requestId = $data.requestId
|
|
let
|
|
slot = Slot(request: request, slotIndex: data.slotIndex)
|
|
challenge = await context.market.getChallenge(slot.id)
|
|
without proof =? (await onProve(slot, challenge)), err:
|
|
error "Failed to generate initial proof", error = err.msg
|
|
return some State(SaleErrored(error: err))
|
|
|
|
debug "Finished proof calculation", requestId = $data.requestId
|
|
|
|
return some State(SaleFilling(proof: proof))
|