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>
86 lines
2.7 KiB
Nim
86 lines
2.7 KiB
Nim
import os
|
|
import strutils
|
|
import pkg/chronos
|
|
import pkg/chronicles
|
|
import pkg/questionable
|
|
import pkg/confutils/defs
|
|
import pkg/stew/io2
|
|
import pkg/ethers
|
|
|
|
import ../../conf
|
|
import ./backends
|
|
import ./backendutils
|
|
|
|
proc initializeFromConfig(
|
|
config: CodexConf,
|
|
utils: BackendUtils): ?!AnyBackend =
|
|
if not fileAccessible($config.circomR1cs, {AccessFlags.Read}) or
|
|
not endsWith($config.circomR1cs, ".r1cs"):
|
|
return failure("Circom R1CS file not accessible")
|
|
|
|
if not fileAccessible($config.circomWasm, {AccessFlags.Read}) or
|
|
not endsWith($config.circomWasm, ".wasm"):
|
|
return failure("Circom wasm file not accessible")
|
|
|
|
if not fileAccessible($config.circomZkey, {AccessFlags.Read}) or
|
|
not endsWith($config.circomZkey, ".zkey"):
|
|
return failure("Circom zkey file not accessible")
|
|
|
|
trace "Initialized prover backend from cli config"
|
|
success(utils.initializeCircomBackend(
|
|
$config.circomR1cs,
|
|
$config.circomWasm,
|
|
$config.circomZkey))
|
|
|
|
proc r1csFilePath(config: CodexConf): string =
|
|
config.circuitDir / "proof_main.r1cs"
|
|
|
|
proc wasmFilePath(config: CodexConf): string =
|
|
config.circuitDir / "proof_main.wasm"
|
|
|
|
proc zkeyFilePath(config: CodexConf): string =
|
|
config.circuitDir / "proof_main.zkey"
|
|
|
|
proc initializeFromCircuitDirFiles(
|
|
config: CodexConf,
|
|
utils: BackendUtils): ?!AnyBackend =
|
|
if fileExists(config.r1csFilePath) and
|
|
fileExists(config.wasmFilePath) and
|
|
fileExists(config.zkeyFilePath):
|
|
trace "Initialized prover backend from local files"
|
|
return success(utils.initializeCircomBackend(
|
|
config.r1csFilePath,
|
|
config.wasmFilePath,
|
|
config.zkeyFilePath))
|
|
|
|
failure("Circuit files not found")
|
|
|
|
proc suggestDownloadTool(config: CodexConf) =
|
|
without address =? config.marketplaceAddress:
|
|
raise (ref Defect)(msg: "Proving backend initializing while marketplace address not set.")
|
|
|
|
let
|
|
tokens = [
|
|
"cirdl",
|
|
"\"" & $config.circuitDir & "\"",
|
|
config.ethProvider,
|
|
$address
|
|
]
|
|
instructions = "'./" & tokens.join(" ") & "'"
|
|
|
|
warn "Proving circuit files are not found. Please run the following to download them:", instructions
|
|
|
|
proc initializeBackend*(
|
|
config: CodexConf,
|
|
utils: BackendUtils = BackendUtils()): ?!AnyBackend =
|
|
|
|
without backend =? initializeFromConfig(config, utils), cliErr:
|
|
info "Could not initialize prover backend from CLI options...", msg = cliErr.msg
|
|
without backend =? initializeFromCircuitDirFiles(config, utils), localErr:
|
|
info "Could not initialize prover backend from circuit dir files...", msg = localErr.msg
|
|
suggestDownloadTool(config)
|
|
return failure("CircuitFilesNotFound")
|
|
# Unexpected: value of backend does not survive leaving each scope. (definition does though...)
|
|
return success(backend)
|
|
return success(backend)
|