store number of samples in prover

This commit is contained in:
Dmitriy Ryajov 2024-02-09 19:32:05 -06:00 committed by Eric
parent 78c98c68ab
commit 2be8c353bf
No known key found for this signature in database
1 changed files with 7 additions and 5 deletions

View File

@ -42,13 +42,13 @@ type
Prover* = ref object of RootObj Prover* = ref object of RootObj
backend: AnyBackend backend: AnyBackend
store: BlockStore store: BlockStore
nSamples: int
proc prove*( proc prove*(
self: Prover, self: Prover,
slotIdx: int, slotIdx: int,
manifest: Manifest, manifest: Manifest,
challenge: ProofChallenge, challenge: ProofChallenge): Future[?!AnyProof] {.async.} =
nSamples = DefaultSamplesNum): Future[?!AnyProof] {.async.} =
## Prove a statement using backend. ## Prove a statement using backend.
## Returns a future that resolves to a proof. ## Returns a future that resolves to a proof.
@ -67,7 +67,7 @@ proc prove*(
error "Unable to create data sampler", err = err.msg error "Unable to create data sampler", err = err.msg
return failure(err) return failure(err)
without proofInput =? await sampler.getProofInput(challenge, nSamples), err: without proofInput =? await sampler.getProofInput(challenge, self.nSamples), err:
error "Unable to get proof input for slot", err = err.msg error "Unable to get proof input for slot", err = err.msg
return failure(err) return failure(err)
@ -91,8 +91,10 @@ proc verify*(
proc new*( proc new*(
_: type Prover, _: type Prover,
store: BlockStore, store: BlockStore,
backend: AnyBackend): Prover = backend: AnyBackend,
nSamples: int): Prover =
Prover( Prover(
backend: backend, backend: backend,
store: store) store: store,
nSamples: nSamples)