status-im
/
nim-dagger
mirror of https://github.com/status-im/nim-dagger.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

cleanup

This commit is contained in:
Jaremy Creechley 2024-05-02 01:07:36 +03:00
parent b3ca6187f2
commit ccce162c74
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300
1 changed files with 1 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
benchmarks/ark_prover_bench.nim
View File

@ -1,11 +1,4 @@
import std/sequtils import std/[sequtils, strutils, strformat, os, options, importutils, times, os, strutils, terminal]
import std/strutils
import std/strformat
import std/os
import std/options
import std/importutils
import std/[times, os, strutils]
import std/terminal
import pkg/questionable import pkg/questionable
import pkg/questionable/results import pkg/questionable/results
@ -52,19 +45,6 @@ template benchmark(benchmarkName: string, blk: untyped) =
fgGreen, "CPU Time [", benchmarkName, "] ", "avg(", $nn, "): ", elapsedStr, " s" fgGreen, "CPU Time [", benchmarkName, "] ", "avg(", $nn, "): ", elapsedStr, " s"
) )
proc setup(circuitDir: string, name: string) =
let
inputData = readFile("tests/circuits/fixtures/input.json")
inputJson: JsonNode = !JsonNode.parse(inputData)
proofInput: ProofInputs[Poseidon2Hash] = Poseidon2Hash.jsonToProofInput(inputJson)
let datasetProof = Poseidon2Proof.init(
proofInput.slotIndex, proofInput.nSlotsPerDataSet, proofInput.slotProof[0 ..< 4]
).tryGet
let ver = datasetProof.verify(proofInput.slotRoot, proofInput.datasetRoot).tryGet
echo "ver: ", ver
proc runArkCircom(args: CircArgs, files: CircuitFiles) = proc runArkCircom(args: CircArgs, files: CircuitFiles) =
echo "Loading sample proof..." echo "Loading sample proof..."
var var