codex-storage
/
nim-codex
mirror of https://github.com/codex-storage/nim-codex.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixes issue where inner-scope values are lost before returning

This commit is contained in:
Ben 2024-03-15 15:45:26 +01:00
parent 50ab23d4e0
commit ba0e7d9e2a
No known key found for this signature in database
GPG Key ID: 541B9D8C9F1426A1
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
codex/slots/proofs/backendfactory.nim
View File

@ -103,4 +103,7 @@ proc initializeBackend*(
without backend =? (await initializeFromCeremonyHash(config, ceremonyHash, utils)), urlErr:
warn "Could not initialize prover backend from ceremony url...", msg = urlErr.msg
return failure(urlErr)
# Unexpected: value of backend does not survive leaving each scope. (definition does though...)
return success(backend)
return success(backend)
return success(backend)

11
tests/codex/slots/testbackendfactory.nim
View File

@ -1,7 +1,5 @@
import os
import std/strutils
import std/sugar
import std/math
import ../../asynctest
@ -12,7 +10,6 @@ import pkg/codex/slots/proofs/backends
import pkg/codex/slots/proofs/backendfactory
import pkg/codex/slots/proofs/backendutils
import ./helpers
import ../helpers
type
@ -34,6 +31,11 @@ method initializeCircomBackend*(
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)
method downloadFile*(
self: BackendUtilsMock,
@ -85,6 +87,7 @@ suite "Test BackendFactory":
backend = (await initializeBackend(config, ceremonyHash, utilsMock)).tryGet
check:
backend.vkp != nil
utilsMock.argR1csFile == $config.circomR1cs
utilsMock.argWasmFile == $config.circomWasm
utilsMock.argZKeyFile == $config.circomZkey
@ -110,6 +113,7 @@ suite "Test BackendFactory":
backend = (await initializeBackend(config, ceremonyHash, utilsMock)).tryGet
check:
backend.vkp != nil
utilsMock.argR1csFile == config.dataDir / "proof_main.r1cs"
utilsMock.argWasmFile == config.dataDir / "proof_main.wasm"
utilsMock.argZKeyFile == config.dataDir / "proof_main.zkey"
@ -135,6 +139,7 @@ suite "Test BackendFactory":
backend = (await initializeBackend(config, ceremonyHash, utilsMock)).tryGet
check:
backend.vkp != nil
utilsMock.argR1csFile == config.dataDir / "proof_main.r1cs"
utilsMock.argWasmFile == config.dataDir / "proof_main.wasm"
utilsMock.argZKeyFile == config.dataDir / "proof_main.zkey"