mirror of
https://github.com/status-im/nim-codex.git
synced 2025-01-21 16:20:16 +00:00
f25c555d59
* Move to version 2.0.6 * Update nim-confutils submodule to latest version * Update dependencies * Update Nim version to 2.0.12 * Add gcsafe pragma * Add missing import * Update specific conf for Nim 2.x * Fix method signatures * Revert erasure coding attempt to fix bug * More gcsafe pragma * Duplicate code from libp2p because it is not exported anymore * Fix camelcase function names * Use alreadySeen because need is not a bool anymore * newLPStreamReadError does not exist anymore so use another error * Replace ValidIpAddress by IpAddress * Add gcsafe pragma * Restore maintenance parameter deleted by mistake when removing esasure coding fix attempt code * Update method signatures * Copy LPStreamReadError code from libp2p which was removed * Fix camel case * Fix enums in tests * Fix camel case * Extract node components to a variable to make Nim 2 happy * Update the tests using ValidIpAddress to IpAddress * Fix cast for value which is already an option * Set nim version to 2.0.x for CI * Set nim version to 2.0.x for CI * Move to miniupnp version 2.2.4 to avoid symlink error * Set core.symlinks to false for Windows for miniupnp >= 2.2.5 support * Update to Nim 2.0.14 * Update CI nim versions to 2.0.14 * Try with GCC 14 * Replace apt-fast by apt-get * Update ubuntu runner to latest * Use Ubuntu 20.04 for coverage * Disable CI cache for coverage * Add coverage property description * Remove commented test * Check the node value of seen instead of using alreadySeen * Fix the merge. The taskpool work was reverted. * Update nim-ethers submodule * Remove deprecated ValidIpAddress. Fix missing case and imports. * Fix a weird issue where nim-confutils cannot find NatAny * Fix tests and remove useless static keyword
86 lines
2.8 KiB
Nim
86 lines
2.8 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 {.gcsafe.} =
|
|
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)
|