github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-04-28 03:00:18 -04:00
Code Issues Packages Projects Releases Wiki Activity

zkrunner: if (value := foo) can wrongly be false if value is 0, so be explicit with "is not None"

Browse Source
This commit is contained in:
zero
2024-04-10 10:25:59 +02:00
parent 4709bfd314
commit 898ed02880
1 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
bin/zkrunner/zkrunner.py
View File

@@ -55,34 +55,35 @@ def load_circuit_witness(circuit, witness_file):
# circuit and decide the code path for the prover.
for witness in witness_data["witnesses"]:
assert len(witness) == 1
if value := witness.get("EcPoint"):
if (value := witness.get("EcPoint")) is not None:
circuit.witness_ecpoint(Ep(value))
elif value := witness.get("EcNiPoint"):
elif (value := witness.get("EcNiPoint")) is not None:
assert len(value) == 2
xcoord, ycoord = Fp(value[0]), Fp(value[1])
circuit.witness_ecnipoint(Ep(xcoord, ycoord))
elif value := witness.get("Base"):
elif (value := witness.get("Base")) is not None:
circuit.witness_base(Fp(value))
elif value := witness.get("Scalar"):
elif (value := witness.get("Scalar")) is not None:
circuit.witness_scalar(Fq(value))
elif value := witness.get("MerklePath"):
elif (value := witness.get("MerklePath")) is not None:
path = [Fp(i) for i in value]
assert len(path) == 32
circuit.witness_merklepath(path)
elif value := witness.get("SparseMerklePath"):
elif (value := witness.get("SparseMerklePath")) is not None:
path = [Fp(i) for i in value]
assert len(path) == 255
circuit.witness_sparsemerklepath(path)
elif value := witness.get("Uint32"):
elif (value := witness.get("Uint32")) is not None:
print("here")
circuit.witness_uint32(value)
elif value := witness.get("Uint64"):
elif (value := witness.get("Uint64")) is not None:
circuit.witness_uint64(value)
else: