status-im/nim-dagger
2
0
Fork 0
mirror of https://github.com/status-im/nim-dagger.git synced 2025-02-28 06:10:45 +00:00
Code Issues Projects Releases Wiki Activity

figuring out basic shell commands

Browse Source
This commit is contained in:
Jaremy Creechley 2024-04-23 21:23:36 +03:00
parent 74a8a00a43
commit e14f0657d7
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300
1 changed files with 20 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
benchmarks/ark_prover_bench.nim
View File

@ -1,4 +1,5 @@
import std/sequtils import std/sequtils
import std/strutils
import std/options import std/options
import std/importutils import std/importutils
@ -22,6 +23,18 @@ import pkg/constantine/math/io/io_fields
import codex/slots/backends/helpers import codex/slots/backends/helpers
proc createCircuits() =
let cmds = """
${NIMCLI_DIR}/cli $CLI_ARGS -v --circom=${CIRCUIT_MAIN}.circom --output=input.json
circom --r1cs --wasm --O2 -l${CIRCUIT_DIR} ${CIRCUIT_MAIN}.circom
NODE_OPTIONS="--max-old-space-size=8192" snarkjs groth16 setup ${CIRCUIT_MAIN}.r1cs $PTAU_PATH ${CIRCUIT_MAIN}_0000.zkey
echo "some_entropy_75289v3b7rcawcsyiur" | NODE_OPTIONS="--max-old-space-size=8192" snarkjs zkey contribute ${CIRCUIT_MAIN}_0000.zkey ${CIRCUIT_MAIN}_0001.zkey --name="1st Contributor Name"
""".splitLines()
# rm ${CIRCUIT_MAIN}_0000.zkey
# mv ${CIRCUIT_MAIN}_0001.zkey ${CIRCUIT_MAIN}.zkey
proc setup() = proc setup() =
let let
inputData = readFile("tests/circuits/fixtures/input.json") inputData = readFile("tests/circuits/fixtures/input.json")
@ -30,26 +43,12 @@ proc setup() =
Poseidon2Hash.jsonToProofInput(inputJson) Poseidon2Hash.jsonToProofInput(inputJson)
let let
blockCells = 32 datasetProof = Poseidon2Proof.init(
cellIdxs = proofInput.entropy.cellIndices(proofInput.slotRoot, proofInput.nCellsPerSlot, 5) proofInput.slotIndex,
proofInput.nSlotsPerDataSet,
proofInput.slotProof[0..<4]).tryGet
for i, cellIdx in cellIdxs: let ver = datasetProof.verify(proofInput.slotRoot, proofInput.datasetRoot).tryGet
let echo "ver: ", ver
sample = proofInput.samples[i]
cellIdx = cellIdxs[i]
cellProof = Poseidon2Proof.init( setup()
cellIdx.toCellInBlk(blockCells),
proofInput.nCellsPerSlot,
sample.merklePaths[0..<5]).tryGet
slotProof = Poseidon2Proof.init(
cellIdx.toBlkInSlot(blockCells),
proofInput.nCellsPerSlot,
sample.merklePaths[5..<9]).tryGet
cellData = Poseidon2Hash.fromCircomData(sample.cellData)
cellLeaf = Poseidon2Hash.spongeDigest(cellData, rate = 2).tryGet
slotLeaf = cellProof.reconstructRoot(cellLeaf).tryGet
# check slotProof.verify(slotLeaf, proofInput.slotRoot).tryGet