mirror of
https://github.com/codex-storage/nim-codex.git
synced 2025-01-09 12:35:51 +00:00
4e8630791a
* Introduces a start method to prover * Moves backend creation into start method * sets up three paths for backend initialization * Extracts backend initialization to backend-factory * Implements loading backend from cli files or previously downloaded local files * Wires up downloading and unzipping * functional implementation * Fixes testprover.nim * Sets up tests for backendfactory * includes libzip-dev * pulls in updated contracts * removes integration cli tests for r1cs, wasm, and zkey file arguments. * Fixes issue where inner-scope values are lost before returning * sets local proof verification for dist-test images * Adds two traces and bumps nim-ethers * Adds separate path for circuit files * Create circuit dir if not exists * fix: make sure requestStorage is mined * fix: correct place to plug confirm * test: fixing contracts tests * Restores gitmodules * restores nim-datastore reference * Sets up downloader exe * sets up tool skeleton * implements getting of circuit hash * Implements downloader tool * sets up test skeleton * Implements test for cirdl * includes testTools in testAll * Cleanup building.md * cleans up previous downloader implementation * cleans up testbackendfactory * moves start of prover into node.nim * Fills in arguments in example command * Initializes backend in prover constructor * Restores tests * Restores tests for cli instructions * Review comments by Dmitriy, part 1 * Quotes path in download instruction. * replaces curl with chronos http session * Moves cirdl build output to 'build' folder. * Fixes chronicles log output * Add cirdl support to the codex Dockerfile Signed-off-by: Slava <20563034+veaceslavdoina@users.noreply.github.com> * Add cirdl support to the docker entrypoint Signed-off-by: Slava <20563034+veaceslavdoina@users.noreply.github.com> * Add cirdl support to the release workflow Signed-off-by: Slava <20563034+veaceslavdoina@users.noreply.github.com> * Disable verify_circuit flag for releases Signed-off-by: Slava <20563034+veaceslavdoina@users.noreply.github.com> * Removes backendFactory placeholder type * wip * Replaces zip library with status-im/zippy library (which supports zip and tar) * Updates cirdl to not change circuitdir folder * Switches from zip to tar.gz * Review comments by Dmitriy * updates codex-contracts-eth * Adds testTools to CI * Adds check for access to config.circuitdir * Update fixture circuit zkey * Update matrix to run tools tests on Windows * Adds 'deps' dependency for cirdl * Adjust docker-entrypoint.sh to use CODEX_CIRCUIT_DIR env var * Review comments by Giuliano --------- Signed-off-by: Slava <20563034+veaceslavdoina@users.noreply.github.com> Co-authored-by: Adam Uhlíř <adam@uhlir.dev> Co-authored-by: Veaceslav Doina <20563034+veaceslavdoina@users.noreply.github.com>
102 lines
2.4 KiB
Nim
102 lines
2.4 KiB
Nim
## Nim-Codex
|
|
## Copyright (c) 2024 Status Research & Development GmbH
|
|
## Licensed under either of
|
|
## * Apache License, version 2.0, ([LICENSE-APACHE](LICENSE-APACHE))
|
|
## * MIT license ([LICENSE-MIT](LICENSE-MIT))
|
|
## at your option.
|
|
## This file may not be copied, modified, or distributed except according to
|
|
## those terms.
|
|
##
|
|
|
|
import pkg/chronos
|
|
import pkg/chronicles
|
|
import pkg/circomcompat
|
|
import pkg/poseidon2
|
|
import pkg/questionable/results
|
|
|
|
import pkg/libp2p/cid
|
|
|
|
import ../../manifest
|
|
import ../../merkletree
|
|
import ../../stores
|
|
import ../../market
|
|
import ../../utils/poseidon2digest
|
|
import ../../conf
|
|
|
|
import ../builder
|
|
import ../sampler
|
|
|
|
import ./backends
|
|
import ./backendfactory
|
|
import ../types
|
|
|
|
export backends
|
|
|
|
logScope:
|
|
topics = "codex prover"
|
|
|
|
type
|
|
AnyProof* = CircomProof
|
|
|
|
AnySampler* = Poseidon2Sampler
|
|
AnyBuilder* = Poseidon2Builder
|
|
|
|
AnyProofInputs* = ProofInputs[Poseidon2Hash]
|
|
Prover* = ref object of RootObj
|
|
backend: AnyBackend
|
|
store: BlockStore
|
|
nSamples: int
|
|
|
|
proc prove*(
|
|
self: Prover,
|
|
slotIdx: int,
|
|
manifest: Manifest,
|
|
challenge: ProofChallenge): Future[?!(AnyProofInputs, AnyProof)] {.async.} =
|
|
## Prove a statement using backend.
|
|
## Returns a future that resolves to a proof.
|
|
|
|
logScope:
|
|
cid = manifest.treeCid
|
|
slot = slotIdx
|
|
challenge = challenge
|
|
|
|
trace "Received proof challenge"
|
|
|
|
without builder =? AnyBuilder.new(self.store, manifest), err:
|
|
error "Unable to create slots builder", err = err.msg
|
|
return failure(err)
|
|
|
|
without sampler =? AnySampler.new(slotIdx, self.store, builder), err:
|
|
error "Unable to create data sampler", err = err.msg
|
|
return failure(err)
|
|
|
|
without proofInput =? await sampler.getProofInput(challenge, self.nSamples), err:
|
|
error "Unable to get proof input for slot", err = err.msg
|
|
return failure(err)
|
|
|
|
# prove slot
|
|
without proof =? self.backend.prove(proofInput), err:
|
|
error "Unable to prove slot", err = err.msg
|
|
return failure(err)
|
|
|
|
success (proofInput, proof)
|
|
|
|
proc verify*(
|
|
self: Prover,
|
|
proof: AnyProof,
|
|
inputs: AnyProofInputs): Future[?!bool] {.async.} =
|
|
## Prove a statement using backend.
|
|
## Returns a future that resolves to a proof.
|
|
self.backend.verify(proof, inputs)
|
|
|
|
proc new*(
|
|
_: type Prover,
|
|
store: BlockStore,
|
|
backend: AnyBackend,
|
|
nSamples: int): Prover =
|
|
|
|
Prover(
|
|
store: store,
|
|
backend: backend,
|
|
nSamples: nSamples)
|