File tree Expand file tree Collapse file tree 3 files changed +8
-2
lines changed
Expand file tree Collapse file tree 3 files changed +8
-2
lines changed Original file line number Diff line number Diff line change 99SCRIPT_DIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) " && pwd) "
1010VK_FILE=" $SCRIPT_DIR /../src/honk/keys/BlakeHonkVerificationKey.sol"
1111OPT_FILE=" $SCRIPT_DIR /../src/honk/optimised/blake-opt.sol"
12+ TEMPLATE_FILE=" $SCRIPT_DIR /../src/honk/optimised/blake-opt.sol.template"
1213
1314if [ ! -f " $VK_FILE " ]; then
1415 echo " Error: VK file not found at $VK_FILE "
1516 exit 1
1617fi
1718
18- if [ ! -f " $OPT_FILE " ]; then
19- echo " Error: blake-opt.sol not found at $OPT_FILE "
19+ if [ ! -f " $TEMPLATE_FILE " ]; then
20+ echo " Error: blake-opt.sol.template not found at $TEMPLATE_FILE "
2021 exit 1
2122fi
2223
24+ # Always copy template to target
25+ cp " $TEMPLATE_FILE " " $OPT_FILE "
26+
2327# Function to extract x,y coordinates from VK file for a given field name
2428extract_coords () {
2529 local field_name=" $1 "
Original file line number Diff line number Diff line change 1+ blake-opt.sol
2+ blake-opt.sol.bak
File renamed without changes.
You can’t perform that action at this time.
0 commit comments