From 1a459a4236320a21bcdabe7950ab3ae3b9fac71c Mon Sep 17 00:00:00 2001 From: Aleksandr Cherenkov Date: Wed, 7 Feb 2024 18:59:36 +0000 Subject: [PATCH] disable sha256 proving (memory shortage?) --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 451533c..c940290 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -180,8 +180,8 @@ jobs: run: make -C ${ZKLLVM_BUILD:-build} validate_merkle_path_sha2_256 - name: Build validate_merkle_path_sha2_256 circuit file and assignment table run: assigner -b build/src/validate_merkle_path_sha2_256.ll -i zkLLVM/examples/inputs/validate_merkle_path_sha2_256.inp --circuit validate_merkle_path_sha2_256.crct --assignment-table validate_merkle_path_sha2_256.tbl -e pallas - - name: Generate validate_merkle_path_sha2_256 proof - run: proof-generator-single-threaded --circuit="validate_merkle_path_sha2_256.crct" --assignment-table="validate_merkle_path_sha2_256.tbl" --proof="validate_merkle_path_sha2_256.bin" + # - name: Generate validate_merkle_path_sha2_256 proof + # run: proof-generator-single-threaded --circuit="validate_merkle_path_sha2_256.crct" --assignment-table="validate_merkle_path_sha2_256.tbl" --proof="validate_merkle_path_sha2_256.bin" - name: Compile eddsa_signature_verification example run: make -C ${ZKLLVM_BUILD:-build} eddsa_signature_verification