-
Notifications
You must be signed in to change notification settings - Fork 396
Expand file tree
/
Copy pathget_proof_test_files.sh
More file actions
executable file
·54 lines (41 loc) · 1.93 KB
/
get_proof_test_files.sh
File metadata and controls
executable file
·54 lines (41 loc) · 1.93 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
#!/bin/bash
CURRENT_TAG=$(curl -s -L \
-H "Accept: application/vnd.github+json" \
-H "X-GitHub-Api-Version: 2022-11-28" \
https://api.github.com/repos/yetanotherco/aligned_layer/releases/latest \
| grep '"tag_name":' | awk -F'"' '{print $4}')
SP1_ELF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/$CURRENT_TAG/scripts/test_files/sp1/sp1_fibonacci_5_0_0.elf"
SP1_PROOF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/$CURRENT_TAG/scripts/test_files/sp1/sp1_fibonacci_5_0_0.proof"
SP1_PUBLIC_INPUT_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/$CURRENT_TAG/scripts/test_files/sp1/sp1_fibonacci_5_0_0.pub"
SP1_ELF_NAME="sp1_fibonacci_5_0_0.elf"
SP1_PROOF_NAME="sp1_fibonacci_5_0_0.proof"
SP1_PUBLIC_INPUT_NAME="sp1_fibonacci_5_0_0.pub"
BASE_DIR=$HOME
ALIGNED_DIR="${ALIGNED_DIR-"$BASE_DIR/.aligned"}"
ALIGNED_TEST_FILES_DIR="$ALIGNED_DIR/test_files"
mkdir -p "$ALIGNED_TEST_FILES_DIR"
echo "Downloading SP1 ELF file from $CURRENT_TAG release"
if curl -sSf -L "$SP1_ELF_URL" -o "$ALIGNED_TEST_FILES_DIR/$SP1_ELF_NAME"; then
echo "SP1 ELF download successful"
else
echo "Error: Failed to download $SP1_ELF_URL"
exit 1
fi
echo "Downloading SP1 proof file..."
if curl -sSf -L "$SP1_PROOF_URL" -o "$ALIGNED_TEST_FILES_DIR/$SP1_PROOF_NAME"; then
echo "SP1 proof downloaded successful"
else
echo "Error: Failed to downloaded $SP1_PROOF_URL"
exit 1
fi
echo "Downloading SP1 public inputs file..."
if curl -sSf -L "$SP1_PUBLIC_INPUT_NAME" -o "$ALIGNED_TEST_FILES_DIR/$SP1_PUBLIC_INPUT_NAME"; then
echo "SP1 public inputs downloaded successful"
else
echo "Error: Failed to downloaded $SP1_PUBLIC_INPUT_NAME"
exit 1
fi
chmod +x "$ALIGNED_TEST_FILES_DIR/$SP1_ELF_NAME"
chmod +x "$ALIGNED_TEST_FILES_DIR/$SP1_PROOF_NAME"
chmod +x "$ALIGNED_TEST_FILES_DIR/$SP1_PUBLIC_INPUT_NAME"
echo "SP1 ELF, proof and public inputs files downloaded successfully in $ALIGNED_TEST_FILES_DIR"