mirror of
https://github.com/status-im/nim-codex.git
synced 2025-01-12 11:54:12 +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>
104 lines
3.2 KiB
Nim
104 lines
3.2 KiB
Nim
import os
|
|
import ../../asynctest
|
|
|
|
import pkg/chronos
|
|
import pkg/confutils/defs
|
|
import pkg/codex/conf
|
|
import pkg/codex/slots/proofs/backends
|
|
import pkg/codex/slots/proofs/backendfactory
|
|
import pkg/codex/slots/proofs/backendutils
|
|
|
|
import ../helpers
|
|
import ../examples
|
|
|
|
type
|
|
BackendUtilsMock = ref object of BackendUtils
|
|
argR1csFile: string
|
|
argWasmFile: string
|
|
argZKeyFile: string
|
|
|
|
method initializeCircomBackend*(
|
|
self: BackendUtilsMock,
|
|
r1csFile: string,
|
|
wasmFile: string,
|
|
zKeyFile: string
|
|
): AnyBackend =
|
|
self.argR1csFile = r1csFile
|
|
self.argWasmFile = wasmFile
|
|
self.argZKeyFile = zKeyFile
|
|
# We return a backend with *something* that's not nil that we can check for.
|
|
var
|
|
key = VerifyingKey(icLen: 123)
|
|
vkpPtr: ptr VerifyingKey = key.addr
|
|
return CircomCompat(vkp: vkpPtr)
|
|
|
|
suite "Test BackendFactory":
|
|
let
|
|
utilsMock = BackendUtilsMock()
|
|
circuitDir = "testecircuitdir"
|
|
|
|
setup:
|
|
createDir(circuitDir)
|
|
|
|
teardown:
|
|
removeDir(circuitDir)
|
|
|
|
test "Should create backend from cli config":
|
|
let
|
|
config = CodexConf(
|
|
cmd: StartUpCmd.persistence,
|
|
nat: ValidIpAddress.init("127.0.0.1"),
|
|
discoveryIp: ValidIpAddress.init(IPv4_any()),
|
|
metricsAddress: ValidIpAddress.init("127.0.0.1"),
|
|
persistenceCmd: PersistenceCmd.prover,
|
|
marketplaceAddress: EthAddress.example.some,
|
|
circomR1cs: InputFile("tests/circuits/fixtures/proof_main.r1cs"),
|
|
circomWasm: InputFile("tests/circuits/fixtures/proof_main.wasm"),
|
|
circomZkey: InputFile("tests/circuits/fixtures/proof_main.zkey")
|
|
)
|
|
backend = config.initializeBackend(utilsMock).tryGet
|
|
|
|
check:
|
|
backend.vkp != nil
|
|
utilsMock.argR1csFile == $config.circomR1cs
|
|
utilsMock.argWasmFile == $config.circomWasm
|
|
utilsMock.argZKeyFile == $config.circomZkey
|
|
|
|
test "Should create backend from local files":
|
|
let
|
|
config = CodexConf(
|
|
cmd: StartUpCmd.persistence,
|
|
nat: ValidIpAddress.init("127.0.0.1"),
|
|
discoveryIp: ValidIpAddress.init(IPv4_any()),
|
|
metricsAddress: ValidIpAddress.init("127.0.0.1"),
|
|
persistenceCmd: PersistenceCmd.prover,
|
|
marketplaceAddress: EthAddress.example.some,
|
|
|
|
# Set the circuitDir such that the tests/circuits/fixtures/ files
|
|
# will be picked up as local files:
|
|
circuitDir: OutDir("tests/circuits/fixtures")
|
|
)
|
|
backend = config.initializeBackend(utilsMock).tryGet
|
|
|
|
check:
|
|
backend.vkp != nil
|
|
utilsMock.argR1csFile == config.circuitDir / "proof_main.r1cs"
|
|
utilsMock.argWasmFile == config.circuitDir / "proof_main.wasm"
|
|
utilsMock.argZKeyFile == config.circuitDir / "proof_main.zkey"
|
|
|
|
test "Should suggest usage of downloader tool when files not available":
|
|
let
|
|
config = CodexConf(
|
|
cmd: StartUpCmd.persistence,
|
|
nat: ValidIpAddress.init("127.0.0.1"),
|
|
discoveryIp: ValidIpAddress.init(IPv4_any()),
|
|
metricsAddress: ValidIpAddress.init("127.0.0.1"),
|
|
persistenceCmd: PersistenceCmd.prover,
|
|
marketplaceAddress: EthAddress.example.some,
|
|
circuitDir: OutDir(circuitDir)
|
|
)
|
|
backendResult = config.initializeBackend(utilsMock)
|
|
|
|
check:
|
|
backendResult.isErr
|